Thomas Henzinger

Thomas Henzinger

Institute of Science and Technology, Austria - Klosterneuburg / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1395986
-
person_outline Thomas Henzinger's MOST POPULAR ARTICLES
1-) The theory of hybrid automataTA HenzingerVerification of Digital and Hybrid Systems, 265-292, 200030882000
2-) The algorithmic analysis of hybrid systemsR Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...Theoretical Computer Science 138 (1), 3-34, 199527431995
3-) Alternating-time temporal logicR Alur, TA Henzinger, O KupfermanJournal of the ACM 49 (5), 672-713, 200219092002
4-) Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsR Alur, C Courcoubetis, TA Henzinger, PH HoHybrid Systems, 209-229, 199119411991
5-) Symbolic model checking for real-time systemsTA Henzinger, X Nicollin, J Sifakis, S YovineInformation and Computation 111 (2), 193-244, 199418061994