Benjamin Horowitz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1999–2002
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | EMSOFT | Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems. | Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry |
| 2001 | EMSOFT | Giotto: A Time-Triggered Language for Embedded Programming. | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
| 2001 | PLDI | Embedded Control Systems Development with Giotto. | Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch |
| 1999 | CONCUR | Rectangular Hybrid Games. | Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar |