2005 |
4 | EE | Christoph M. Kirsch,
Marco A. A. Sanvido,
Thomas A. Henzinger:
A programmable microkernel for real-time systems.
VEE 2005: 35-45 |
2004 |
3 | EE | Arkadeb Ghosal,
Thomas A. Henzinger,
Christoph M. Kirsch,
Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times.
HSCC 2004: 357-371 |
2003 |
2 | EE | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Marco A. A. Sanvido:
Extreme Model Checking.
Verification: Theory and Practice 2003: 332-358 |
2002 |
1 | EE | Christoph M. Kirsch,
Marco A. A. Sanvido,
Thomas A. Henzinger,
Wolfgang Pree:
A Giotto-Based Helicopter Control System.
EMSOFT 2002: 46-60 |