Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Share This Author
Alternating-time temporal logic
- R. Alur, T. Henzinger, O. Kupferman
- Philosophy, Computer ScienceProceedings 38th Annual Symposium on Foundations…
- 8 September 1997
TLDR
The Algorithmic Analysis of Hybrid Systems
- R. Alur, C. Courcoubetis, S. Yovine
- Mathematics, Computer ScienceTheor. Comput. Sci.
- 6 February 1995
The theory of hybrid automata
- T. Henzinger
- Computer ScienceProceedings 11th Annual IEEE Symposium on Logic…
- 27 July 1996
TLDR
Interface automata
- L. D. Alfaro, T. Henzinger
- Computer ScienceESEC/FSE-9
- 10 September 2001
TLDR
Lazy abstraction
- T. Henzinger, Ranjit Jhala, R. Majumdar, G. Sutre
- Computer SciencePOPL '02
- 16 January 2002
TLDR
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
- R. Alur, C. Courcoubetis, T. Henzinger, Pei-Hsin Ho
- Computer Science, MathematicsHybrid Systems
- 1992
TLDR
The benefits of relaxing punctuality
- R. Alur, T. Feder, T. Henzinger
- Computer SciencePODC '91
- 1 May 1991
TLDR
HYTECH: a model checker for hybrid systems
- T. Henzinger, Pei-Hsin Ho, H. Wong-Toi
- Computer ScienceInternational Journal on Software Tools for…
- 1 December 1997
TLDR
Real-time logics: complexity and expressiveness
- R. Alur, T. Henzinger
- Mathematics[] Proceedings. Fifth Annual IEEE Symposium on…
- 1 March 1990
TLDR
Parametric real-time reasoning
- R. Alur, T. Henzinger, Moshe Y. Vardi
- Computer ScienceSTOC '93
- 1 June 1993
TLDR
...
...