Search the dblp DataBase

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]