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