The algorithmic analysis of hybrid systems (1995)

by R. Alur , C. Courcoubetis , N. Halbwachs , T. A. Henzinger , P.-H. Ho , X. Nicollin , A. Olivero , J. Sifakis , S. Yovine
Venue:THEORETICAL COMPUTER SCIENCE
Citations:748 - 75 self

Active Bibliography

Theoretical – unknown authors
616 The Theory of Hybrid Automata – Thomas A. Henzinger - 1996
437 Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems – Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, Pei-Hsin Ho - 1992
449 HyTech: A Model Checker for Hybrid Systems – Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-toi - 1997
2490 A theory of timed automata – Rajeev Alur - 1999
131 Verification of Real-Time Systems using Linear Relation Analysis – Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff - 1997
96 Verification of Linear Hybrid Systems By Means of Convex Approximations – Nicolas Halbwachs, Pascal Raymond, Yann-eric Proy - 1994
575 Alternating-time Temporal Logic – Rajeev Alur, Thomas Henzinger, Orna Kupferman - 1997
3023 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999