Thomas Henzinger

Citado por

	Total	Desde 2020
Citas	65434	11212
Índice h	121	51
Índice i10	364	214

3100

1550

775

2325

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025314 425 512 640 788 1085 1100 1235 1363 1769 1945 2467 2457 2734 2814 2912 2925 3017 3053 3003 3015 2994 2740 2671 2562 2355 2086 2082 2298 2322 2203 214

Acceso público

Ver todo

166 artículos

6 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Krishnendu ChatterjeeProfessor, IST AustriaDirección de correo verificada de ist.ac.at
Rupak MajumdarMPI for Software SystemsDirección de correo verificada de mpi-sws.org
Luca de AlfaroProfessor, Computer Science and Engineering, UC Santa CruzDirección de correo verificada de alumni.stanford.edu
Christoph M. KirschProfessor of Computer Sciences, University of SalzburgDirección de correo verificada de cs.uni-salzburg.at
Orna KupfermanProfessor of Computer Science, The Hebrew UniversityDirección de correo verificada de cs.huji.ac.il
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyDirección de correo verificada de lmu.de
Laurent DoyenCNRS - LMF, ENS Paris-SaclayDirección de correo verificada de lsv.fr
Pei-Hsin Ho (贺培鑫）UniVista Industrial Software (合见工软)Dirección de correo verificada de univista-isg.com
Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Dirección de correo verificada de ulb.ac.be
Sriram RajamaniMicrosoft Research Dirección de correo verificada de microsoft.com
Shaz QadeerMicrosoftDirección de correo verificada de microsoft.com
Joseph SifakisReseracher at Verimag laboratory, GrenobleDirección de correo verificada de imag.fr
Dejan NickovicAustrian Institute of TechnologyDirección de correo verificada de ait.ac.at
Alberto Sangiovanni VincentelliProfessor of EECS, University of California, BerkeleyDirección de correo verificada de eecs.berkeley.edu
Jasmin FisherProfessor of Computational Biology, UCL Cancer InstituteDirección de correo verificada de ucl.ac.uk
Costas CourcoubetisProfessor in SDS, CUHK ShenzhenDirección de correo verificada de cuhk.edu.cn
Barbara JobstmannScientist at EPFLDirección de correo verificada de epfl.ch
Arjun RadhakrishnaMicrosoftDirección de correo verificada de microsoft.com
Nir PitermanProfessor in Computer Science, University of Gothenburg, SwedenDirección de correo verificada de gu.se
Moshe Y. VardiRice UniversityDirección de correo verificada de cs.rice.edu

Seguir

Thomas Henzinger

IST Austria

Dirección de correo verificada de ist.ac.at - Página principal

Theory of Software Systems


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996	3312	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	2888	1995
Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002	1994	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	1929	1991
Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994	1806	1994
Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001	1802	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	1767	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	1123	2000
Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999	1025	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	1008	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	879	2007
Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018	876	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores