Active Bibliography

Projectagon-Based Reachability Analysis for Circuit-Level Formal Verification – Chao Yan - 2011
10 Formal verification of hybrid systems – Rajeev Alur - 2011
483 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
1 Theories for Ubiquitous Processes and Data: Platform for 15-year – Robin Milner - 2002
5 Cottbus Timed Automata: Formal Definition and Semantics – Dirk Beyer, Heinrich Rust - 2001
31 Masaccio: A formal model for embedded components – Thomas A. Henzinger - 2000
Reachability Analysis Based Circuit-Level Formal Verification – Chao Yan - 2010
19 Hybrid I/O Automata Revisited – Nancy Lynch, Roberto Segala, Frits Vaandrager - 2001
23 Assume-guarantee reasoning for hierarchical hybrid systems – Thomas A. Henzinger, Marius Minea, Vinayak Prabhu - 2001
10 Assume-guarantee reasoning for hybrid I/O-automata by over-approximation of continuous interaction – Goran Frehse, Zhi Han, Bruce Krogh - 2004
5 Towards Automated System Synthesis Using SCIDUCTION – Susmit Kumar Jha
44 The Theory of Timed I/O Automata – Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, Frits Vaandrager - 2003
158 MOCHA: Modularity in Model Checking – Rajeev Alur, Thomas A. Henzinger, F.Y.C. Mang, R. Alur, S.K. Rajamani, S. Tasiran, S. Qadeer - 1998
84 Timed Interfaces – Luca De Alfaro, Thomas A. Henzinger, MariĆ«lle Stoelinga - 2002
93 Logics for Hybrid Systems – J. M. Davoren, Anil Nerode - 2000
1 Compositional Termination Analysis of Symbolic Forward Analysis – Witold Charatonik, Supratik Mukhopadhyay, Andreas Podelski
596 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
11 Lecture notes on hybrid systems – John Lygeros - 2004