Thomas Henzinger

Cited by

	All	Since 2020
Citations	65484	11243
h-index	121	51
i10-index	364	215

3100

1550

775

2325

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025314 426 513 646 788 1078 1096 1237 1371 1766 1947 2468 2456 2735 2815 2916 2923 3016 3053 3006 3015 2994 2746 2670 2561 2357 2083 2078 2305 2314 2221 235

Public access

View all

166 articles

6 articles

available

not available

Based on funding mandates

Co-authors

Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzVerified email at alumni.stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Laurent DoyenCNRS - LMF, ENS Paris-SaclayVerified email at lsv.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Verified email at univista-isg.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Shaz QadeerMicrosoftVerified email at microsoft.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenVerified email at cuhk.edu.cn
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Arjun RadhakrishnaMicrosoftVerified email at microsoft.com
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenVerified email at gu.se
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu

Thomas Henzinger

IST Austria

Verified email at ist.ac.at - Homepage

Theory of Software Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996	3313	1996
The algorithmic analysis of hybrid systems R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ... Theoretical Computer Science 138 (1), 3-34, 1995	2891	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1995	2002
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid Systems, 209-229, 1991	1932	1991
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1808	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1803	2001
HyTech: A model checker for hybrid systems TA Henzinger, PH Ho, H Wong-Toi Software Tools for Technology Transfer 1 (1-2), 110-122, 1997	1772	1997
What's decidable about hybrid automata? TA Henzinger, PW Kopke, A Puri, P Varaiya Journal of Computer and System Sciences 57 (1), 94-124, 1998	1635	1998
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1578	2002
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1125	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	1026	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	1019	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	1010	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	989	1991
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	955	1996
The software model checker Blast: Applications to software engineering D Beyer, TA Henzinger, R Jhala, R Majumdar Software Tools for Technology Transfer 9 (5-6), 505-525, 2007	881	2007
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	880	2018
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	850	1990
Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995	744	1995
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	727	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors