 | 2005 |
|---|
| 4 |       | Christoph M. Kirsch,
Marco A. A. Sanvido,
Thomas A. Henzinger:
A programmable microkernel for real-time systems.
VEE 2005: 35-45 |
| 2004 |
|---|
| 3 | | 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 | | Thomas A. Henzinger,
Ranjit Jhala,
Rupak Majumdar,
Marco A. A. Sanvido:
Extreme Model Checking.
Verification: Theory and Practice 2003: 332-358 |
| 2002 |
|---|
| 1 | | Christoph M. Kirsch,
Marco A. A. Sanvido,
Thomas A. Henzinger,
Wolfgang Pree:
A Giotto-Based Helicopter Control System.
EMSOFT 2002: 46-60 |
