Active Bibliography

378 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
1 Theories for Ubiquitous Processes and Data: Platform for 15-year – Robin Milner - 2002
18 Assume-guarantee reasoning for hierarchical hybrid systems – Thomas A. Henzinger, Marius Minea, Vinayak Prabhu - 2001
19 Hybrid I/O Automata Revisited – Nancy Lynch, Roberto Segala, Frits Vaandrager - 2001
30 Masaccio: A formal model for embedded components – Thomas A. Henzinger - 2000
5 Cottbus Timed Automata: Formal Definition and Semantics – Dirk Beyer, Heinrich Rust - 2001
1 Towards Automated System Synthesis Using SCIDUCTION – Susmit Kumar Jha
8 Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction – Goran Frehse, Zhi Han, Bruce Krogh - 2004
36 The Theory of Timed I/O Automata – Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager - 2003
138 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, R. Alur, S.K. Rajamani, S. Tasiran, S. Qadeer - 1998
67 Timed Interfaces – Luca De Alfaro, Thomas A. Henzinger, Mariëlle Stoelinga - 2002
1 Compositional Termination Analysis of Symbolic Forward Analysis – Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
84 Logics for Hybrid Systems – J. M. Davoren, Anil Nerode - 2000
514 The algorithmic analysis of hybrid systems – R. Alur, C. Courcoubetis, N. Halbwachs , T. A. Henzinger, P.-H. Ho, X. Nicollin , A. Olivero , J. Sifakis , S. Yovine - 1995
9 Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts – Radu Grosu, Thomas Stauner - 1998
6 Lecture notes on hybrid systems – John Lygeros - 2004
41 Discrete-Time Control for Rectangular Hybrid Automata – Thomas A. Henzinger , Peter W. Kopke
1 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.), Scott A. Smolka - 1996
64 Modularity for Timed and Hybrid Systems – Rajeev Alur , Thomas A. Henzinger - 1997