 | 2009 |
|---|
| 4 |       | Haibo Zeng,
Wei Zheng,
Marco Di Natale,
Arkadeb Ghosal,
Paolo Giusto,
Alberto L. Sangiovanni-Vincentelli:
Scheduling the FlexRay bus using optimization techniques.
DAC 2009: 874-877 |
| 2008 |
|---|
| 3 | | 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 | | 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 | | Arkadeb Ghosal,
Thomas A. Henzinger,
Christoph M. Kirsch,
Marco A. A. Sanvido:
Event-Driven Programming with Logical Execution Times.
HSCC 2004: 357-371 |
