 | 2003 |
|---|
| 7 |       | Benjamin Horowitz,
Judith Liebman,
Cedric Ma,
Tak-John Koo,
Alberto L. Sangiovanni-Vincentelli,
Shankar Sastry:
Platform-based embedded software design and system integration for autonomous vehicles.
Proceedings of the IEEE 91(1): 198-211 (2003) |
| 6 | | Thomas A. Henzinger,
Benjamin Horowitz,
Christoph M. Kirsch:
Giotto: a time-triggered language for embedded programming.
Proceedings of the IEEE 91(1): 84-99 (2003) |
| 2002 |
|---|
| 5 |  | Tak-John Koo,
Judith Liebman,
Cedric Ma,
Benjamin Horowitz,
Alberto L. Sangiovanni-Vincentelli,
Shankar Sastry:
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.
EMSOFT 2002: 32-45 |
| 2001 |
|---|
| 4 | | Thomas A. Henzinger,
Benjamin Horowitz,
Christoph M. Kirsch:
Giotto: A Time-Triggered Language for Embedded Programming.
EMSOFT 2001: 166-184 |
| 3 | | Thomas A. Henzinger,
Benjamin Horowitz,
Christoph M. Kirsch:
Embedded Control Systems Development with Giotto.
LCTES/OM 2001: 64-72 |
| 2000 |
|---|
| 2 | | Thomas A. Henzinger,
Benjamin Horowitz,
Rupak Majumdar,
Howard Wong-Toi:
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.
HSCC 2000: 130-144 |
| 1999 |
|---|
| 1 | | Thomas A. Henzinger,
Benjamin Horowitz,
Rupak Majumdar:
Rectangular Hybrid Games.
CONCUR 1999: 320-335 |
