Seguir
Thomas Henzinger
Thomas Henzinger
Dirección de correo verificada de ist.ac.at
Título
Citado por
Citado por
Año
The theory of hybrid automata
TA Henzinger
Verification of Digital and Hybrid Systems, 265-292, 2000
30272000
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
27081995
Hybrid automata
R Alur, C Courcoubetis, TA Henzinger, PH Ho
Hybrid Systems, 209-229, 1992
18131992
Alternating-time temporal logic
R Alur, TA Henzinger, O Kupferman
Journal of the ACM 49 (5), 672-713, 2002
17382002
Symbolic model checking for real-time systems
TA Henzinger, X Nicollin, J Sifakis, S Yovine
Information and Computation 111 (2), 193-244, 1994
17121994
Interface automata
L De Alfaro, TA Henzinger
ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001
17002001
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
16681997
Lazy abstraction
TA Henzinger, R Jhala, R Majumdar, G Sutre
ACM SIGPLAN Notices 37 (1), 58-70, 2002
15182002
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
14861998
Discrete abstractions of hybrid systems
R Alur, TA Henzinger, G Lafferriere, GJ Pappas
Proceedings of the IEEE 88 (7), 971-984, 2000
10352000
Reactive modules
R Alur, TA Henzinger
Formal Methods in System Design 15 (1), 7-48, 1999
9561999
A really temporal logic
R Alur, TA Henzinger
Journal of the ACM 41 (1), 181-203, 1994
9521994
Automatic symbolic verification of embedded systems
R Alur, TA Henzinger, PH Ho
IEEE Transactions on Software Engineering 22 (3), 181-201, 1996
9401996
Logics and models of real time: A survey
R Alur, TA Henzinger
Workshop of the REX Project, 74-106, 1991
9051991
The benefits of relaxing punctuality
R Alur, T Feder, TA Henzinger
Journal of the ACM 43 (1), 116-146, 1996
8741996
The software model checker Blast
D Beyer, TA Henzinger, R Jhala, R Majumdar
Software Tools for Technology Transfer 9 (5-6), 505-525, 2007
7922007
Real-time logics: Complexity and expressiveness
R Alur, TA Henzinger
IEEE Symposium on Logic in Computer Science, 390-401, 1990
7621990
Software verification with Blast
TA Henzinger, R Jhala, R Majumdar, G Sutre
SPIN Workshop on Model Checking of Software, 235-239, 2003
6832003
Abstractions from proofs
TA Henzinger, R Jhala, R Majumdar, KL McMillan
ACM SIGPLAN Notices 39 (1), 232-244, 2004
6612004
Executable cell biology
J Fisher, TA Henzinger
Nature Biotechnology 25 (11), 1239, 2007
6562007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20