Benjamin Horowitz

11 papers B 1Misc 2Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Generalized Hyperderivative Reed-Solomon Codes.
CoRR
Mahir Bilen Can, Benjamin Horowitz
2024 J jnl
TensorFlow Hydrodynamics Analysis for Ly-α Simulations.
Astron. Comput.
Jupiter Ding, Benjamin Horowitz, Zarija Lukic
2021 J jnl
Fast, high-fidelity Lyman α forests with convolutional neural networks.
CoRR
Peter Harrington, Mustafa Mustafa, Max Dornfest, Benjamin Horowitz, Zarija Lukic
2003 J jnl
Giotto: a time-triggered language for embedded programming.
Proc. IEEE
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
2003 J jnl
Platform-based embedded software design and system integration for autonomous vehicles.
Proc. IEEE
Benjamin Horowitz, Judith Liebman, Cedric Ma, Tak-John Koo, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
2002 Misc conf
Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems.
EMSOFT
Tak-John Koo, Judith Liebman, Cedric Ma, Benjamin Horowitz, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry
2001 — conf
Embedded Control Systems Development with Giotto.
LCTES/OM
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
2001 — conf
Embedded Control Systems Development with Giotto.
OM@PLDI
Thomas A. Henzinger, Benjamin Horowitz, Christoph Meyer Kirsch
2001 Misc conf
Giotto: A Time-Triggered Language for Embedded Programming.
EMSOFT
Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch
2000 — conf
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.
HSCC
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar, Howard Wong-Toi
1999 B conf
Rectangular Hybrid Games.
CONCUR
Thomas A. Henzinger, Benjamin Horowitz, Rupak Majumdar