Thomas Henzinger

Cited by

	All	Since 2016
Citations	55043	12313
h-index	111	55
i10-index	321	209

3100

1550

775

2325

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021139 279 424 447 642 730 967 1113 1175 1259 1734 1860 2328 2438 2686 2811 2906 2913 2983 3040 2961 2982 2978 2752 2576 2489 2369 2050 66

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 UCSC.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	2828	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	2494	1995
Hybrid automata R Alur, C Courcoubetis, TA Henzinger, PH Ho Hybrid Systems, 209-229, 1992	1713	1992
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1659	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1622	2001
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1601	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	1589	1997
Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002	1459	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	1415	1998
Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000	997	2000
Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996	906	1996
A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994	895	1994
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	893	1999
Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991	855	1991
The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996	808	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	737	2007
Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990	723	1990
Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003	639	2003
Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004	636	2004
Executable cell biology J Fisher, TA Henzinger Nature Biotechnology 25 (11), 1239, 2007	620	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