TA Henzinger

Verification of digital and hybrid systems, 265-292, 2000

R Alur, C Courcoubetis, N Halbwachs, TA Henzinger, PH Ho, X Nicollin, ...

Theoretical Computer Science 138 (1), 3-34, 1995

R Alur, C Courcoubetis, TA Henzinger, PH Ho

Hybrid Systems, 209-229, 1992

TA Henzinger, X Nicollin, J Sifakis, S Yovine

Information and Computation 111 (2), 193-244, 1994

L De Alfaro, TA Henzinger

ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001

R Alur, TA Henzinger, O Kupferman

Journal of the ACM 49 (5), 672-713, 2002

TA Henzinger, PH Ho, H Wong-Toi

Software Tools for Technology Transfer 1 (1-2), 110-122, 1997

TA Henzinger, R Jhala, R Majumdar, G Sutre

ACM SIGPLAN Notices 37 (1), 58-70, 2002

TA Henzinger, PW Kopke, A Puri, P Varaiya

Journal of Computer and System Sciences 57 (1), 94-124, 1998

R Alur, TA Henzinger, G Lafferriere, GJ Pappas

Proceedings of the IEEE 88 (7), 971-984, 2000

R Alur, TA Henzinger, PH Ho

IEEE Transactions on Software Engineering 22 (3), 181-201, 1996

R Alur, TA Henzinger

Formal Methods in System Design 15 (1), 7-48, 1999

R Alur, TA Henzinger

Journal of the ACM 41 (1), 181-203, 1994

R Alur, TA Henzinger

Workshop of the REX Project, 74-106, 1991

R Alur, T Feder, TA Henzinger

Journal of the ACM 43 (1), 116-146, 1996

D Beyer, TA Henzinger, R Jhala, R Majumdar

Software Tools for Technology Transfer 9 (5-6), 505-525, 2007

R Alur, TA Henzinger

IEEE Symposium on Logic in Computer Science, 390-401, 1990

TA Henzinger, R Jhala, R Majumdar, G Sutre

SPIN Workshop on Model Checking of Software, 235-239, 2003

TA Henzinger, R Jhala, R Majumdar, KL McMillan

ACM SIGPLAN Notices 39 (1), 232-244, 2004

J Fisher, TA Henzinger

Nature Biotechnology 25 (11), 1239, 2007