The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wilfried Steiner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Wilfried Steiner, Hermann Kopetz
    The Startup Problem in Fault-Tolerant Time-Triggered Communication. [Citation Graph (0, 0)][DBLP]
    DSN, 2006, pp:35-44 [Conf]
  2. Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
    Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:189-198 [Conf]
  3. Michael Paulitsch, Wilfried Steiner
    Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems. [Citation Graph (0, 0)][DBLP]
    ECRTS, 2003, pp:249-256 [Conf]
  4. Wilfried Steiner, Michael Paulitsch
    The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP]
    ICDCS, 2002, pp:329-336 [Conf]
  5. Günther Bauer, Hermann Kopetz, Wilfried Steiner
    The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP]
    ISADS, 2003, pp:37-44 [Conf]
  6. Wilfried Steiner, Wilfried Elmenreich
    Automatic Recovery of the TTP/A Sensor/Actuator Network. [Citation Graph (0, 0)][DBLP]
    WISES, 2003, pp:25-37 [Conf]
  7. Wilfried Steiner, Michael Paulitsch, Hermann Kopetz
    Multiple Failure Correction in the Time-Triggered Architecture. [Citation Graph (0, 0)][DBLP]
    WORDS Fall, 2003, pp:347-354 [Conf]
  8. Wilfried Steiner, Michael Paulitsch, Hermann Kopetz
    The TTA's Approach to Resilience after Transient Upsets. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2006, v:32, n:3, pp:213-233 [Journal]
  9. Wilfried Steiner
    Advancements in Dependable Time-Triggered Communication. [Citation Graph (0, 0)][DBLP]
    SEUS, 2007, pp:57-66 [Conf]

  10. Modeling and Verification of Time-Triggered Communication Protocols. [Citation Graph (, )][DBLP]


  11. TTEthernet Dataflow Concept. [Citation Graph (, )][DBLP]


  12. SMT-Based Formal Verification of a TTEthernet Synchronization Function. [Citation Graph (, )][DBLP]


Search in 0.019secs, Finished in 0.020secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002