Benjamin Horowitz

According to our database, Benjamin Horowitz authored at least 7 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Fast, high-fidelity Lyman α forests with convolutional neural networks.

Peter Harrington, Mustafa Mustafa, Max Dornfest, Benjamin Horowitz, Zarija Lukic

CoRR, 2021

2003

Platform-based embedded software design and system integration for autonomous vehicles.

Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry

Proc. IEEE, 2003

Giotto: a time-triggered language for embedded programming.

Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch

Proc. IEEE, 2003

2002

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

Proceedings of the Embedded Software, Second International Conference, 2002

2001

Embedded Control Systems Development with Giotto.

Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch

Proceedings of The Workshop on Languages, 2001

2000

Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.

Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi

Proceedings of the Hybrid Systems: Computation and Control, Third International Workshop, 2000

1999

Rectangular Hybrid Games.

Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar

Proceedings of the CONCUR '99: Concurrency Theory, 1999