Search the dblp DataBase
Benjamin Horowitz: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar
Rectangular Hybrid Games. [Citation Graph (0, 0)][DBLP]
CONCUR, 1999, pp:320-335 [Conf] - Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Giotto: A Time-Triggered Language for Embedded Programming. [Citation Graph (0, 0)][DBLP]
EMSOFT, 2001, pp:166-184 [Conf] - 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. [Citation Graph (0, 0)][DBLP]
EMSOFT, 2002, pp:32-45 [Conf] - Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. [Citation Graph (0, 0)][DBLP]
HSCC, 2000, pp:130-144 [Conf] - Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Embedded Control Systems Development with Giotto. [Citation Graph (0, 0)][DBLP]
LCTES/OM, 2001, pp:64-72 [Conf] - Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
Giotto: a time-triggered language for embedded programming. [Citation Graph (0, 0)][DBLP]
Proceedings of the IEEE, 2003, v:91, n:1, pp:84-99 [Journal] - 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. [Citation Graph (0, 0)][DBLP]
Proceedings of the IEEE, 2003, v:91, n:1, pp:198-211 [Journal]
Search in 0.001secs, Finished in 0.001secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002