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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski