Thomas A. Henzinger
Institute of Science and Technology Austria(AT)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Embedded Systems Design Techniques, Real-Time Systems Scheduling
Most-Cited Works
- → The algorithmic analysis of hybrid systems(1995)1,871 cited
- → The theory of hybrid automata(2002)1,841 cited
- → Alternating-time temporal logic(2002)1,399 cited
- → Interface automata(2001)1,171 cited
- → Lazy abstraction(2002)1,146 cited
- → Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems(1993)1,097 cited
- → Symbolic Model Checking for Real-Time Systems(1994)823 cited