2023 - Research.com Computer Science in Austria Leader Award
2022 - Research.com Computer Science in Austria Leader Award
2020 - Fellow of the American Academy of Arts and Sciences
2020 - Member of the National Academy of Sciences
2015 - European Association for Theoretical Computer Science (EATCS) Fellow For fundamental contributions to formal verification and synthesis of computer and biological systems
2012 - Wittgenstein Award
2006 - Member of Academia Europaea
2006 - ACM Fellow For contributions to formal verification and hybrid systems.
The theory of hybrid automata
logic in computer science (1996)
The algorithmic analysis of hybrid systems
Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger.
Theoretical Computer Science (1995)
Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems
Rajeev Alur;Costas Courcoubetis;Thomas A. Henzinger;Pei-Hsin Ho.
Hybrid Systems (1993)
Alternating-time temporal logic
Rajeev Alur;Thomas A. Henzinger;Orna Kupferman.
Journal of the ACM (2002)
Symbolic model checking for real-time systems
Thomas A. Henzinger;Xavier Nicollin;Joseph Sifakis;Sergio Yovine.
Information & Computation (1994)
Luca de Alfaro;Thomas A. Henzinger.
foundations of software engineering (2001)
Hybrid Systems: Computation and Control.
Thomas A. Henzinger;Shankar Sastry.
HYTECH: a model checker for hybrid systems
Thomas A. Henzinger;Pei-Hsin Ho;Howard Wong-Toi.
International Journal on Software Tools for Technology Transfer (1997)
Thomas A. Henzinger;Ranjit Jhala;Rupak Majumdar;Grégoire Sutre.
symposium on principles of programming languages (2002)
What's Decidable about Hybrid Automata?
Thomas A. Henzinger.
Journal of Computer and System Sciences (1998)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: