Thomas Henzinger

Cited by

	All	Since 2019
Citations	64520	12706
h-index	119	54
i10-index	359	227

3100

1550

775

2325

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024317 425 513 627 792 1106 1108 1236 1342 1774 1930 2465 2455 2729 2801 2918 2917 3018 3056 3000 3010 2993 2733 2674 2559 2358 2079 2074 2310 2315 1560

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
Howard Wong-ToiGoogle, Inc.Verified email at google.com
Shaz QadeerSoftware Engineer, MetaVerified email at meta.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Dejan NickovicAustrian Institute of TechnologyVerified email at ait.ac.at
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteVerified email at ucl.ac.uk
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyVerified email at eecs.berkeley.edu
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

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	3279	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	2869	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1936	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	1913	1991
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1794	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1792	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	1760	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	1618	1998
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1570	2002
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	1113	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	1019	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	1010	1994
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	988	1996
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	984	1991
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	952	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	875	2007
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	832	1990
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	819	2018
Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995	740	1995
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	725	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