T. A. Henzinger

Computer Science · Physical Sciences

7h-index909citations10works0.02yr avg
OpenAlex↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(9), Logic, programming, and type systems(4), Model-Driven Software Engineering Techniques(4), Real-Time Systems Scheduling(2), Software Reliability and Analysis Research(2)

Publications10 total

Computer science logic : 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007 : proceedings
Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B))·2007
Games with secure equilibria
Theoretical Computer Science·2006· 100 cited
An interleaving model for real-time
2002· 29 cited
Axioms for real-time logics
Theoretical Computer Science·2002· 22 cited
The regular real-time languages
Lecture notes in computer science·1998· 116 cited
Axioms for real-time logics
Lecture notes in computer science·1998· 4 cited
MOCHA: Modularity in model checking
Lecture notes in computer science·1998· 384 cited
Algorithms and Tools for the Automatic Analysis of Embedded Systems.
1997
Temporal Proof Methodologies for Timed Transition-Systems
Information and Computation·1994· 92 citedOpen Access
A really temporal logic
1989· 162 cited

Frequent Co-authors

Jean-François Raskin(3), Pierre‐Yves Schobbens(3), Rajeev Alur(2), Zohar Manna(2), Amir Pnueli(2), Freddy Y. C. Mang(1), Shaz Qadeer(1), Sriram K. Rajamani(1), Serdar Taşiran(1), Krishnendu Chatterjee(1), Marcin Jurdziński(1), J Duparc(1)