Thomas Henzinger

Cited by

	All	Since 2016
Citations	55858	12978
h-index	111	58
i10-index	325	219

3100

1550

775

2325

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021138 289 402 463 655 749 980 1119 1169 1235 1725 1853 2350 2476 2669 2817 2876 2905 2991 3026 2958 2974 2989 2756 2600 2515 2341 2108 646

Public access

View all

149 articles

1 article

available

not available

Based on funding mandates

Co-authors

Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Rajeev AlurZisman Family Professor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Luca de AlfaroProfessor, UC Santa CruzVerified email at alumni.stanford.edu
Ranjit JhalaProfessor of Computer Science, UC San DiegoVerified email at cs.ucsd.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgVerified email at cs.uni-salzburg.at
Pei-Hsin HoSynopsys, Inc.Verified email at synopsys.com
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityVerified email at cs.huji.ac.il
Laurent DoyenCNRS - LSV, ENS CachanVerified email at lsv.fr
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerified email at lmu.de
Sriram RajamaniMicrosoft Research Verified email at microsoft.com
Howard Wong-ToiGoogle, Inc.Verified email at google.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Verified email at ulb.ac.be
Shaz QadeerResearch Scientist, FacebookVerified email at fb.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleVerified email at imag.fr
Costas CourcoubetisProfessor of Singapore University of Technology and DesignVerified email at sutd.edu.sg
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
Barbara JobstmannScientist at EPFLVerified email at epfl.ch
Moshe Y. VardiRice UniversityVerified email at cs.rice.edu

Thomas Henzinger

IST Austria

Verified email at ist.ac.at

Software Systems Theory


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The theory of hybrid automata TA Henzinger Verification of digital and hybrid systems, 265-292, 2000	2895	2000
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	2520	1995
Hybrid automata R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid Systems, 209-229, 1992	1744	1992
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1677	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1667	2001
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1637	2002
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	1618	1997
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1478	2002
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	1436	1998
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	996	2000
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	927	1996
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	917	1999
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	914	1994
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	865	1991
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	829	1996
The software model checker Blast D Beyer, TA Henzinger, R Jhala, R Majumdar Software Tools for Technology Transfer 9 (5-6), 505-525, 2007	753	2007
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	745	1990
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	654	2003
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	641	2004
Executable cell biology J Fisher, TA Henzinger Nature Biotechnology 25 (11), 1239, 2007	627	2007

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

Upload PDF

Follow this author

Cited by

Co-authors