| 2008 |
|---|
| 3 | EE | Krishnendu Chatterjee,
Arkadeb Ghosal,
Thomas A. Henzinger,
Daniel T. Iercan,
Christoph M. Kirsch,
Claudio Pinello,
Alberto L. Sangiovanni-Vincentelli:
Logical Reliability of Interacting Real-Time Tasks.
DATE 2008: 909-914 |
| 2006 |
|---|
| 2 | EE | Arkadeb Ghosal,
Alberto L. Sangiovanni-Vincentelli,
Christoph M. Kirsch,
Thomas A. Henzinger,
Daniel T. Iercan:
A hierarchical coordination language for interacting real-time tasks.
EMSOFT 2006: 132-141 |
| 2004 |
|---|
| 1 | EE | Arkadeb Ghosal,
Thomas A. Henzinger,
Christoph M. Kirsch,
Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times.
HSCC 2004: 357-371 |
