×
Author ID: horowitz.benjamin Recent zbMATH articles by "Horowitz, Benjamin"
Published as: Horowitz, Benjamin
External Links: MGP
Documents Indexed: 7 Publications since 1999, including 2 Additional arXiv Preprints
Co-Authors: 9 Co-Authors with 4 Joint Publications
549 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

4 Publications have been cited 45 times in 44 Documents Cited by Year
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
17
2000
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
16
1999
Giotto: A time-triggered language for embedded programming. Zbl 1050.68525
Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph
11
2001
Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857
Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2002
Platform-based embedded software design for multi-vehicle multi-modal systems. Zbl 1027.68857
Koo, T. John; Liebman, Judith; Ma, Cedric; Horowitz, Benjamin; Sangiovanni-Vincentelli, Alberto; Sastry, Shankar
1
2002
Giotto: A time-triggered language for embedded programming. Zbl 1050.68525
Henzinger, Thomas A.; Horowitz, Benjamin; Meyer Kirsch, Christoph
11
2001
Beyond HyTech: Hybrid systems analysis using interval numerical methods. Zbl 0938.93552
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak; Wong-Toi, Howard
17
2000
Rectangular hybrid games. Zbl 0937.91005
Henzinger, Thomas A.; Horowitz, Benjamin; Majumdar, Rupak
16
1999
all top 5

Cited by 99 Authors

4 Eggers, Andreas
4 Ramdani, Nacim
3 Faella, Marco
3 Fränzle, Martin
2 Benerecetti, Massimo
2 Bergstra, Jan A.
2 Candau, Yves
2 Dullerud, Geir E.
2 Kupferschmid, Stefan
2 La Torre, Salvatore
2 Meslem, Nacim
2 Middelburg, Cornelis A.
2 Nedialkov, Nedialko S.
2 Platzer, André
2 Prabhakar, Pavithra
2 Teige, Tino
2 Viswanathan, Mahesh
2 Vladimerou, Vladimeros
1 Abdelwahed, Sherif
1 Abdelzaher, Tarek F.
1 Ahmad, Rehan
1 Alexandre dit Sandretto, Julien
1 Alliot, Sylvain
1 Auer, Ekaterina
1 Bartolini, Davide B.
1 Bohrer, Rose
1 Bouissou, Olivier
1 Bouyer, Patricia
1 Bresolin, Davide
1 Capiluppi, Marta
1 Cervin, Anton
1 Chandy, Kanianthra Mani
1 Chapoutot, Alexandre
1 Damm, Werner
1 Deprettere, Ed F. A.
1 Dzetkulič, Tomáš
1 Edalat, Abbas
1 Feo-Arenis, Sergio
1 Fischer, Diana
1 Fisher, Jasmin
1 Fribourg, Laurent
1 Ganty, Pierre
1 Giannopoulou, Georgia
1 Go, Brian
1 Henzinger, Thomas A.
1 Herde, Christian
1 Höfner, Peter
1 Huang, Pengcheng
1 Jha, Sumit Kumar
1 Jimenez Leudo, Santiago
1 Kaiser, Lukasz
1 Kalinnik, Natalia
1 Kiel, Stefan
1 Kruglov, Evgeniĭ Valentinovich
1 Langmead, Christopher James
1 Le Coënt, Adrien
1 Lee, Edward Ashford
1 Lemaitre, Jérôme
1 Liu, Jie
1 Lohstroh, Marten
1 Madl, Gabor
1 Maggio, Martina
1 Majumdar, Rupak
1 Majumdar, Rupak
1 Mandrioli, Claudio
1 Markey, Nicolas
1 Martel, Matthieu
1 Mateescu, Maria
1 Minopoli, Stefano
1 Mishra, Bud
1 Mitra, Sayan
1 Moor, Thomas
1 Murano, Aniello
1 Napoli, Margherita
1 Nestmann, Uwe
1 Olde Loohuis, Loes
1 Pattinson, Dirk
1 Pazzaglia, Paolo
1 Pilotto, Concetta
1 Piterman, Nir
1 Priyantha, Bodhi
1 Quesel, Jan-David
1 Raisch, Jörg
1 Raskin, Jean-François
1 Rauh, Andreas
1 Sanfelice, Ricardo G.
1 Sankur, Ocan
1 Scheibler, Karsten
1 Schmidt, Douglas C.
1 Schneider, Sven
1 Sproston, Jeremy
1 Thiele, Lothar
1 Vujinović, Milan
1 Weidenbach, Christoph
1 Westphal, Bernd
1 White, Jerome
1 Witzel, Andreas
1 Yang, Jung-Min
1 Zhao, Feng

Citations by Year