| The theory of hybrid automata TA Henzinger IEEE Symposium on Logic in Computer Science, 278-292, 1996 | 3240 | 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 | 2852 | 1995 |
| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Journal of the ACM 49 (5), 672-713, 2002 | 1914 | 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 | 1899 | 1991 |
| Symbolic model checking for real-time systems TA Henzinger, X Nicollin, J Sifakis, S Yovine Information and Computation 111 (2), 193-244, 1994 | 1791 | 1994 |
| Interface automata L De Alfaro, TA Henzinger ACM SIGSOFT Software Engineering Notes 26 (5), 109-120, 2001 | 1783 | 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 | 1738 | 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 | 1598 | 1998 |
| Lazy abstraction TA Henzinger, R Jhala, R Majumdar, G Sutre ACM SIGPLAN Notices 37 (1), 58-70, 2002 | 1563 | 2002 |
| Discrete abstractions of hybrid systems R Alur, TA Henzinger, G Lafferriere, GJ Pappas Proceedings of the IEEE 88 (7), 971-984, 2000 | 1104 | 2000 |
| Reactive modules R Alur, TA Henzinger Formal Methods in System Design 15 (1), 7-48, 1999 | 1008 | 1999 |
| A really temporal logic R Alur, TA Henzinger Journal of the ACM 41 (1), 181-203, 1994 | 998 | 1994 |
| Logics and models of real time: A survey R Alur, TA Henzinger Workshop of the REX Project, 74-106, 1991 | 982 | 1991 |
| The benefits of relaxing punctuality R Alur, T Feder, TA Henzinger Journal of the ACM 43 (1), 116-146, 1996 | 958 | 1996 |
| Automatic symbolic verification of embedded systems R Alur, TA Henzinger, PH Ho IEEE Transactions on Software Engineering 22 (3), 181-201, 1996 | 949 | 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 | 863 | 2007 |
| Real-time logics: Complexity and expressiveness R Alur, TA Henzinger IEEE Symposium on Logic in Computer Science, 390-401, 1990 | 822 | 1990 |
| Handbook of Model Checking EM Clarke, TA Henzinger, H Veith, R Bloem Springer Science & Business Media, 2018 | 722 | 2018 |
| Computing simulations on finite and infinite graphs MR Henzinger, TA Henzinger, PW Kopke IEEE Symposium on Foundations of Computer Science, 453-462, 1995 | 720 | 1995 |
| Software verification with Blast TA Henzinger, R Jhala, R Majumdar, G Sutre SPIN Workshop on Model Checking of Software, 235-239, 2003 | 717 | 2003 |
| Abstractions from proofs TA Henzinger, R Jhala, R Majumdar, KL McMillan ACM SIGPLAN Notices 39 (1), 232-244, 2004 | 704 | 2004 |
| Executable cell biology J Fisher, TA Henzinger Nature Biotechnology 25 (11), 1239, 2007 | 693 | 2007 |
| Alternating-time temporal logic R Alur, TA Henzinger, O Kupferman Compositionality: The Significant Difference, 23-60, 1998 | 611 | 1998 |
| Mocha: Modularity in model checking R Alur, TA Henzinger, FYC Mang, S Qadeer, SK Rajamani, S Tasiran Conference on Computer Aided Verification, 521-525, 1998 | 559 | 1998 |
| Parametric real-time reasoning R Alur, TA Henzinger, MY Vardi ACM Symposium on Theory of Computing, 592-601, 1993 | 546 | 1993 |
| Giotto: A time-triggered language for embedded programming TA Henzinger, B Horowitz, CM Kirsch Workshop on Embedded Software, 166-184, 2001 | 539 | 2001 |
| Interface theories for component-based design L De Alfaro, TA Henzinger Workshop on Embedded Software, 148-165, 2001 | 533 | 2001 |
| Giotto: A time-triggered language for embedded programming TA Henzinger, B Horowitz, CM Kirsch Proceedings of the IEEE 91 (1), 84-99, 2003 | 512 | 2003 |
| The embedded systems design challenge TA Henzinger, J Sifakis Symposium on Formal Methods, 1-15, 2006 | 499 | 2006 |
| Probabilistic programming AD Gordon, TA Henzinger, AV Nori, SK Rajamani ACM-IEEE International Conference on Software Engineering, 167-181, 2014 | 492 | 2014 |
| A user guide to HyTech TA Henzinger, PH Ho, H Wong-Toi Conference on Tools and Algorithms for the Construction and Analysis of …, 1995 | 450 | 1995 |
| Alternating refinement relations R Alur, TA Henzinger, O Kupferman, MY Vardi Conference on Concurrency Theory, 163-178, 1998 | 443 | 1998 |
| Timed transition systems TA Henzinger, Z Manna, A Pnueli Workshop of the REX Project, 226-251, 1991 | 435 | 1991 |
| What good are digital clocks? TA Henzinger, Z Manna, A Pnueli International Colloquium on Algorithms, Languages, and Programming, 545-558, 1992 | 414 | 1992 |
| Contracts for systems design A Benveniste, B Caillaud, D Nickovic, R Passerone, JB Raclet, ... Foundations and Trends® in Electronic Design Automation 12 (2-3), 124-400, 2018 | 384 | 2018 |
| Algorithmic analysis of nonlinear hybrid systems TA Henzinger, PH Ho, H Wong-Toi IEEE Transactions on Automatic Control 43 (4), 540-554, 1998 | 369 | 1998 |
| You assume, we guarantee: Methodology and case studies TA Henzinger, S Qadeer, SK Rajamani Conference on Computer Aided Verification, 440-451, 1998 | 345 | 1998 |
| HyTech: The next generation TA Henzinger, PH Ho, H Wong-Toi IEEE Real-Time Systems Symposium, 56-65, 1995 | 341 | 1995 |
| Interface-based design L De Alfaro, TA Henzinger Engineering Theories of Software Intensive Systems, 83-104, 2005 | 332 | 2005 |
| Generating tests from counterexamples D Beyer, AJ Chlipala, TA Henzinger, R Jhala, R Majumdar ACM-IEEE International Conference on Software Engineering, 326-335, 2004 | 328 | 2004 |
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
