2008 |
10 | EE | Maria Sorea,
Bruno Dutertre,
Wilfried Steiner:
Modeling and Verification of Time-Triggered Communication Protocols.
ISORC 2008: 422-428 |
2007 |
9 | EE | Wilfried Steiner:
Advancements in Dependable Time-Triggered Communication.
SEUS 2007: 57-66 |
2006 |
8 | EE | Wilfried Steiner,
Hermann Kopetz:
The Startup Problem in Fault-Tolerant Time-Triggered Communication.
DSN 2006: 35-44 |
7 | EE | 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 | EE | 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 | EE | Michael Paulitsch,
Wilfried Steiner:
Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems.
ECRTS 2003: 249-256 |
4 | EE | 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 | EE | Wilfried Steiner,
Michael Paulitsch,
Hermann Kopetz:
Multiple Failure Correction in the Time-Triggered Architecture.
WORDS Fall 2003: 347-354 |
2002 |
1 | EE | Wilfried Steiner,
Michael Paulitsch:
The Transition from Asynchronous to Synchronous System Operation: An Approach for Distributed Fault-Tolerant Systems.
ICDCS 2002: 329-336 |