עקוב אחר
Thomas Henzinger
Thomas Henzinger
IST Austria
כתובת אימייל מאומתת בדומיין ist.ac.at - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
The theory of hybrid automata‏
TA Henzinger‏
IEEE Symposium on Logic in Computer Science, 278-292, 1996‏
32981996
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‏
28791995
Alternating-time temporal logic‏
R Alur, TA Henzinger, O Kupferman‏
Journal of the ACM 49 (5), 672-713, 2002‏
19692002
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‏
19241991
Symbolic model checking for real-time systems‏
TA Henzinger, X Nicollin, J Sifakis, S Yovine‏
Information and Computation 111 (2), 193-244, 1994‏
18041994
Interface automata‏
L De Alfaro, TA Henzinger‏
ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001‏
18002001
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‏
17651997
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‏
16261998
Lazy abstraction‏
TA Henzinger, R Jhala, R Majumdar, G Sutre‏
ACM SIGPLAN Notices 37 (1), 58-70, 2002‏
15752002
Discrete abstractions of hybrid systems‏
R Alur, TA Henzinger, G Lafferriere, GJ Pappas‏
Proceedings of the IEEE 88 (7), 971-984, 2000‏
11192000
Reactive modules‏
R Alur, TA Henzinger‏
Formal Methods in System Design 15 (1), 7-48, 1999‏
10221999
A really temporal logic‏
R Alur, TA Henzinger‏
Journal of the ACM 41 (1), 181-203, 1994‏
10171994
The benefits of relaxing punctuality‏
R Alur, T Feder, TA Henzinger‏
Journal of the ACM 43 (1), 116-146, 1996‏
10001996
Logics and models of real time: A survey‏
R Alur, TA Henzinger‏
Workshop of the REX Project, 74-106, 1991‏
9871991
Automatic symbolic verification of embedded systems‏
R Alur, TA Henzinger, PH Ho‏
IEEE Transactions on Software Engineering 22 (3), 181-201, 1996‏
9541996
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‏
8772007
Handbook of Model Checking‏
EM Clarke, TA Henzinger, H Veith, R Bloem‏
Springer Science & Business Media, 2018‏
8502018
Real-time logics: Complexity and expressiveness‏
R Alur, TA Henzinger‏
IEEE Symposium on Logic in Computer Science, 390-401, 1990‏
8411990
Computing simulations on finite and infinite graphs‏
MR Henzinger, TA Henzinger, PW Kopke‏
IEEE Symposium on Foundations of Computer Science, 453-462, 1995‏
7421995
Software verification with Blast‏
TA Henzinger, R Jhala, R Majumdar, G Sutre‏
SPIN Workshop on Model Checking of Software, 235-239, 2003‏
7252003
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20