Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.”https://doi.org/10.1007/978-3-031-30820-8_32__In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_32 .

Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.”https://doi.org/10.1007/978-3-031-30826-0_15__In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30826-0_15 .

Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/AT:ISTA:12407 .

Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.”https://doi.org/10.1007/978-3-031-30823-9_1__In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30823-9_1 .

Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.”https://doi.org/10.1007/978-3-031-30829-1_17__In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30829-1_17 .

Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.”https://doi.org/10.4230/LIPIcs.ICALP.2023.129__In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.ICALP.2023.129 .

Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.”https://doi.org/10.1109/LRA.2023.3240930__IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers, 2023.https://doi.org/10.1109/LRA.2023.3240930 .

Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, Thomas A Henzinger, and Daniela Rus. “Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks.”https://doi.org/10.1609/aaai.v37i12.26747__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:14964–73. Association for the Advancement of Artificial Intelligence, 2023.https://doi.org/10.1609/aaai.v37i12.26747 .

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.”https://doi.org/10.1007/978-3-031-37703-7_17__In Computer Aided Verification, 13965:358–382. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37703-7_17 .

Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2023.17__In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.CONCUR.2023.17 .

Bartocci, Ezio, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira da Costa. “Hypernode Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2023.21__In 34th International Conference on Concurrency Theory, Vol. 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.CONCUR.2023.21 .

Henzinger, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.”https://doi.org/10.1007/978-3-031-44267-4_15__In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-44267-4_15 .

Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.”https://doi.org/10.1007/978-3-031-45329-8_17__In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-45329-8_17 .

Trinh, Van Giang, Belaid Benhamou, Thomas A Henzinger, and Samuel Pastva. “Trap Spaces of Multi-Valued Networks: Definition, Computation, and Applications.”https://doi.org/10.1093/bioinformatics/btad262__Bioinformatics. Oxford Academic, 2023.https://doi.org/10.1093/bioinformatics/btad262 .

Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.”https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20__In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023.https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20 .

Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”https://doi.org/10.1609/aaai.v37i10.26407__In Proceedings of the 37th AAAI Conference on Artificial Intelligence, 37:11926–35. Association for the Advancement of Artificial Intelligence, 2023.https://doi.org/10.1609/aaai.v37i10.26407 .

Kueffner, Konstantin, Anna Lukina, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks (Extended Version).”https://doi.org/10.1007/s10009-023-00711-4__International Journal on Software Tools for Technology Transfer. Springer Nature, 2023.https://doi.org/10.1007/s10009-023-00711-4 .

Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.1007/978-3-031-44267-4_9__In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-44267-4_9 .

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.5281/ZENODO.8191723__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8191723 .

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.”https://doi.org/10.1145/3593013.3594028__In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023.https://doi.org/10.1145/3593013.3594028 .

Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Flavors of Sequential Information Flow.”https://doi.org/10.1007/978-3-030-94583-1_1__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13182:1–19. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-94583-1_1 .

Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.”https://doi.org/10.1007/978-3-031-19992-9_22__In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19992-9_22 .

Henzinger, Thomas A, Karoliina Lehtinen, and Patrick Totzke. “History-Deterministic Timed Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2022.14__In 33rd International Conference on Concurrency Theory, 243:14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.CONCUR.2022.14 .

Avni, Guy, and Thomas A Henzinger. “An Updated Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2022.3__In 47th International Symposium on Mathematical Foundations of Computer Science, 241:3:1-3:6. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.MFCS.2022.3 .

Lechner, Mathias, Alexander Amini, Daniela Rus, and Thomas A Henzinger. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.”https://doi.org/10.48550/arXiv.2204.07373__ArXiv, n.d.https://doi.org/10.48550/arXiv.2204.07373 .

Henzinger, Thomas A. “Quantitative Monitoring of Software.”https://doi.org/10.1007/978-3-030-95561-8_1__In Software Verification, 13124:3–6. LNCS. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-95561-8_1 .

Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Information-Flow Interfaces.”https://doi.org/10.1007/978-3-030-99429-7_1__In Fundamental Approaches to Software Engineering, 13241:3–22. Springer Nature, 2022.https://doi.org/10.1007/978-3-030-99429-7_1 .

Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Abstract Monitors for Quantitative Specifications.”https://doi.org/10.1007/978-3-031-17196-3_11__In 22nd International Conference on Runtime Verification, 13498:200–220. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-17196-3_11 .

Bose, Sougata, Thomas A Henzinger, Karoliina Lehtinen, Sven Schewe, and Patrick Totzke. “History-Deterministic Timed Automata Are Not Determinizable.”https://doi.org/10.1007/978-3-031-19135-0_5__In 16th International Conference on Reachability Problems, 13608:67–76. Springer Nature, 2022.https://doi.org/10.1007/978-3-031-19135-0_5 .

Gruenbacher, Sophie A., Mathias Lechner, Ramin Hasani, Daniela Rus, Thomas A Henzinger, Scott A. Smolka, and Radu Grosu. “GoTube: Scalable Statistical Verification of Continuous-Depth Models.”https://doi.org/10.1609/aaai.v36i6.20631__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i6.20631 .

Lechner, Mathias, Dorde Zikelic, Krishnendu Chatterjee, and Thomas A Henzinger. “Stability Verification in Stochastic Control Systems via Neural Network Supermartingales.”https://doi.org/10.1609/aaai.v36i7.20695__Proceedings of the AAAI Conference on Artificial Intelligence. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i7.20695 .

Zikelic, Dorde, Mathias Lechner, Krishnendu Chatterjee, and Thomas A Henzinger. “Learning Stabilizing Policies in Stochastic Control Systems.”https://doi.org/10.48550/arXiv.2205.11991__ArXiv, n.d.https://doi.org/10.48550/arXiv.2205.11991 .

Zikelic, Dorde, Mathias Lechner, Thomas A Henzinger, and Krishnendu Chatterjee. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”https://doi.org/10.48550/ARXIV.2210.05308__ArXiv, n.d.https://doi.org/10.48550/ARXIV.2210.05308 .

Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.

Lechner, Mathias, Ðore dikeli, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.”https://doi.org/10.48550/arXiv.2111.03165__In 35th Conference on Neural Information Processing Systems, 2021.https://doi.org/10.48550/arXiv.2111.03165 .

Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.”https://doi.org/10.1145/3447928.3456704__In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2102.12734. Association for Computing Machinery, 2021.https://doi.org/10.1145/3447928.3456704 .

Avni, Guy, Thomas A Henzinger, and ore dikeli. “Bidding Mechanisms in Graph Games.”https://doi.org/10.1016/j.jcss.2021.02.008__Journal of Computer and System Sciences. Elsevier, 2021.https://doi.org/10.1016/j.jcss.2021.02.008 .

Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.”https://doi.org/10.1109/LICS52264.2021.9470547__In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers, 2021.https://doi.org/10.1109/LICS52264.2021.9470547 .

Petrov, Tatjana, Claudia Igler, Ali Sezgin, Thomas A Henzinger, and Calin C Guet. “Long Lived Transients in Gene Regulation.”https://doi.org/10.1016/j.tcs.2021.05.023__Theoretical Computer Science. Elsevier, 2021.https://doi.org/10.1016/j.tcs.2021.05.023 .

Mühlböck, Fabian, and Thomas A Henzinger. “Differential Monitoring.”https://doi.org/10.1007/978-3-030-88494-9_12__In International Conference on Runtime Verification, 12974:231–43. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-88494-9_12 .

Mühlböck, Fabian, and Thomas A Henzinger. Differential Monitoring. IST Austria, 2021.https://doi.org/10.15479/AT:ISTA:9946 .

Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games.”https://doi.org/10.23638/LMCS-17(1:10)2021__Logical Methods in Computer Science. International Federation for Computational Logic, 2021.https://doi.org/10.23638/LMCS-17(1:10)2021 .

Lechner, Mathias, Ramin Hasani, Radu Grosu, Daniela Rus, and Thomas A Henzinger. “Adversarial Training Is Not Ready for Robot Learning.”https://doi.org/10.1109/ICRA48506.2021.9561036__In 2021 IEEE International Conference on Robotics and Automation, 4140–47. ICRA, 2021.https://doi.org/10.1109/ICRA48506.2021.9561036 .

Lukina, Anna, Christian Schilling, and Thomas A Henzinger. “Into the Unknown: Active Monitoring of Neural Networks.”https://doi.org/10.1007/978-3-030-88494-9_3__In 21st International Conference on Runtime Verification, 12974:42–61. Cham: Springer Nature, 2021.https://doi.org/10.1007/978-3-030-88494-9_3 .

Ferrere, Thomas, Thomas A Henzinger, and Bernhard Kragl. “Monitoring Event Frequencies.”https://doi.org/10.4230/LIPIcs.CSL.2020.20__In 28th EACSL Annual Conference on Computer Science Logic, Vol. 152. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CSL.2020.20 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.23__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.23 .

Avni, Guy, and Thomas A Henzinger. “A Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.CONCUR.2020.2__In 31st International Conference on Concurrency Theory, Vol. 171. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.https://doi.org/10.4230/LIPIcs.CONCUR.2020.2 .

Alamdari, Par Alizadeh, Guy Avni, Thomas A Henzinger, and Anna Lukina. “Formal Methods with a Touch of Magic.”https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21__In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, 138–47. TU Wien Academic Press, 2020.https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_21 .

Giacobbe, Mirco, Thomas A Henzinger, and Mathias Lechner. “How Many Bits Does It Take to Quantize Your Neural Network?”https://doi.org/10.1007/978-3-030-45237-7_5__In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 12079:79–97. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-45237-7_5 .

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games.”https://doi.org/10.1016/j.tcs.2019.06.031__Theoretical Computer Science. Elsevier, 2020.https://doi.org/10.1016/j.tcs.2019.06.031 .

Henzinger, Thomas A, Anna Lukina, and Christian Schilling. “Outside the Box: Abstraction-Based Monitoring of Neural Networks.”https://doi.org/10.3233/FAIA200375__In 24th European Conference on Artificial Intelligence, 325:2433–40. IOS Press, 2020.https://doi.org/10.3233/FAIA200375 .

Lechner, Mathias, Ramin Hasani, Alexander Amini, Thomas A Henzinger, Daniela Rus, and Radu Grosu. “Neural Circuit Policies Enabling Auditable Autonomy.”https://doi.org/10.1038/s42256-020-00237-3__Nature Machine Intelligence. Springer Nature, 2020.https://doi.org/10.1038/s42256-020-00237-3 .

Henzinger, Thomas A, and Naci E Sarac. “Monitorability under Assumptions.”https://doi.org/10.1007/978-3-030-60508-7_1__In Runtime Verification, 12399:3–18. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-60508-7_1 .

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.”https://doi.org/10.1007/978-3-030-53288-8_14__In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.https://doi.org/10.1007/978-3-030-53288-8_14 .

Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.”https://doi.org/10.1145/3385412.3385980__In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020.https://doi.org/10.1145/3385412.3385980 .

Avni, Guy, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Petr Novotny. “Bidding Games on Markov Decision Processes.”https://doi.org/10.1007/978-3-030-30806-3_1__In https://doi.org/10.1007/978-3-030-30806-3_1__Proceedings of the 13th International Conference of Reachability Problems, 11674:1–12. Springer, 2019.https://doi.org/10.1007/978-3-030-30806-3_1 .

Lechner, Mathias, Ramin Hasani, Manuel Zimmer, Thomas A Henzinger, and Radu Grosu. “Designing Worm-Inspired Neural Networks for Interpretable Robotic Control.”https://doi.org/10.1109/icra.2019.8793840__In Proceedings - IEEE International Conference on Robotics and Automation, Vol. 2019–May. IEEE, 2019.https://doi.org/10.1109/icra.2019.8793840 .

Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,”https://doi.org/10.4230/LIPICS.CONCUR.2019.20__Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.CONCUR.2019.20 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,”https://doi.org/10.4230/LIPICS.CONCUR.2019.27__Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.CONCUR.2019.27 .

Alur, Rajeev, Mirco Giacobbe, Thomas A Henzinger, Kim G. Larsen, and Marius Mikudionis. “Continuous-Time Models for System Design and Analysis.”https://doi.org/10.1007/978-3-319-91908-9_22__In Computing and Software Science, edited by Bernhard Steffen and Gerhard Woeginger, 10000:452–77. LNCS. Springer Nature, 2019.https://doi.org/10.1007/978-3-319-91908-9_22 .

Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,”https://doi.org/10.4230/LIPICS.MFCS.2019.11__Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.https://doi.org/10.4230/LIPICS.MFCS.2019.11 .

Avni, Guy, Roderick Bloem, Krishnendu Chatterjee, Thomas A Henzinger, Bettina Konighofer, and Stefan Pranger. “Run-Time Optimization for Learned Controllers through Quantitative Games.”https://doi.org/10.1007/978-3-030-25540-4_36__In 31st International Conference on Computer-Aided Verification, 11561:630–49. Springer, 2019.https://doi.org/10.1007/978-3-030-25540-4_36 .

Garcia Soto, Miriam, Thomas A Henzinger, Christian Schilling, and Luka Zeleznik. “Membership-Based Synthesis of Linear Hybrid Automata.”https://doi.org/10.1007/978-3-030-25540-4_16__In 31st International Conference on Computer-Aided Verification, 11561:297–314. Springer, 2019.https://doi.org/10.1007/978-3-030-25540-4_16 .

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.”https://doi.org/10.1145/3340295__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3340295 .

Guet, Calin C, Thomas A Henzinger, Claudia Igler, Tatjana Petrov, and Ali Sezgin. “Transient Memory in Gene Regulation.”https://doi.org/10.1007/978-3-030-31304-3_9__In 17th International Conference on Computational Methods in Systems Biology, 11773:155–87. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-31304-3_9 .

Kong, Hui, Ezio Bartocci, Yu Jiang, and Thomas A Henzinger. “Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.”https://doi.org/10.1007/978-3-030-29662-9_8__In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:123–41. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29662-9_8 .

Clarke, Edmund M., Thomas A Henzinger, Helmut Veith, and Roderick Bloem. Handbook of Model Checking. 1st ed. Cham: Springer Nature, 2018.https://doi.org/10.1007/978-3-319-10575-8 .

Bloem, Roderick, Krishnendu Chatterjee, and Barbara Jobstmann. “Graph Games and Reactive Synthesis.”https://doi.org/10.1007/978-3-319-10575-8_27__In Handbook of Model Checking, edited by Thomas A Henzinger, Edmund M. Clarke, Helmut Veith, and Roderick Bloem, 1st ed., 921–62. Springer, 2018.https://doi.org/10.1007/978-3-319-10575-8_27 .

Clarke, Edmund, Thomas A Henzinger, and Helmut Veith. “Introduction to Model Checking.”https://doi.org/10.1007/978-3-319-10575-8_1__In Handbook of Model Checking, edited by Thomas A Henzinger, 1–26. Handbook of Model Checking. Springer, 2018.https://doi.org/10.1007/978-3-319-10575-8_1 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Computing Average Response Time.”https://doi.org/10.1007/978-3-319-95246-8_9__In Principles of Modeling, edited by Marten Lohstroh, Patricia Derler, and Marjan Sirjani, 10760:143–61. Springer, 2018.https://doi.org/10.1007/978-3-319-95246-8_9 .

Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Synchronizing the Asynchronous,”https://doi.org/10.4230/LIPIcs.CONCUR.2018.21__Vol. 118. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPIcs.CONCUR.2018.21 .

Ferrere, Thomas, Thomas A Henzinger, and Ege Saraç. “A Theory of Register Monitors,”https://doi.org/10.1145/3209108.3209194__Part 8033:394–403. IEEE, 2018.https://doi.org/10.1145/3209108.3209194 .

Avni, Guy, Thomas A Henzinger, and Rasmus Ibsen-Jensen. “Infinite-Duration Poorman-Bidding Games,”https://doi.org/10.1007/978-3-030-04612-5_2__11316:21–36. Springer, 2018.https://doi.org/10.1007/978-3-030-04612-5_2 .

Elgyütt, Adrian, Thomas Ferrere, and Thomas A Henzinger. “Monitoring Temporal Logic with Clock Variables,”https://doi.org/10.1007/978-3-030-00151-3_4__11022:53–70. Springer, 2018.https://doi.org/10.1007/978-3-030-00151-3_4 .

Kong, Hui, Ezio Bartocci, and Thomas A Henzinger. “Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes,”https://doi.org/10.1007/978-3-319-96145-3_24__10981:449–67. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_24 .

Frehse, Goran, Mirco Giacobbe, and Thomas A Henzinger. “Space-Time Interpolants,”https://doi.org/10.1007/978-3-319-96145-3_25__10981:468–86. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_25 .

Bakhirkin, Alexey, Thomas Ferrere, Thomas A Henzinger, and Deian Nickovicl. “Keynote: The First-Order Logic of Signals.”https://doi.org/10.1109/emsoft.2018.8537203__In 2018 International Conference on Embedded Software, 1–10. IEEE, 2018.https://doi.org/10.1109/emsoft.2018.8537203 .

Benveniste, Albert, Dejan Nickovic, Benoît Caillaud, Roberto Passerone, Jean Baptiste Raclet, Philipp Reinkemeier, Alberto Sangiovanni-Vincentelli, Werner Damm, Thomas A Henzinger, and Kim G. Larsen. “Contracts for System Design.”https://doi.org/10.1561/1000000053__Foundations and Trends in Electronic Design Automation. Now Publishers, 2018.https://doi.org/10.1561/1000000053 .

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties.”https://doi.org/10.1145/3060139__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3060139 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1145/3152769__ACM Transactions on Computational Logic (TOCL). ACM, 2017.https://doi.org/10.1145/3152769 .

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.23638/LMCS-13(3:23)2017__Logical Methods in Computer Science. International Federation of Computational Logic, 2017.https://doi.org/10.23638/LMCS-13(3:23)2017 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “The Cost of Exactness in Quantitative Reachability.”https://doi.org/10.1007/978-3-319-63121-9_18__In Models, Algorithms, Logics and Tools, edited by Luca Aceto, Giorgio Bacci, Anna Ingólfsdóttir, Axel Legay, and Radu Mardare, 10460:367–81. Theoretical Computer Science and General Issues. Springer, 2017.https://doi.org/10.1007/978-3-319-63121-9_18 .

Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, and Aviral Kumar. “Challenges and Tool Implementation of Hybrid Rapidly Exploring Random Trees.”https://doi.org/10.1007/978-3-319-63501-9_6__edited by Alessandro Abate and Sylvie Bodo, 10381:83–89. Springer, 2017.https://doi.org/10.1007/978-3-319-63501-9_6 .

Henzinger, Thomas A, Bernhard Kragl, and Shaz Qadeer. Synchronizing the Asynchronous. IST Austria, 2017.https://doi.org/10.15479/AT:IST-2018-853-v2-2 .

Kong, Hui, Sergiy Bogomolov, Christian Schilling, Yu Jiang, and Thomas A Henzinger. “Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.”https://doi.org/10.1145/3049797.3049814__In Proceedings of the 20th International Conference on Hybrid Systems, 163–72. ACM, 2017.https://doi.org/10.1145/3049797.3049814 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Bidirectional Nested Weighted Automata,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.5__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.5 .

Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games,”https://doi.org/10.4230/LIPIcs.CONCUR.2017.21__Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.https://doi.org/10.4230/LIPIcs.CONCUR.2017.21 .

Bogomolov, Sergiy, Mirco Giacobbe, Thomas A Henzinger, and Hui Kong. “Conic Abstractions for Hybrid Systems,”https://doi.org/10.1007/978-3-319-65765-3_7__10419:116–32. Springer, 2017.https://doi.org/10.1007/978-3-319-65765-3_7 .

Bogomolov, Sergiy, Goran Frehse, Mirco Giacobbe, and Thomas A Henzinger. “Counterexample Guided Refinement of Template Polyhedra,”https://doi.org/10.1007/978-3-662-54577-5_34__10205:589–606. Springer, 2017.https://doi.org/10.1007/978-3-662-54577-5_34 .

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”https://doi.org/10.1007/s10703-016-0256-5__Formal Methods in System Design. Springer, 2017.https://doi.org/10.1007/s10703-016-0256-5 .

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking the Evolution of Gene Regulatory Networks.”https://doi.org/10.1007/s00236-016-0278-x__Acta Informatica. Springer, 2017.https://doi.org/10.1007/s00236-016-0278-x .

Henzinger, Thomas A, and Jan Otop. “Model Measuring for Discrete and Hybrid Systems.”https://doi.org/10.1016/j.nahs.2016.09.001__Nonlinear Analysis: Hybrid Systems. Elsevier, 2017.https://doi.org/10.1016/j.nahs.2016.09.001 .

Avni, Guy, Shubham Goel, Thomas A Henzinger, and Guillermo Rodríguez Navas. “Computing Scores of Forwarding Schemes in Switched Networks with Probabilistic Faults,”https://doi.org/10.1007/978-3-662-54580-5_10__10206:169–87. Springer, 2017.https://doi.org/10.1007/978-3-662-54580-5_10 .

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. “Quantitative Fair Simulation Games.”https://doi.org/10.1016/j.ic.2016.10.006__Information and Computation. Elsevier, 2017.https://doi.org/10.1016/j.ic.2016.10.006 .

Gottlob, Georg, Thomas A Henzinger, and Georg Weißenbacher. “Preface of the Special Issue in Memoriam Helmut Veith.”https://doi.org/10.1007/s10703-017-0307-6__Formal Methods in System Design. Springer, 2017.https://doi.org/10.1007/s10703-017-0307-6 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Limit-Average Automata of Bounded Width,”https://doi.org/10.4230/LIPIcs.MFCS.2016.24__Vol. 58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.MFCS.2016.24 .

Haas, Andreas, Thomas A Henzinger, Andreas Holzer, Christoph Kirsch, Michael Lippautz, Hannes Payer, Ali Sezgin, Ana Sokolova, and Helmut Veith. “Local Linearizability for Concurrent Container-Type Data Structures.”https://doi.org/10.4230/LIPIcs.CONCUR.2016.6__In Leibniz International Proceedings in Informatics, Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.CONCUR.2016.6 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Automata under Probabilistic Semantics.”https://doi.org/10.1145/2933575.2933588__In Proceedings of the 31st Annual ACM/IEEE Symposium, 76–85. IEEE, 2016.https://doi.org/10.1145/2933575.2933588 .

Kong, Hui, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas A Henzinger, Yu Jiang, and Christian Schilling. “Discrete Abstraction of Multiaffine Systems,”https://doi.org/10.1007/978-3-319-47151-8_9__9957:128–44. Springer, 2016.https://doi.org/10.1007/978-3-319-47151-8_9 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Quantitative Monitor Automata,”https://doi.org/10.1007/978-3-662-53413-7_2__9837:23–38. Springer, 2016.https://doi.org/10.1007/978-3-662-53413-7_2 .

Bak, Stanley, Sergiy Bogomolov, Thomas A Henzinger, Taylor Johnson, and Pradyot Prakash. “Scalable Static Hybridization Methods for Analysis of Nonlinear Systems,”https://doi.org/10.1145/2883817.2883837__155–64. Springer, 2016.https://doi.org/10.1145/2883817.2883837 .

Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “PSYNC: A Partially Synchronous Language for Fault-Tolerant Distributed Algorithms,”https://doi.org/10.1145/2837614.2837650__20–22:400–415. ACM, 2016.https://doi.org/10.1145/2837614.2837650 .

Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Timed I/O Systems,”https://doi.org/10.1007/978-3-662-49122-5_12__9583:250–67. Springer, 2016.https://doi.org/10.1007/978-3-662-49122-5_12 .

Schilling, Christian, Sergiy Bogomolov, Thomas A Henzinger, Andreas Podelski, and Jakob Ruess. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.”https://doi.org/10.1016/j.biosystems.2016.07.005__Biosystems. Elsevier, 2016.https://doi.org/10.1016/j.biosystems.2016.07.005 .

Avni, Guy, Thomas A Henzinger, and Orna Kupferman. “Dynamic Resource Allocation Games,”https://doi.org/10.1007/978-3-662-53354-3_13__9928:153–66. Springer, 2016.https://doi.org/10.1007/978-3-662-53354-3_13 .

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Linear Distances between Markov Chains,”https://doi.org/10.4230/LIPIcs.CONCUR.2016.20__Vol. 59. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2016.https://doi.org/10.4230/LIPIcs.CONCUR.2016.20 .

Daca, Przemyslaw, Thomas A Henzinger, Jan Kretinsky, and Tatjana Petrov. “Faster Statistical Model Checking for Unbounded Temporal Properties,”https://doi.org/10.1007/978-3-662-49674-9_7__9636:112–29. Springer, 2016.https://doi.org/10.1007/978-3-662-49674-9_7 .

Daca, Przemyslaw, Ashutosh Gupta, and Thomas A Henzinger. “Abstraction-Driven Concolic Testing,”https://doi.org/10.1007/978-3-662-49122-5_16__9583:328–47. Springer, 2016.https://doi.org/10.1007/978-3-662-49122-5_16 .

Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,”https://doi.org/10.1007/978-3-319-41540-6_13__9780:230–48. Springer, 2016.https://doi.org/10.1007/978-3-319-41540-6_13 .

Dragoi, Cezara, Thomas A Henzinger, and Damien Zufferey. “The Need for Language Support for Fault-Tolerant Distributed Systems.”https://doi.org/10.4230/LIPIcs.SNAPL.2015.90__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2015.https://doi.org/10.4230/LIPIcs.SNAPL.2015.90 .

Bogomolov, Sergiy, Thomas A Henzinger, Andreas Podelski, Jakob Ruess, and Christian Schilling. “Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.”https://doi.org/10.1007/978-3-319-23401-4_8__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-23401-4_8 .

Velner, Yaron, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, Alexander Rabinovich, and Jean Raskin. “The Complexity of Multi-Mean-Payoff and Multi-Energy Games.”https://doi.org/10.1016/j.ic.2015.03.001__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.03.001 .

Gupta, Ashutosh, and Thomas A Henzinger. “Guest Editors’ Introduction to Special Issue on Computational Methods in Systems Biology.”https://doi.org/10.1145/2745799__ACM Transactions on Modeling and Computer Simulation. ACM, 2015.https://doi.org/10.1145/2745799 .

Cerny, Pavol, Thomas A Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr. “Segment Abstraction for Worst-Case Execution Time Analysis.”https://doi.org/10.1007/978-3-662-46669-8_5__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46669-8_5 .

Henzinger, Thomas A, and Jean Raskin. “The Equivalence Problem for Finite Automata: Technical Perspective.”https://doi.org/10.1145/2701001__Communications of the ACM. ACM, 2015.https://doi.org/10.1145/2701001 .

Gupta, Ashutosh, Thomas A Henzinger, Arjun Radhakrishna, Roopsha Samanta, and Thorsten Tarrach. “Succinct Representation of Concurrent Trace Sets,”https://doi.org/10.1145/2676726.2677008__433–44. ACM, 2015.https://doi.org/10.1145/2676726.2677008 .

Chakraborty, Soham, Thomas A Henzinger, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.2168/LMCS-11(1:20)2015__Logical Methods in Computer Science. International Federation of Computational Logic, 2015.https://doi.org/10.2168/LMCS-11(1:20)2015 .

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free.”https://doi.org/10.1016/j.ic.2015.06.003__Information and Computation. Elsevier, 2015.https://doi.org/10.1016/j.ic.2015.06.003 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments.”https://doi.org/10.1145/2699430__Journal of the ACM. ACM, 2015.https://doi.org/10.1145/2699430 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Nested Weighted Automata.”https://doi.org/10.1109/LICS.2015.72__In Proceedings - Symposium on Logic in Computer Science, Vol. 2015–July. IEEE, 2015.https://doi.org/10.1109/LICS.2015.72 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-170-v2-2 .

Boker, Udi, Thomas A Henzinger, and Jan Otop. “The Target Discounted-Sum Problem.”https://doi.org/10.1109/LICS.2015.74__In LICS, 750–61. Logic in Computer Science. IEEE, 2015.https://doi.org/10.1109/LICS.2015.74 .

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. “Edit Distance for Pushdown Automata.”https://doi.org/10.1007/978-3-662-47666-6_10__In 42nd International Colloquium, 9135:121–33. Springer Nature, 2015.https://doi.org/10.1007/978-3-662-47666-6_10 .

Boker, Udi, Thomas A Henzinger, and Jan Otop. The Target Discounted-Sum Problem. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-335-v1-1 .

Chatterjee, Krishnendu, Thomas A Henzinger, Rasmus Ibsen-Jensen, and Jan Otop. Edit Distance for Pushdown Automata. IST Austria, 2015.https://doi.org/10.15479/AT:IST-2015-334-v1-1 .

Benes, Nikola, Przemyslaw Daca, Thomas A Henzinger, Jan Kretinsky, and Dejan Nickovic. “Complete Composition Operators for IOCO-Testing Theory,”https://doi.org/10.1145/2737166.2737175__101–10. ACM, 2015.https://doi.org/10.1145/2737166.2737175 .

Cerny, Pavol, Edmund Clarke, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, Roopsha Samanta, and Thorsten Tarrach. “From Non-Preemptive to Preemptive Scheduling Using Synchronization Synthesis.”https://doi.org/10.1007/978-3-319-21668-3_11__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-319-21668-3_11 .

Giacobbe, Mirco, Calin C Guet, Ashutosh Gupta, Thomas A Henzinger, Tiago Paixao, and Tatjana Petrov. “Model Checking Gene Regulatory Networks.”https://doi.org/10.1007/978-3-662-46681-0_47__Lecture Notes in Computer Science. Springer, 2015.https://doi.org/10.1007/978-3-662-46681-0_47 .

Dragoi, Cezara, Thomas A Henzinger, Helmut Veith, Josef Widder, and Damien Zufferey. “A Logic-Based Framework for Verifying Consensus Algorithms,”https://doi.org/10.1007/978-3-642-54013-4_10__8318:161–81. Springer, 2014.https://doi.org/10.1007/978-3-642-54013-4_10 .

Gordon, Andrew, Thomas A Henzinger, Aditya Nori, and Sriram Rajamani. “Probabilistic Programming.”https://doi.org/10.1145/2593882.2593900__In Proceedings of the on Future of Software Engineering, 167–81. ACM, 2014.https://doi.org/10.1145/2593882.2593900 .

Henzinger, Thomas A, Jan Otop, and Roopsha Samanta. “Lipschitz Robustness of Finite-State Transducers.”https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431__In Leibniz International Proceedings in Informatics, LIPIcs, 29:431–43. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014.https://doi.org/10.4230/LIPIcs.FSTTCS.2014.431 .

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Könighofer, and Robert Könighofer. “Synthesizing Robust Systems.”https://doi.org/10.1007/s00236-013-0191-5__Acta Informatica. Springer, 2014.https://doi.org/10.1007/s00236-013-0191-5 .

Boker, Udi, and Thomas A Henzinger. “Exact and Approximate Determinization of Discounted-Sum Automata.”https://doi.org/10.2168/LMCS-10(1:10)2014__Logical Methods in Computer Science. International Federation of Computational Logic, 2014.https://doi.org/10.2168/LMCS-10(1:10)2014 .

Boker, Udi, Thomas A Henzinger, and Arjun Radhakrishna. “Battery Transition Systems,”https://doi.org/10.1145/2535838.2535875__49:595–606. ACM, 2014.https://doi.org/10.1145/2535838.2535875 .

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.1016/j.tcs.2014.08.019__Theoretical Computer Science. Elsevier, 2014.https://doi.org/10.1016/j.tcs.2014.08.019 .

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1145/2629686__ACM Transactions on Computational Logic (TOCL). ACM, 2014.https://doi.org/10.1145/2629686 .

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. Compositional Specifications for IOCO Testing. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-148-v2-1 .

Henzinger, Thomas A, and Jan Otop. “Model Measuring for Hybrid Systems.”https://doi.org/10.1145/2562059.2562130__In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control, 213–22. Springer, 2014.https://doi.org/10.1145/2562059.2562130 .

Henzinger, Thomas A, and Jan Otop. From Model Checking to Model Measuring. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-172-v1-1 .

Henzinger, Thomas A, and Jan Otop. Model Measuring for Hybrid Systems. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-171-v1-1 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. Nested Weighted Automata. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-170-v1-1 .

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Regression-Free Synthesis for Concurrency,”https://doi.org/10.1007/978-3-319-08867-9_38__8559:568–84. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_38 .

Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic. “Compositional Specifications for IOCO Testing.”https://doi.org/10.1109/ICST.2014.50__In IEEE 7th International Conference on Software Testing, Verification and Validation. IEEE, 2014.https://doi.org/10.1109/ICST.2014.50 .

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Yaron Velner. Quantitative Fair Simulation Games. IST Austria, 2014.https://doi.org/10.15479/AT:IST-2014-315-v1-1 .

Haas, Andreas, Michael Lippautz, Thomas A Henzinger, Hannes Payer, Ana Sokolova, Christoph M. Kirsch, and Ali Sezgin. “Distributed Queues in Shared Memory: Multicore Performance and Scalability through Quantitative Relaxation.”https://doi.org/10.1145/2482767.2482789__In Proceedings of the ACM International Conference on Computing Frontiers - CF ’13. ACM Press, 2013.https://doi.org/10.1145/2482767.2482789 .

Henzinger, Thomas A, Christoph Kirsch, Hannes Payer, Ali Sezgin, and Ana Sokolova. “Quantitative Relaxation of Concurrent Data Structures.”https://doi.org/10.1145/2429069.2429109__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 317–28. ACM, 2013.https://doi.org/10.1145/2429069.2429109 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Abstraction Refinement.”https://doi.org/10.1145/2429069.2429085__In Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Language, 115–28. ACM, 2013.https://doi.org/10.1145/2429069.2429085 .

Henzinger, Thomas A. “Quantitative Reactive Modeling and Verification.”https://doi.org/10.1007/s00450-013-0251-7__Computer Science Research and Development. Springer, 2013.https://doi.org/10.1007/s00450-013-0251-7 .

Gupta, Ashutosh, and Thomas A Henzinger, eds. Computational Methods in Systems Biology. Vol. 8130. Springer, 2013.https://doi.org/10.1007/978-3-642-40708-6 .

Godhal, Yashdeep, Krishnendu Chatterjee, and Thomas A Henzinger. “Synthesis of AMBA AHB from Formal Specification: A Case Study.”https://doi.org/10.1007/s10009-011-0207-9__International Journal on Software Tools for Technology Transfer. Springer, 2013.https://doi.org/10.1007/s10009-011-0207-9 .

Henzinger, Thomas A, Ali Sezgin, and Viktor Vafeiadis. “Aspect-Oriented Linearizability Proofs.”https://doi.org/10.1007/978-3-642-40184-8_18__Lecture Notes in Computer Science. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.1007/978-3-642-40184-8_18 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability and Turn Based Stochastic Safety Games.”https://doi.org/10.1016/j.jcss.2012.12.001__Journal of Computer and System Sciences. Elsevier, 2013.https://doi.org/10.1016/j.jcss.2012.12.001 .

Kucera, Antonin, Thomas A Henzinger, Jaroslav Nesetril, Tomas Vojnar, and David Antos, eds. Mathematical and Engineering Methods in Computer Science. Vol. 7721. Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-36046-6 .

Henzinger, Thomas A, and Ali Sezgin. How Free Is Your Linearizable Concurrent Data Structure? IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-123-v1-1 .

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. “Distributed Synthesis for LTL Fragments.”https://doi.org/10.1109/FMCAD.2013.6679386__In 13th International Conference on Formal Methods in Computer-Aided Design, 18–25. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679386 .

Chatterjee, Krishnendu, Thomas A Henzinger, Jan Otop, and Andreas Pavlogiannis. Distributed Synthesis for LTL Fragments. IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-130-v1-1 .

Henzinger, Thomas A, and Jan Otop. “From Model Checking to Model Measuring.”https://doi.org/10.1007/978-3-642-40184-8_20__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-40184-8_20 .

Henzinger, Thomas A, Hannes Payer, and Ali Sezgin. Replacing Competition with Cooperation to Achieve Scalable Lock-Free FIFO Queues . IST Austria, 2013.https://doi.org/10.15479/AT:IST-2013-124-v1-1 .

Dragoi, Cezara, Ashutosh Gupta, and Thomas A Henzinger. “Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates.”https://doi.org/10.1007/978-3-642-39799-8_11__In Computer Aided Verification, 8044:174–90. CAV. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.https://doi.org/10.1007/978-3-642-39799-8_11 .

Cerny, Pavol, Thomas A Henzinger, Arjun Radhakrishna, Leonid Ryzhyk, and Thorsten Tarrach. “Efficient Synthesis for Concurrency by Semantics-Preserving Transformations,”https://doi.org/10.1007/978-3-642-39799-8_68__8044:951–67. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_68 .

Beyer, Dirk, Thomas A Henzinger, Mehmet Keremoglu, and Philipp Wendler. “Conditional Model Checking: A Technique to Pass Information between Verifiers.”https://doi.org/10.1145/2393596.2393664__In Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. ACM, 2012.https://doi.org/10.1145/2393596.2393664 .

Henzinger, Thomas A, and Maria Mateescu. “The Propagation Approach for Computing Biochemical Reaction Networks.”https://doi.org/10.1109/TCBB.2012.91__IEEE ACM Transactions on Computational Biology and Bioinformatics. IEEE, 2012.https://doi.org/10.1109/TCBB.2012.91 .

Boker, Udi, and Thomas A Henzinger. “Approximate Determinization of Quantitative Automata.”https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362__In Leibniz International Proceedings in Informatics, 18:362–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2012.https://doi.org/10.4230/LIPIcs.FSTTCS.2012.362 .

Cerny, Pavol, Sivakanth Gopi, Thomas A Henzinger, Arjun Radhakrishna, and Nishant Totla. “Synthesis from Incompatible Specifications.”https://doi.org/10.1145/2380356.2380371__In Proceedings of the Tenth ACM International Conference on Embedded Software, 53–62. ACM, 2012.https://doi.org/10.1145/2380356.2380371 .

Henzinger, Thomas A. “Quantitative Reactive Models.”https://doi.org/10.1007/978-3-642-33666-9_1__In Conference Proceedings MODELS 2012, 7590:1–2. Springer, 2012.https://doi.org/10.1007/978-3-642-33666-9_1 .

Cerny, Pavol, Martin Chmelik, Thomas A Henzinger, and Arjun Radhakrishna. “Interface Simulation Distances.”https://doi.org/10.4204/EPTCS.96.3__In Electronic Proceedings in Theoretical Computer Science, 96:29–42. EPTCS, 2012.https://doi.org/10.4204/EPTCS.96.3 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Finite Automata with Time Delay Blocks.”https://doi.org/10.1145/2380356.2380370__In Roceedings of the Tenth ACM International Conference on Embedded Software, 43–52. ACM, 2012.https://doi.org/10.1145/2380356.2380370 .

Henzinger, Thomas A, and Dejan Nickovic. “Independent Implementability of Viewpoints.”https://doi.org/10.1007/978-3-642-34059-8_20__In https://doi.org/10.1007/978-3-642-34059-8_20__Conference Proceedings Monterey Workshop 2012, 7539:380–95. Springer, 2012.https://doi.org/10.1007/978-3-642-34059-8_20 .

Guet, Calin C, Ashutosh Gupta, Thomas A Henzinger, Maria Mateescu, and Ali Sezgin. “Delayed Continuous Time Markov Chains for Genetic Regulatory Circuits,”https://doi.org/10.1007/978-3-642-31424-7_24__7358:294–309. Springer, 2012.https://doi.org/10.1007/978-3-642-31424-7_24 .

Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule Based Systems.”https://doi.org/10.1016/j.tcs.2011.12.059__Theoretical Computer Science. Elsevier, 2012.https://doi.org/10.1016/j.tcs.2011.12.059 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “A Survey of Stochastic <9 Regular Games.”https://doi.org/10.1016/j.jcss.2011.05.002__Journal of Computer and System Sciences. Elsevier, 2012.https://doi.org/10.1016/j.jcss.2011.05.002 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Partial-Observation Stochastic Parity Games.”https://doi.org/10.1007/s10703-012-0164-2__Formal Methods in System Design. Springer, 2012.https://doi.org/10.1007/s10703-012-0164-2 .

Delahaye, Benoît, Uli Fahrenberg, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Synchronous Interface Theories and Time Triggered Scheduling,”https://doi.org/10.1007/978-3-642-30793-5_13__7273:203–18. Springer, 2012.https://doi.org/10.1007/978-3-642-30793-5_13 .

Ghosal, Arkadeb, Daniel Iercan, Christoph Kirsch, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Separate Compilation of Hierarchical Real-Time Programs into Linear-Bounded Embedded Machine Code.”https://doi.org/10.1016/j.scico.2010.06.004__Science of Computer Programming. Elsevier, 2012.https://doi.org/10.1016/j.scico.2010.06.004 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances.”https://doi.org/10.1016/j.tcs.2011.08.002__Theoretical Computer Science. Elsevier, 2012.https://doi.org/10.1016/j.tcs.2011.08.002 .

Zufferey, Damien, Thomas Wies, and Thomas A Henzinger. “Ideal Abstractions for Well Structured Transition Systems,”https://doi.org/10.1007/978-3-642-27940-9_29__7148:445–60. Springer, 2012.https://doi.org/10.1007/978-3-642-27940-9_29 .

Henzinger, Thomas A, Anmol Singh, Vasu Singh, Thomas Wies, and Damien Zufferey. “Static Scheduling in Clouds,” 1–6. USENIX, 2011.

Henzinger, Thomas A, and Maria Mateescu. “Tail Approximation for the Chemical Master Equation.” Tampere International Center for Signal Processing, 2011.

Henzinger, Thomas A, and Maria Mateescu. “Propagation Models for Computing Biochemical Reaction Networks,”https://doi.org/10.1145/2037509.2037510__1–3. Springer, 2011.https://doi.org/10.1145/2037509.2037510 .

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Specification-Centered Robustness.”https://doi.org/10.1109/SIES.2011.5953660__In 6th IEEE International Symposium on Industrial and Embedded Systems, 176–85. IEEE, 2011.https://doi.org/10.1109/SIES.2011.5953660 .

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “A Theory of Synchronous Relational Interfaces.”https://doi.org/10.1145/1985342.1985345__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2011.https://doi.org/10.1145/1985342.1985345 .

Halalai, Raluca, Thomas A Henzinger, and Vasu Singh. “Quantitative Evaluation of BFT Protocols,”https://doi.org/10.1109/QEST.2011.40__255–64. IEEE, 2011.https://doi.org/10.1109/QEST.2011.40 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Qualitative Concurrent Parity Games.”https://doi.org/10.1145/1970398.1970404__ACM Transactions on Computational Logic (TOCL). ACM, 2011.https://doi.org/10.1145/1970398.1970404 .

Fisher, Jasmin, David Harel, and Thomas A Henzinger. “Biology as Reactivity.”https://doi.org/10.1145/2001269.2001289__Communications of the ACM. ACM, 2011.https://doi.org/10.1145/2001269.2001289 .

Fisher, Jasmin, Thomas A Henzinger, Dejan Nickovic, Nir Piterman, Anmol Singh, and Moshe Vardi. “Dynamic Reactive Modules,”https://doi.org/10.1007/978-3-642-23217-6_27__6901:404–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011.https://doi.org/10.1007/978-3-642-23217-6_27 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “QUASY: Quantitative Synthesis Tool,”https://doi.org/10.1007/978-3-642-19835-9_24__6605:267–71. Springer, 2011.https://doi.org/10.1007/978-3-642-19835-9_24 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Mathieu Tracol. “The Decidability Frontier for Probabilistic Automata on Infinite Words.” ArXiv, n.d.

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models.”https://doi.org/10.1142/S0129054111008441__IJFCS: International Journal of Foundations of Computer Science. World Scientific Publishing, 2011.https://doi.org/10.1142/S0129054111008441 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness.”https://doi.org/10.2168/LMCS-7(4:8)2011__Logical Methods in Computer Science. International Federation of Computational Logic, 2011.https://doi.org/10.2168/LMCS-7(4:8)2011 .

Boker, Udi, and Thomas A Henzinger. “Determinizing Discounted-Sum Automata,”https://doi.org/10.4230/LIPIcs.CSL.2011.82__12:82–96. Springer, 2011.https://doi.org/10.4230/LIPIcs.CSL.2011.82 .

Cerny, Pavol, Krishnendu Chatterjee, and Thomas A Henzinger. “The Complexity of Quantitative Information Flow Problems,”https://doi.org/10.1109/CSF.2011.21__205–17. IEEE, 2011.https://doi.org/10.1109/CSF.2011.21 .

Henzinger, Thomas A, Vasu Singh, Thomas Wies, and Damien Zufferey. “Scheduling Large Jobs by Abstraction Refinement,”https://doi.org/10.1145/1966445.1966476__329–42. ACM, 2011.https://doi.org/10.1145/1966445.1966476 .

Cerny, Pavol, and Thomas A Henzinger. “From Boolean to Quantitative Synthesis,”https://doi.org/10.1145/2038642.2038666__149–54. ACM, 2011.https://doi.org/10.1145/2038642.2038666 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “The Complexity of Request-Response Games.”https://doi.org/10.1007/978-3-642-21254-3_17__edited by Adrian-Horia Dediu, Shunsuke Inenaga, and Carlos Martín-Vide, 6638:227–37. Springer, 2011.https://doi.org/10.1007/978-3-642-21254-3_17 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes.”https://doi.org/10.1016/j.tcs.2010.10.022__Theoretical Computer Science. Elsevier, 2011.https://doi.org/10.1016/j.tcs.2010.10.022 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Verification of STM on Relaxed Memory Models.”https://doi.org/10.1007/s10703-011-0131-3__Formal Methods in System Design. Springer, 2011.https://doi.org/10.1007/s10703-011-0131-3 .

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. “Temporal Specifications with Accumulative Values.”https://doi.org/10.1109/LICS.2011.33__IEEE, 2011.https://doi.org/10.1109/LICS.2011.33 .

Boker, Udi, Krishnendu Chatterjee, Thomas A Henzinger, and Orna Kupferman. Temporal Specifications with Accumulative Values. IST Austria, 2011.https://doi.org/10.15479/AT:IST-2011-0003 .

Cerny, Pavol, Krishnendu Chatterjee, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. “Quantitative Synthesis for Concurrent Programs.”https://doi.org/10.1007/978-3-642-22110-1_20__edited by Ganesh Gopalakrishnan and Shaz Qadeer, 6806:243–59. Springer, 2011.https://doi.org/10.1007/978-3-642-22110-1_20 .

Blanc, Régis, Thomas A Henzinger, Thibaud Hottelier, and Laura Kovács. “ABC: Algebraic Bound Computation for Loops.”https://doi.org/10.1007/978-3-642-17511-4_7__In Logic for Programming, Artificial Intelligence, and Reasoning, edited by Edmund M Clarke and Andrei Voronkov, 6355:103–18. LNCS. Berlin, Heidelberg: Springer Nature, 2010.https://doi.org/10.1007/978-3-642-17511-4_7 .

Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “SABRE: A Tool for the Stochastic Analysis of Biochemical Reaction Networks,”https://doi.org/10.1109/QEST.2010.33__193–94. IEEE, 2010.https://doi.org/10.1109/QEST.2010.33 .

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrey Rybalchenko. “Aligators for Arrays,”https://doi.org/10.1007/978-3-642-16242-8_25__6397:348–56. Springer, 2010.https://doi.org/10.1007/978-3-642-16242-8_25 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation.”https://doi.org/10.1049/iet-syb.2010.0005__IET Systems Biology. Institution of Engineering and Technology, 2010.https://doi.org/10.1049/iet-syb.2010.0005 .

Chatterjee, Krishnendu, Laurent Doyen, Hugo Gimbert, and Thomas A Henzinger. “Randomness for Free,”https://doi.org/10.1007/978-3-642-15155-2_23__6281:246–57. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_23 .

Chatterjee, Krishnendu, and Thomas A Henzinger, eds. Formal Modeling and Analysis of Timed Systems. Vol. 6246. Springer, 2010.https://doi.org/10.1007/978-3-642-15297-9 .

Bloem, Roderick, Krishnendu Chatterjee, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Robustness in the Presence of Liveness.”https://doi.org/10.1007/978-3-642-14295-6_36__edited by Tayssir Touili, Byron Cook, and Paul Jackson, 6174:410–24. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_36 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Model Checking Transactional Memories.”https://doi.org/10.1007/s00446-009-0092-6__Distributed Computing. Springer, 2010.https://doi.org/10.1007/s00446-009-0092-6 .

Wolf, Verena, Rushil Goel, Maria Mateescu, and Thomas A Henzinger. “Solving the Chemical Master Equation Using Sliding Windows.”https://doi.org/10.1186/1752-0509-4-42__BMC Systems Biology. BioMed Central, 2010.https://doi.org/10.1186/1752-0509-4-42 .

Henzinger, Thomas A. “From Boolean to Quantitative Notions of Correctness,”https://doi.org/10.1145/1706299.1706319__45:157–58. ACM, 2010.https://doi.org/10.1145/1706299.1706319 .

Henzinger, Thomas A, Thibaud Hottelier, Laura Kovács, and Andrei Voronkov. “Invariant and Type Inference for Matrices,”https://doi.org/10.1007/978-3-642-11319-2_14__5944:163–79. Springer, 2010.https://doi.org/10.1007/978-3-642-11319-2_14 .

Henzinger, Thomas A, Maria Mateescu, Linar Mikeev, and Verena Wolf. “Hybrid Numerical Solution of the Chemical Master Equation,”https://doi.org/10.1145/1839764.1839772__55–65. Springer, 2010.https://doi.org/10.1145/1839764.1839772 .

Chatterjee, Krishnendu, Laurent Doyen, Herbert Edelsbrunner, Thomas A Henzinger, and Philippe Rannou. “Mean-Payoff Automaton Expressions,”https://doi.org/10.1007/978-3-642-15375-4_19__6269:269–83. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_19 .

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Generalized Mean-Payoff and Energy Games,”https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505__8:505–16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.4230/LIPIcs.FSTTCS.2010.505 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages.”https://doi.org/10.1145/1805950.1805953__ACM Transactions on Computational Logic (TOCL). ACM, 2010.https://doi.org/10.1145/1805950.1805953 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Rohit Singh. “Measuring and Synthesizing Systems in Probabilistic Environments,”https://doi.org/10.1007/978-3-642-14295-6_34__6174:380–95. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_34 .

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Strategy Construction for Parity Games with Imperfect Information.”https://doi.org/10.1016/j.ic.2009.09.006__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.09.006 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic.”https://doi.org/10.1016/j.ic.2009.07.004__Information and Computation. Elsevier, 2010.https://doi.org/10.1016/j.ic.2009.07.004 .

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment,”https://doi.org/10.1109/CLOUD.2010.71__83–90. IEEE, 2010.https://doi.org/10.1109/CLOUD.2010.71 .

Guerraoui, Rachid, Thomas A Henzinger, Michal Kapalka, and Vasu Singh. “Transactions in the Jungle,”https://doi.org/10.1145/1810479.1810529__263–72. ACM, 2010.https://doi.org/10.1145/1810479.1810529 .

Henzinger, Thomas A, Anmol Tomar, Vasu Singh, Thomas Wies, and Damien Zufferey. “A Marketplace for Cloud Resources,”https://doi.org/10.1145/1879021.1879022__1–8. ACM, 2010.https://doi.org/10.1145/1879021.1879022 .

Doyen, Laurent, Thomas A Henzinger, Axel Legay, and Dejan Nickovic. “Robustness of Sequential Circuits,”https://doi.org/10.1109/ACSD.2010.26__77–84. IEEE, 2010.https://doi.org/10.1109/ACSD.2010.26 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Quantitative Simulation Games.”https://doi.org/10.1007/978-3-642-13754-9_3__In Time For Verification: Essays in Memory of Amir Pnueli, edited by Zohar Manna and Doron Peled, 6200:42–60. Essays in Memory of Amir Pnueli. Springer, 2010.https://doi.org/10.1007/978-3-642-13754-9_3 .

Beyer, Dirk, Thomas A Henzinger, Grégory Théoduloz, and Damien Zufferey. “Shape Refinement through Explicit Heap Analysis.”https://doi.org/10.1007/978-3-642-12029-9_19__edited by David Rosenblum and Gabriele Taenzer, 6013:263–77. Springer, 2010.https://doi.org/10.1007/978-3-642-12029-9_19 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages.”https://doi.org/10.2168/LMCS-6(3:10)2010__Logical Methods in Computer Science. International Federation of Computational Logic, 2010.https://doi.org/10.2168/LMCS-6(3:10)2010 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. “Simulation Distances,”https://doi.org/10.1007/978-3-642-15375-4_18__6269:235–68. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010.https://doi.org/10.1007/978-3-642-15375-4_18 .

Chatterjee, Krishnendu, Pavol Cerny, Thomas A Henzinger, Arjun Radhakrishna, and Rohit Singh. Quantitative Synthesis for Concurrent Programs. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0004 .

Cerny, Pavol, Thomas A Henzinger, and Arjun Radhakrishna. Simulation Distances. IST Austria, 2010.https://doi.org/10.15479/AT:IST-2010-0003 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. “GIST: A Solver for Probabilistic Games,”https://doi.org/10.1007/978-3-642-14295-6_57__6174:665–69. Springer, 2010.https://doi.org/10.1007/978-3-642-14295-6_57 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Automata on Infinite Words: Decidability and Undecidability Results,”https://doi.org/10.1007/978-3-642-15643-4_1__6252:1–16. Springer, 2010.https://doi.org/10.1007/978-3-642-15643-4_1 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Qualitative Analysis of Partially-Observable Markov Decision Processes,”https://doi.org/10.1007/978-3-642-15155-2_24__6281:258–69. Springer, 2010.https://doi.org/10.1007/978-3-642-15155-2_24 .

Wies, Thomas, Damien Zufferey, and Thomas A Henzinger. “Forward Analysis of Depth-Bounded Processes.”https://doi.org/10.1007/978-3-642-12032-9_8__edited by Luke Ong, 6014:94–108. Springer, 2010.https://doi.org/10.1007/978-3-642-12032-9_8 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Probabilistic Systems with Limsup and Liminf Objectives,”https://doi.org/10.1007/978-3-642-03092-5_4__5489:32–45. Springer, 2009.https://doi.org/10.1007/978-3-642-03092-5_4 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Fast Adaptive Uniformization of the Chemical Master Equation,”https://doi.org/10.1109/HiBi.2009.23__4:118–27. IEEE, 2009.https://doi.org/10.1109/HiBi.2009.23 .

Henzinger, Thomas A, Barbara Jobstmann, and Verena Wolf. “Formalisms for Specifying Markovian Population Models,”https://doi.org/10.1007/978-3-642-04420-5_2__5797:3–23. Springer, 2009.https://doi.org/10.1007/978-3-642-04420-5_2 .

Henzinger, Thomas A, Christoph Kirsch, Eduardo Marques, and Ana Sokolova. “Distributed, Modular HTL,”https://doi.org/10.1109/RTSS.2009.9__171–80. IEEE, 2009.https://doi.org/10.1109/RTSS.2009.9 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Probabilistic Weighted Automata,”https://doi.org/10.1007/978-3-642-04081-8_17__5710:244–58. Springer, 2009.https://doi.org/10.1007/978-3-642-04081-8_17 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Finitary Winning in Omega-Regular Games.”https://doi.org/10.1145/1614431.1614432__ACM Transactions on Computational Logic (TOCL). ACM, 2009.https://doi.org/10.1145/1614431.1614432 .

Tripakis, Stavros, Ben Lickly, Thomas A Henzinger, and Edward Lee. “On Relational Interfaces.”https://doi.org/10.1145/1629335.1629346__In EMSOFT ’09 Proceedings of the Seventh ACM International Conference on Embedded Software, 67–76. ACM, 2009.https://doi.org/10.1145/1629335.1629346 .

Bloem, Roderick, Karin Greimel, Thomas A Henzinger, and Barbara Jobstmann. “Synthesizing Robust Systems,”https://doi.org/10.1109/FMCAD.2009.5351139__85–92. Springer, 2009.https://doi.org/10.1109/FMCAD.2009.5351139 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Software Transactional Memory on Relaxed Memory Models,”https://doi.org/10.1007/978-3-642-02658-4_26__5643:321–36. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_26 .

Henzinger, Thomas A, Maria Mateescu, and Verena Wolf. “Sliding-Window Abstraction for Infinite Markov Chains,”https://doi.org/10.1007/978-3-642-02658-4_27__5643:337–52. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_27 .

Didier, Frédéric, Thomas A Henzinger, Maria Mateescu, and Verena Wolf. “Approximation of Event Probabilities in Noisy Cellular Processes,”https://doi.org/10.1007/978-3-642-03845-7_12__5688:173–88. Springer, 2009.https://doi.org/10.1007/978-3-642-03845-7_12 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Alternating Weighted Automata,”https://doi.org/10.1007/978-3-642-03409-1_2__5699:3–13. Springer, 2009.https://doi.org/10.1007/978-3-642-03409-1_2 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “A Survey of Stochastic Games with Limsup and Liminf Objectives,”https://doi.org/10.1007/978-3-642-02930-1_1__5556:1–15. Springer, 2009.https://doi.org/10.1007/978-3-642-02930-1_1 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. “Stochastic Games with Finitary Objectives,”https://doi.org/10.1007/978-3-642-03816-7_4__5734:34–54. Springer, 2009.https://doi.org/10.1007/978-3-642-03816-7_4 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Termination Criteria for Solving Concurrent Safety and Reachability Games,”https://doi.org/10.1137/1.9781611973068.23__197–206. SIAM, 2009.https://doi.org/10.1137/1.9781611973068.23 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Expressiveness and Closure Properties for Quantitative Languages,”https://doi.org/10.1109/LICS.2009.16__199–208. IEEE, 2009.https://doi.org/10.1109/LICS.2009.16 .

Bloem, Roderick, Krishnendu Chatterjee, Thomas A Henzinger, and Barbara Jobstmann. “Better Quality in Synthesis through Quantitative Objectives,”https://doi.org/10.1007/978-3-642-02658-4_14__5643:140–56. Springer, 2009.https://doi.org/10.1007/978-3-642-02658-4_14 .

Berwanger, Dietmar, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, and Thomas A Henzinger. “Alpaga: A Tool for Solving Parity Games with Imperfect Information,”https://doi.org/10.1007/978-3-642-00768-2_7__5505:58–61. Springer, 2009.https://doi.org/10.1007/978-3-642-00768-2_7 .

Chatterjee, Krishnendu, Thomas A Henzinger, Barbara Jobstmann, and Arjun Radhakrishna. Gist: A Solver for Probabilistic Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0003 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Florian Horn. Improved Lower Bounds for Request-Response and Finitary Streett Games. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0002 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. Qualitative Analysis of Partially-Observable Markov Decision Processes. IST Austria, 2009.https://doi.org/10.15479/AT:IST-2009-0001 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Koushik Sen. “Model-Checking Omega-Regular Properties of Interval Markov Chains,”https://doi.org/10.1007/978-3-540-78499-9_22__4962:302–17. Springer, 2008.https://doi.org/10.1007/978-3-540-78499-9_22 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Controller Synthesis with Budget Constraints,”https://doi.org/DOI: 10.1007/978-3-540-78929-1_6__4981:72–86. Springer, 2008.https://doi.org/DOI: 10.1007/978-3-540-78929-1_6 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Timed Parity Games: Complexity and Robustness,”https://doi.org/10.1007/978-3-540-85778-5_10__5215:124–40. Springer, 2008.https://doi.org/10.1007/978-3-540-85778-5_10 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Barbara Jobstmann. “Environment Assumptions for Synthesis,”https://doi.org/10.1007/978-3-540-85361-9_14__5201:147–61. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9_14 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Vinayak Prabhu. “Trading Infinite Memory for Uniform Randomness in Timed Games,”https://doi.org/10.1007/978-3-540-78929-1_7__4981:87–100. Springer, 2008.https://doi.org/10.1007/978-3-540-78929-1_7 .

Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages,”https://doi.org/10.1007/978-3-540-87531-4_28__5213:385–400. Springer, 2008.https://doi.org/10.1007/978-3-540-87531-4_28 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Value Iteration.”https://doi.org/10.1007/978-3-540-69850-0_7__In 25 Years in Model Checking, 5000:107–38. Springer, 2008.https://doi.org/10.1007/978-3-540-69850-0_7 .

Berwanger, Dietmar, Krishnendu Chatterjee, Laurent Doyen, Thomas A Henzinger, and Sangram Raje. “Strategy Construction for Parity Games with Imperfect Information,”https://doi.org/10.1007/978-3-540-85361-9__5201:325–39. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9 .

Guerraoui, Rachid, Thomas A Henzinger, Barbara Jobstmann, and Vasu Singh. “Model Checking Transactional Memories,”https://doi.org/10.1145/1375581.1375626__372–82. ACM, 2008.https://doi.org/10.1145/1375581.1375626 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Permissiveness in Transactional Memories,”https://doi.org/10.1007/978-3-540-87779-0_21__5218:305–19. Springer, 2008.https://doi.org/10.1007/978-3-540-87779-0_21 .

Guerraoui, Rachid, Thomas A Henzinger, and Vasu Singh. “Completeness and Nondeterminism in Model Checking Transactional Memories,”https://doi.org/10.1007/978-3-540-85361-9_6__5201:21–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2008.https://doi.org/10.1007/978-3-540-85361-9_6 .

Henzinger, Thomas A, Thibaud Hottelier, and Laura Kovács. “Valigator: A Verification Tool with Bound and Invariant Generation,”https://doi.org/10.1007/978-3-540-89439-1_24__5330:333–42. Springer, 2008.https://doi.org/10.1007/978-3-540-89439-1_24 .

Henzinger, Thomas A. “Two Challenges in Embedded Systems Design: Predictability and Robustness.”https://doi.org/10.1098/rsta.2008.0141__Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences. Royal Society of London, 2008.https://doi.org/10.1098/rsta.2008.0141 .

Gupta, Ashutosh, Thomas A Henzinger, Ritankar Majumdar, Andrey Rybalchenko, and Ru Xu. “Proving Non-Termination,”https://doi.org/10.1145/1328438.1328459__147–58. ACM, 2008.https://doi.org/10.1145/1328438.1328459 .

Fisher, Jasmin, Thomas A Henzinger, Maria Mateescu, and Nir Piterman. “Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions,”https://doi.org/10.1007/978-3-540-68413-8_2__5054:17–32. Springer, 2008.https://doi.org/10.1007/978-3-540-68413-8_2 .

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Equivalence of Labeled Markov Chains.”https://doi.org/10.1142/S0129054108005814 __International Journal of Foundations of Computer Science. World Scientific Publishing, 2008.https://doi.org/10.1142/S0129054108005814  .

Doyen, Laurent, Thomas A Henzinger, Barbara Jobstmann, and Tatjana Petrov. “Interface Theories with Component Reuse,”https://doi.org/10.1145/1450058.1450070__79–88. ACM, 2008.https://doi.org/10.1145/1450058.1450070 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Reduction of Stochastic Parity to Stochastic Mean-Payoff Games.”https://doi.org/10.1016/j.ipl.2007.08.035__Information Processing Letters. Elsevier, 2008.https://doi.org/10.1016/j.ipl.2007.08.035 .

Chatterjee, Krishnendu, Arkadeb Ghosal, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, Claudio Pinello, and Alberto Sangiovanni Vincentelli. “Logical Reliability of Interacting Real-Time Tasks,”https://doi.org/10.1145/1403375.1403595__909–14. IEEE, 2008.https://doi.org/10.1145/1403375.1403595 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Stochastic Limit-Average Games Are in EXPTIME.”https://doi.org/10.1007/s00182-007-0110-5__International Journal of Game Theory. Springer, 2008.https://doi.org/10.1007/s00182-007-0110-5 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Program Analysis with Dynamic Change of Precision,”https://doi.org/10.1109/ASE.2008.13__29–38. ACM, 2008.https://doi.org/10.1109/ASE.2008.13 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Generalized Parity Games,”https://doi.org/10.1007/978-3-540-71389-0_12__4423:153–67. Springer, 2007.https://doi.org/10.1007/978-3-540-71389-0_12 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Strategy Logic,”https://doi.org/10.1007/978-3-540-74407-8_5__4703:59–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2007.https://doi.org/10.1007/978-3-540-74407-8_5 .

Beyer, Dirk, Thomas A Henzinger, and Vasu Singh. “Algorithms for Interface Synthesis,”https://doi.org/10.1007/978-3-540-73368-3_4__4590:4–19. Springer, 2007.https://doi.org/10.1007/978-3-540-73368-3_4 .

Schaub, Marc, Thomas A Henzinger, and Jasmin Fisher. “Qualitative Networks: A Symbolic Approach to Analyze Biological Signaling Networks.”https://doi.org/10.1186/1752-0509-1-4__BMC Systems Biology. BioMed Central, 2007.https://doi.org/10.1186/1752-0509-1-4 .

Manevich, Roman, John Field, Thomas A Henzinger, Ganesan Ramalingam, and Mooly Sagiv. “Abstract Counterexample-Based Refinement for Powerset Domains.”https://doi.org/10.1007/978-3-540-71322-7_13__In Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, 4444:273–92. Springer, 2007.https://doi.org/10.1007/978-3-540-71322-7_13 .

Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/1286821.1286824__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2007.https://doi.org/10.1145/1286821.1286824 .

Henzinger, Thomas A. “Games, Time, and Probability: Graph Models for System Design and Analysis,”https://doi.org/10.1007/978-3-540-69507-3_7__4362:103–10. Springer, 2007.https://doi.org/10.1007/978-3-540-69507-3_7 .

Henzinger, Thomas A. “Quantitative Generalizations of Languages,”https://doi.org/10.1007/978-3-540-73208-2_2__4588:20–22. Springer, 2007.https://doi.org/10.1007/978-3-540-73208-2_2 .

Fisher, Jasmin, Nir Piterman, Alex Hajnal, and Thomas A Henzinger. “Predictive Modeling of Signaling Crosstalk during C. Elegans Vulval Development.”https://doi.org/10.1371/journal.pcbi.0030092__PLoS Computational Biology. Public Library of Science, 2007.https://doi.org/10.1371/journal.pcbi.0030092 .

Fisher, Jasmin, and Thomas A Henzinger. “Executable Cell Biology.”https://doi.org/10.1038/nbt1356__Nature Biotechnology. Nature Publishing Group, 2007.https://doi.org/10.1038/nbt1356 .

Duparc, Jacques, and Thomas A Henzinger. CSL: Computer Science Logic . CSL: Computer Science Logic. Vol. 4646. Springer, 2007.https://doi.org/10.1007/978-3-540-74915-8 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Assume-Guarantee Synthesis,”https://doi.org/10.1007/978-3-540-71209-1_21__4424:261–75. Springer, 2007.https://doi.org/10.1007/978-3-540-71209-1_21 .

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information.”https://doi.org/10.2168/LMCS-3(3:4)2007__Logical Methods in Computer Science. International Federation of Computational Logic, 2007.https://doi.org/10.2168/LMCS-3(3:4)2007 .

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The Software Model Checker BLAST: Applications to Software Engineering.”https://doi.org/10.1007/s10009-007-0044-z__International Journal on Software Tools for Technology Transfer. Springer, 2007.https://doi.org/10.1007/s10009-007-0044-z .

Brihaye, Thomas, Thomas A Henzinger, Vinayak Prabhu, and Jean Raskin. “Minimum-Time Reachability in Timed Games,”https://doi.org/10.1007/978-3-540-73420-8_71__4596:825–37. Springer, 2007.https://doi.org/10.1007/978-3-540-73420-8_71 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis,”https://doi.org/10.1007/978-3-540-73368-3_51__4590:504–18. Springer, 2007.https://doi.org/10.1007/978-3-540-73368-3_51 .

Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Invariant Synthesis for Combined Theories,”https://doi.org/10.1007/978-3-540-69738-1_27__4349:378–94. Springer, 2007.https://doi.org/10.1007/978-3-540-69738-1_27 .

Beyer, Dirk, Thomas A Henzinger, Ritankar Majumdar, and Andrey Rybalchenko. “Path Invariants,”https://doi.org/10.1145/1250734.1250769__300–309. ACM, 2007.https://doi.org/10.1145/1250734.1250769 .

Beyer, Dirk, Arindam Chakrabarti, Thomas A Henzinger, and Sanjit Seshia. “An Application of Web-Service Interfaces,”https://doi.org/10.1109/ICWS.2007.32 __831–38. IEEE, 2007.https://doi.org/10.1109/ICWS.2007.32  .

De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.”https://doi.org/10.1016/j.tcs.2007.07.008__Theoretical Computer Science. Elsevier, 2007.https://doi.org/10.1016/j.tcs.2007.07.008 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Nir Piterman. “Algorithms for Büchi Games.” ACM, 2006.

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Quantitative Concurrent Parity Games,”https://doi.org/10.1145/1109557.1109631__678–87. SIAM, 2006.https://doi.org/10.1145/1109557.1109631 .

Chatterjee, Krishnendu, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Algorithms for Omega-Regular Games with Imperfect Information,”https://doi.org/10.1007/11874683_19__4207:287–302. Springer, 2006.https://doi.org/10.1007/11874683_19 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement for Stochastic Rabin and Streett Games,”https://doi.org/10.1007/11817949_25__4137:375–89. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006.https://doi.org/10.1007/11817949_25 .

De Wulf, Martin, Laurent Doyen, Thomas A Henzinger, and Jean Raskin. “Antichains: A New Algorithm for Checking Universality of Finite Automata,”https://doi.org/10.1007/11817963_5__4144:17–30. Springer, 2006.https://doi.org/10.1007/11817963_5 .

Henzinger, Thomas A, and Nir Piterman. “Solving Games without Determinization,”https://doi.org/10.1007/11874683_26__4207:395–410. Springer, 2006.https://doi.org/10.1007/11874683_26 .

Henzinger, Thomas A, and Slobodan Matic. “An Interface Algebra for Real-Time Components,”https://doi.org/10.1109/RTAS.2006.11__253–66. IEEE, 2006.https://doi.org/10.1109/RTAS.2006.11 .

Henzinger, Thomas A, and Vinayak Prabhu. “Timed Alternating-Time Temporal Logic,”https://doi.org/10.1007/11867340_1__4202:1–17. Springer, 2006.https://doi.org/10.1007/11867340_1 .

Henzinger, Thomas A, and Joseph Sifakis. “The Embedded Systems Design Challenge,”https://doi.org/10.1007/11813040_1__4085:1–15. Springer, 2006.https://doi.org/10.1007/11813040_1 .

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1016/j.tcs.2005.11.015__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2005.11.015 .

Gulavani, Bhargav, Thomas A Henzinger, Yamini Kannan, Aditya Nori, and Sriram Rajamani. “Synergy: A New Algorithm for Property Checking,”https://doi.org/10.1145/1181775.1181790__117–27. ACM, 2006.https://doi.org/10.1145/1181775.1181790 .

Ghosal, Arkadeb, Thomas A Henzinger, Daniel Iercan, Christoph Kirsch, and Alberto Sangiovanni Vincentelli. “A Hierarchical Coordination Language for Interacting Real-Time Tasks,”https://doi.org/10.1145/1176887.1176907__132–41. ACM, 2006.https://doi.org/10.1145/1176887.1176907 .

Fisher, Jasmin, and Thomas A Henzinger. “Executable Biology,”https://doi.org/10.1109/WSC.2006.322942__1675–82. IEEE, 2006.https://doi.org/10.1109/WSC.2006.322942 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Finitary Winning in Omega-Regular Games,”https://doi.org/10.1007/11691372_17__3920:257–71. Springer, 2006.https://doi.org/10.1007/11691372_17 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games,”https://doi.org/10.1007/11672142_42__3884:512–23. Springer, 2006.https://doi.org/10.1007/11672142_42 .

Chatterjee, Krishnendu, Ritankar Majumdar, and Thomas A Henzinger. “Markov Decision Processes with Multiple Objectives,”https://doi.org/10.1007/11672142_26__3884:325–36. Springer, 2006.https://doi.org/10.1007/11672142_26 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria.”https://doi.org/10.1016/j.tcs.2006.07.032__Theoretical Computer Science. Elsevier, 2006.https://doi.org/10.1016/j.tcs.2006.07.032 .

Chatterjee, Krishnendu, Luca De Alfaro, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Compositional Quantitative Reasoning,”https://doi.org/10.1109/QEST.2006.11__179–88. IEEE, 2006.https://doi.org/10.1109/QEST.2006.11 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Strategy Improvement for Concurrent Reachability Games,”https://doi.org/10.1109/QEST.2006.48__291–300. IEEE, 2006.https://doi.org/10.1109/QEST.2006.48 .

Beyer, Dirk, Thomas A Henzinger, and Grégory Théoduloz. “Lazy Shape Analysis,”https://doi.org/10.1007/11817963_48__4144:532–46. Springer, 2006.https://doi.org/10.1007/11817963_48 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria,”https://doi.org/10.1007/11561163_7__3657:141–61. Springer, 2005.https://doi.org/10.1007/11561163_7 .

Matic, Slobodan, and Thomas A Henzinger. “Trading End-to-End Latency for Composability,”https://doi.org/10.1109/RTSS.2005.43__99–110. IEEE, 2005.https://doi.org/10.1109/RTSS.2005.43 .

Kirsch, Christoph, Marco Sanvido, and Thomas A Henzinger. “A Programmable Microkernel for Real-Time Systems,”https://doi.org/10.1145/1064979.1064986__35–45. ACM, 2005.https://doi.org/10.1145/1064979.1064986 .

Henzinger, Thomas A, Ritankar Majumdar, and Jean Raskin. “A Classification of Symbolic Transition Systems.”https://doi.org/10.1145/1042038.1042039__ACM Transactions on Computational Logic (TOCL). ACM, 2005.https://doi.org/10.1145/1042038.1042039 .

Henzinger, Thomas A, Ritankar Majumdar, and Vinayak Prabhu. “Quantifying Similarities between Timed Systems,”https://doi.org/10.1007/11603009_18__3829:226–41. Springer, 2005.https://doi.org/10.1007/11603009_18 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Permissive Interfaces,”https://doi.org/10.1145/1081706.1081713__31–40. ACM, 2005.https://doi.org/10.1145/1081706.1081713 .

Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Composable Code Generation for Distributed Giotto,”https://doi.org/10.1145/1065910.1065914__21–30. ACM, 2005.https://doi.org/10.1145/1065910.1065914 .

Doyen, Laurent, Thomas A Henzinger, and Jean Raskin. “Automatic Rectangular Refinement of Affine Hybrid Systems,”https://doi.org/DOI: 10.1007/11603009_13__3829:144–61. Springer, 2005.https://doi.org/DOI: 10.1007/11603009_13 .

Chatterjee, Krishnendu, and Thomas A Henzinger. “Semiperfect-Information Games,”https://doi.org/10.1007/11590156_1__3821:1–18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2005.https://doi.org/10.1007/11590156_1 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “The Complexity of Stochastic Rabin and Streett Games,”https://doi.org/10.1007/11523468_71__3580:878–90. Springer, 2005.https://doi.org/10.1007/11523468_71 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Mean-Payoff Parity Games,”https://doi.org/10.1109/LICS.2005.26__178–87. IEEE, 2005.https://doi.org/10.1109/LICS.2005.26 .

Chakrabarti, Arindam, Krishnendu Chatterjee, Thomas A Henzinger, Orna Kupferman, and Ritankar Majumdar. “Verifying Quantitative Properties Using Bound Functions,”https://doi.org/10.1007/11560548_7__3725:50–64. Springer, 2005.https://doi.org/10.1007/11560548_7 .

Chatterjee, Krishnendu, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Planning,” 104–11. AUAI Press, 2005.

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Checking Memory Safety with BLAST,”https://doi.org/10.1007/978-3-540-31984-9_2__3442:2–18. Springer, 2005.https://doi.org/10.1007/978-3-540-31984-9_2 .

Beyer, Dirk, Arindam Chakrabarti, and Thomas A Henzinger. “Web Service Interfaces,”https://doi.org/10.1145/1060745.1060770__148–59. ACM, 2005.https://doi.org/10.1145/1060745.1060770 .

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties.”https://doi.org/10.1016/j.tcs.2005.07.033__Theoretical Computer Science. Elsevier, 2005.https://doi.org/10.1016/j.tcs.2005.07.033 .

De Alfaro, Luca, and Thomas A Henzinger. “Interface-Based Design,”https://doi.org/10.1007/1-4020-3532-2_3__195:83–104. Springer, 2005.https://doi.org/10.1007/1-4020-3532-2_3 .

Chatterjee, Krishnendu, Thomas A Henzinger, and Marcin Jurdziski. “Games with Secure Equilibria,”https://doi.org/10.1109/LICS.2004.1319610__160–69. IEEE, 2004.https://doi.org/10.1109/LICS.2004.1319610 .

Henzinger, Thomas A, and Christoph Kirsch. “A Typed Assembly Language for Real-Time Programs,”https://doi.org/10.1145/1017753.1017774__104–13. ACM, 2004.https://doi.org/10.1145/1017753.1017774 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Kenneth Mcmillan. “Abstractions from Proofs,”https://doi.org/10.1145/964001.964021__232–44. ACM, 2004.https://doi.org/10.1145/964001.964021 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Marco Sanvido. “Extreme Model Checking.”https://doi.org/10.1007/978-3-540-39910-0_16__In Verification: Theory and Practice, 2772:332–58. Springer, 2004.https://doi.org/10.1007/978-3-540-39910-0_16 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Race Checking by Context Inference,”https://doi.org/10.1145/996841.996844__1–13. ACM, 2004.https://doi.org/10.1145/996841.996844 .

Ghosal, Arkadeb, Thomas A Henzinger, Christoph Kirsch, and Marco Sanvido. “Event-Driven Programming with Logical Execution Times,”https://doi.org/10.1007/978-3-540-24743-2_24__2993:167–70. Springer, 2004.https://doi.org/10.1007/978-3-540-24743-2_24 .

Chatterjee, Krishnendu, Luca De Alfaro, and Thomas A Henzinger. “Trading Memory for Randomness,”https://doi.org/10.1109/QEST.2004.10051__206–17. IEEE, 2004.https://doi.org/10.1109/QEST.2004.10051 .

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Quantitative Stochastic Parity Games,” 121–30. SIAM, 2004.

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs.”https://doi.org/10.1016/j.ic.2004.06.001__Information and Computation. Elsevier, 2004.https://doi.org/10.1016/j.ic.2004.06.001 .

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “The BLAST Query Language for Software Verification,”https://doi.org/10.1007/978-3-540-27864-1_2__3148:2–18. Springer, 2004.https://doi.org/10.1007/978-3-540-27864-1_2 .

Beyer, Dirk, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “An Eclipse Plug-in for Model Checking,”https://doi.org/10.1109/WPC.2004.1311069Â  __251–55. IEEE, 2004.https://doi.org/10.1109/WPC.2004.1311069Â   .

Beyer, Dirk, Adam Chlipala, Thomas A Henzinger, Ranjit Jhala, and Ritankar Majumdar. “Generating Tests from Counterexamples,”https://doi.org/10.1109/ICSE.2004.1317455__326–35. IEEE, 2004.https://doi.org/10.1109/ICSE.2004.1317455 .

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “Model Checking Discounted Temporal Properties,”https://doi.org/10.1007/978-3-540-24730-2_6__2988:77–92. Springer, 2004.https://doi.org/10.1007/978-3-540-24730-2_6 .

Chatterjee, Krishnendu, Marcin Jurdziski, and Thomas A Henzinger. “Simple Stochastic Parity Games,”https://doi.org/10.1007/978-3-540-45220-1_11__2803:100–113. Springer, 2003.https://doi.org/10.1007/978-3-540-45220-1_11 .

Chatterjee, Krishnendu, Di Ma, Ritankar Majumdar, Tian Zhao, Thomas A Henzinger, and Jens Palsberg. “Stack Size Analysis for Interrupt-Driven Programs,”https://doi.org/10.1007/3-540-44898-5_7__2694:109–26. Springer, 2003.https://doi.org/10.1007/3-540-44898-5_7 .

De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Discounting the Future in Systems Theory.”https://doi.org/10.1007/3-540-45061-0_79__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:1022–37. Springer, 2003.https://doi.org/10.1007/3-540-45061-0_79 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Mariëlle Stoelinga. “Resource Interfaces.”https://doi.org/10.1007/978-3-540-45212-6_9__In Third International Conference on Embedded Software, 2855:117–33. ACM, 2003.https://doi.org/10.1007/978-3-540-45212-6_9 .

De Alfaro, Luca, Marco Faella, Thomas A Henzinger, Ritankar Majumdar, and Mariëlle Stoelinga. “The Element of Surprise in Timed Games.”https://doi.org/10.1007/978-3-540-45187-7_9__In Proceedings of the 14th International Conference on Concurrency Theory, 2761:144–58. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2003.https://doi.org/10.1007/978-3-540-45187-7_9 .

Henzinger, Thomas A, Christoph Kirsch, Marco Sanvido, and Wolfgang Pree. “From Control Models to Real-Time Code Using Giotto.”https://doi.org/10.1109/MCS.2003.1172829__IEEE Control Systems Magazine. IEEE, 2003.https://doi.org/10.1109/MCS.2003.1172829 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.”https://doi.org/10.1002/047172288X.ch8__In Software-Enabled Control: Information Technology for Dynamical Systems, 123–46. Wiley-Blackwell, 2003.https://doi.org/10.1002/047172288X.ch8 .

Henzinger, Thomas A, Orna Kupferman, and Ritankar Majumdar. “On the Universal and Existential Fragments of the Mu-Calculus.”https://doi.org/10.1007/3-540-36577-X_5__In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , 2619:49–64. Springer, 2003.https://doi.org/10.1007/3-540-36577-X_5 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Software Verification with BLAST.”https://doi.org/10.1007/3-540-44829-2_17__In Proceedings of the 10th International SPIN Workshop , 2648:235–39. Springer, 2003.https://doi.org/10.1007/3-540-44829-2_17 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Shaz Qadeer. “Thread-Modular Abstraction Refinement.”https://doi.org/10.1007/978-3-540-45069-6_27__In Proceedings of the 15th International Conference on Computer Aided Verification, 2725:262–74. Springer, 2003.https://doi.org/10.1007/978-3-540-45069-6_27 .

Henzinger, Thomas A, Ranjit Jhala, and Ritankar Majumdar. “Counterexample-Guided Control.”https://doi.org/10.1007/3-540-45061-0_69__In Proceedings of the 30th International Colloquium on Automata, Languages and Programming, 2719:886–902. Springer, 2003.https://doi.org/10.1007/3-540-45061-0_69 .

Henzinger, Thomas A, Christoph Kirsch, and Slobodan Matic. “Schedule-Carrying Code.”https://doi.org/10.1007/978-3-540-45212-6_16__In Proceedings of the 3rd International Conference on Embedded Software, 2855:241–56. ACM, 2003.https://doi.org/10.1007/978-3-540-45212-6_16 .

Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.”https://doi.org/10.1023/A:1026228213080__Formal Methods in System Design. Springer, 2003.https://doi.org/10.1023/A:1026228213080 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.”https://doi.org/10.1109/JPROC.2002.805825__Proceedings of the IEEE. IEEE, 2003.https://doi.org/10.1109/JPROC.2002.805825 .

De Alfaro, Luca, Thomas A Henzinger, and Mariëlle Stoelinga. “Timed Interfaces.”https://doi.org/10.1007/3-540-45828-X_9__In Proceedings of the 2nd International Conference on Embedded Software, 2491:108–22. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_9 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Synchronous and Bidirectional Component Interfaces.”https://doi.org/10.1007/3-540-45657-0_34__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:414–27. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_34 .

Cassez, Franck, Thomas A Henzinger, and Jean Raskin. “A Comparison of Control Problems for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-45873-5_13__In Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, 2289:134–48. Springer, 2002.https://doi.org/10.1007/3-540-45873-5_13 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__Journal of the ACM. ACM, 2002.https://doi.org/10.1145/585265.585270 .

Henzinger, Thomas A, Sriram Krishnan, Orna Kupferman, and Freddy Mang. “Synthesis of Uninitialized Systems.”https://doi.org/10.1007/3-540-45465-9_55__In Proceedings of the 29th International Colloquium on Automata, Languages and Programming, 2380:644–56. Springer, 2002.https://doi.org/10.1007/3-540-45465-9_55 .

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1006/inco.2001.3085__Information and Computation. Elsevier, 2002.https://doi.org/10.1006/inco.2001.3085 .

Chakrabarti, Arindam, Luca De Alfaro, Thomas A Henzinger, Marcin Jurdziski, and Freddy Mang. “Interface Compatibility Checking for Software Modules.”https://doi.org/10.1007/3-540-45657-0_35__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:428–41. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_35 .

Henzinger, Thomas A, George Necula, Ranjit Jhala, Grégoire Sutre, Ritankar Majumdar, and Westley Weimer. “Temporal Safety Proofs for Systems Code.”https://doi.org/10.1007/3-540-45657-0_45__In Proceedings of the 14th International Conference on Computer Aided Verification, 2404:526–38. Springer, 2002.https://doi.org/10.1007/3-540-45657-0_45 .

Henzinger, Thomas A, Christoph Kirsch, Ritankar Majumdar, and Slobodan Matic. “Time-Safety Checking for Embedded Programs.”https://doi.org/10.1007/3-540-45828-X_7__In Proceedings of the 2nd International Conference on Embedded Software, 2491:76–92. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_7 .

Henzinger, Thomas A, and Christoph Kirsch. “The Embedded Machine: Predictable, Portable Real-Time Code.”https://doi.org/10.1145/512529.512567__In Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, 315–26. ACM, 2002.https://doi.org/10.1145/512529.512567 .

Henzinger, Thomas A, Ranjit Jhala, Ritankar Majumdar, and Grégoire Sutre. “Lazy Abstraction.”https://doi.org/10.1145/503272.503279__In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 58–70. ACM, 2002.https://doi.org/10.1145/503272.503279 .

Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1145/509705.509707__ACM Transactions on Programming Languages and Systems (TOPLAS). ACM, 2002.https://doi.org/10.1145/509705.509707 .

Horowitz, Benjamin, Judith Liebman, Cedric Ma, T John Koo, Thomas A Henzinger, Alberto Sangiovanni Vincentelli, and Shankar Sastry. “Embedded Software Design and System Integration for Rotorcraft UAV Using Platforms.”https://doi.org/10.3182/20020721-6-ES-1901.01628__In Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Vol. 15. Elsevier, 2002.https://doi.org/10.3182/20020721-6-ES-1901.01628 .

Kirsch, Christoph, Marco Sanvido, Thomas A Henzinger, and Wolfgang Pree. “A Giotto-Based Helicopter Control System.”https://doi.org/10.1007/3-540-45828-X_5__In Proceedings of the 2nd International Conference on Embedded Software, 2491:46–60. ACM, 2002.https://doi.org/10.1007/3-540-45828-X_5 .

Jurdziski, Marcin, Orna Kupferman, and Thomas A Henzinger. “Trading Probability for Fairness.”https://doi.org/10.1007/3-540-45793-3_20__In Proceedings of the 16th International Workshop on Computer Science Logic, 2471:292–305. Springer, 2002.https://doi.org/10.1007/3-540-45793-3_20 .

Passerone, Roberto, Luca De Alfaro, Thomas A Henzinger, and Alberto Sangiovanni Vincentelli. “Convertibility Verification and Converter Synthesis: Two Faces of the Same Coin.”https://doi.org/10.1145/774572.774592__In Proceedings of the 11th IEEE/ACM International Conference on Computer-Aided Design, 132–39. IEEE, 2002.https://doi.org/10.1145/774572.774592 .

Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.”https://doi.org/10.1016/S0304-3975(00)00308-X__Theoretical Computer Science. Elsevier, 2002.https://doi.org/10.1016/S0304-3975(00)00308-X .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems, Part II.”https://doi.org/10.1007/3-540-44685-0_38__In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:566–81. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001.https://doi.org/10.1007/3-540-44685-0_38 .

De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “Symbolic Algorithms for Infinite-State Games.”https://doi.org/10.1007/3-540-44685-0_36__In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:536–50. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001.https://doi.org/10.1007/3-540-44685-0_36 .

De Alfaro, Luca, Thomas A Henzinger, and Ritankar Majumdar. “From Verification to Control: Dynamic Programs for Omega-Regular Objectives.”https://doi.org/10.1109/LICS.2001.932504__In Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science, 279–90. IEEE, 2001.https://doi.org/10.1109/LICS.2001.932504 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “MCWEB: A Model-Checking Tool for Web-Site Debugging.” In Proceedings of the 10th International Conference on World Wide Web, 86–87. ACM, 2001.

De Alfaro, Luca, Thomas A Henzinger, and Ranjit Jhala. “Compositional Methods for Probabilistic Systems.”https://doi.org/10.1007/3-540-44685-0_24__In Proceedings of the 12th International Conference on on Concurrency Theory, 2154:351–65. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2001.https://doi.org/10.1007/3-540-44685-0_24 .

Alur, Rajeev, Luca De Alfaro, Radu Grosu, Thomas A Henzinger, Myong Kang, Christoph Kirsch, Ritankar Majumdar, Freddy Mang, and Bow Wang. “JMocha: A Model-Checking Tool That Exploits Design Structure.”https://doi.org/10.1109/ICSE.2001.919196__In Proceedings of the 23rd International Conference on Software Engineering, 835–36. IEEE, 2001.https://doi.org/10.1109/ICSE.2001.919196 .

Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.”https://doi.org/10.1023/A:1008767206905__Formal Methods in System Design. Springer, 2001.https://doi.org/10.1023/A:1008767206905 .

De Alfaro, Luca, and Thomas A Henzinger. “Interface Automata.”https://doi.org/10.1145/503209.503226__In Proceedings of the 8th European Software Engineering Conference, 109–20. ACM, 2001.https://doi.org/10.1145/503209.503226 .

De Alfaro, Luca, and Thomas A Henzinger. “Interface Theories for Component-Based Design.”https://doi.org/10.1007/3-540-45449-7_11__In Proceedings of the 1st International Workshop on Embedded Software, 2211:148–65. ACM, 2001.https://doi.org/10.1007/3-540-45449-7_11 .

Brown, Timothy, Alessandro Pasetti, Wolfgang Pree, Thomas A Henzinger, and Christoph Kirsch. “A Reusable and Platform-Independent Framework for Distributed Control Systems.”https://doi.org/10.1109/DASC.2001.964169__In Proceedings of the 20th Digital Avionics Systems Conference, 1–11. IEEE, 2001.https://doi.org/10.1109/DASC.2001.964169 .

Henzinger, Thomas A, Marius Minea, and Vinayak Prabhu. “Assume-Guarantee Reasoning for Hierarchical Hybrid Systems.”https://doi.org/10.1007/3-540-45351-2_24__In Proceedings of the 4th International Workshop on Hybrid Systems, 2034:275–90. Springer, 2001.https://doi.org/10.1007/3-540-45351-2_24 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Embedded Control Systems Development with Giotto.”https://doi.org/10.1145/384197.384208__In Proceedings of the 2nd ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, 64–72. ACM, 2001.https://doi.org/10.1145/384197.384208 .

Henzinger, Thomas A, Benjamin Horowitz, and Christoph Kirsch. “Giotto: A Time-Triggered Language for Embedded Programming.”https://doi.org/10.1007/3-540-45449-7_12__In Proceedings of the 1st International Workshop on Embedded Software, 2211:166–84. ACM, 2001.https://doi.org/10.1007/3-540-45449-7_12 .

Henzinger, Thomas A, Joerg Preussig, and Howard Wong Toi. “Some Lessons from the HYTECH Experience.”https://doi.org/10.1109/.2001.980714__In Proceedings of the 40th IEEE Conference on Decision and Control, 3:2887–92. IEEE, 2001.https://doi.org/10.1109/.2001.980714 .

Henzinger, Thomas A, ed. EMSOFT: Embedded Software. Vol. 2211. ACM, 2001.https://doi.org/10.1007/3-540-45449-7 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “The Control of Synchronous Systems.”https://doi.org/10.1007/3-540-44618-4_33__In Proceedings of the 11th International Conference on Concurrency Theory, 1877:458–73. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2000.https://doi.org/10.1007/3-540-44618-4_33 .

De Alfaro, Luca, Thomas A Henzinger, and Freddy Mang. “Detecting Errors before Reaching Them.”https://doi.org/10.1007/10722167_17__In Proceedings of the 12th International Conference on Computer Aided Verification, 1855:186–201. Springer, 2000.https://doi.org/10.1007/10722167_17 .

De Alfaro, Luca, and Thomas A Henzinger. “Concurrent Omega-Regular Games.”https://doi.org/10.1109/LICS.2000.855763__In Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 141–54. IEEE, 2000.https://doi.org/10.1109/LICS.2000.855763 .

Henzinger, Thomas A. “Masaccio: A Formal Model for Embedded Components.”https://doi.org/10.1007/3-540-44929-9_38__In Proceedings of the 1st International Conference on Theoretical Computer Science , 1872:549–63. Springer, 2000.https://doi.org/10.1007/3-540-44929-9_38 .

Alur, Rajeev, Thomas A Henzinger, Gerardo Lafferriere, and George Pappas. “Discrete Abstractions of Hybrid Systems.”https://doi.org/10.1109/5.871304 __Proceedings of the IEEE. IEEE, 2000.https://doi.org/10.1109/5.871304  .

Henzinger, Thomas A, Ritankar Majumdar, Freddy Mang, and Jean Raskin. “Abstract Interpretation of Game Properties.”https://doi.org/10.1007/978-3-540-45099-3_12__In Proceedings of the 7th International Symposium on Static Analysis, 1824:220–39. Springer, 2000.https://doi.org/10.1007/978-3-540-45099-3_12 .

Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”https://doi.org/10.1007/3-540-46430-1_14__In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000.https://doi.org/10.1007/3-540-46430-1_14 .

Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Decomposing Refinement Proofs Using Assume-Guarantee Reasoning.”https://doi.org/10.1109/ICCAD.2000.896481__In Proceedings of the 2000 International Conference on Computer-Aided Design, 245–52. IEEE, 2000.https://doi.org/10.1109/ICCAD.2000.896481 .

Henzinger, Thomas A. “The Theory of Hybrid Automata.”https://doi.org/10.1007/978-3-642-59615-5__In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000.https://doi.org/10.1007/978-3-642-59615-5 .

Henzinger, Thomas A, and Sriram Rajamani. “Fair Bisimulation.”https://doi.org/10.1007/3-540-46419-0_21__In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:299–314. Springer, 2000.https://doi.org/10.1007/3-540-46419-0_21 .

Henzinger, Thomas A, and Ritankar Majumdar. “A Classification of Symbolic Transition Systems.”https://doi.org/10.1007/3-540-46541-3_2__In Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science, 1770:13–34. Springer, 2000.https://doi.org/10.1007/3-540-46541-3_2 .

Henzinger, Thomas A, and Ritankar Majumdar. “Symbolic Model Checking for Rectangular Hybrid Systems.”https://doi.org/10.1007/3-540-46419-0_11__In Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1785:142–56. Springer, 2000.https://doi.org/10.1007/3-540-46419-0_11 .

Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-46430-1_15__In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:145–59. Springer, 2000.https://doi.org/10.1007/3-540-46430-1_15 .

Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.”https://doi.org/10.1016/S0304-3975(99)00038-9__Theoretical Computer Science. Elsevier, 1999.https://doi.org/10.1016/S0304-3975(99)00038-9 .

Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Verifying Sequential Consistency on Shared-Memory Multiprocessor Systems.”https://doi.org/10.1007/3-540-48683-6_27__In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:301–15. Springer, 1999.https://doi.org/10.1007/3-540-48683-6_27 .

Henzinger, Thomas A, Benjamin Horowitz, and Ritankar Majumdar. “Rectangular Hybrid Games.”https://doi.org/10.1007/3-540-48320-9_23__In Proceedings of the 10th International Conference on Concurrency Theory, 1664:320–35. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999.https://doi.org/10.1007/3-540-48320-9_23 .

Henzinger, Thomas A, Xiaojun Liu, Shaz Qadeer, and Sriram Rajamani. “Formal Specification and Verification of a Dataflow Processor Array,”https://doi.org/10.1109/ICCAD.1999.810700__494–99. IEEE, 1999.https://doi.org/10.1109/ICCAD.1999.810700 .

Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “Assume-Guarantee Refinement between Different Time Scales.”https://doi.org/10.1007/3-540-48683-6_20__In Proceedings of the 11th International Conference on Computer Aided Verification, 1633:208–21. Springer, 1999.https://doi.org/10.1007/3-540-48683-6_20 .

Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.”https://doi.org/10.1023/A:1008739929481__Formal Methods in System Design. Springer, 1999.https://doi.org/10.1023/A:1008739929481 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1007/3-540-49213-5_2__In Proceedings of the International Symposium on Compositionality, 1536:23–60. Springer, 1999.https://doi.org/10.1007/3-540-49213-5_2 .

Alur, Rajeev, Luca De Alfaro, Thomas A Henzinger, and Freddy Mang. “Automating Modular Verification.”https://doi.org/10.1007/3-540-48320-9_8__In Proceedings of the 10th International Conference on Concurrency Theory, 1664:82–97. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1999.https://doi.org/10.1007/3-540-48320-9_8 .

Preußig, Jörg, Stefan Kowalewski, Howard Wong Toi, and Thomas A Henzinger. “An Algorithm for the Approximative Analysis of Rectangular Automata.”https://doi.org/10.1007/BFb0055350__In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 1486:228–40. Springer, 1998.https://doi.org/10.1007/BFb0055350 .

Raskin, Jean, Pierre Schobbens, and Thomas A Henzinger. “Axioms for Real-Time Logics.”https://doi.org/10.1007/BFb0055625__In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:219–36. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.https://doi.org/10.1007/BFb0055625 .

Henzinger, Thomas A, and Vlad Rusu. “Reachability Verification for Hybrid Automata.”https://doi.org/10.1007/3-540-64358-3_40__In Proceedings of the 1st International Workshop on Hybrid Systems: Computation and Control, 1386:190–204. Springer, 1998.https://doi.org/10.1007/3-540-64358-3_40 .

Henzinger, Thomas A, ed. HSCC: Hybrid Systems—Computation and Control. Vol. 1386. Springer, 1998.https://doi.org/10.1007/3-540-64358-3 .

Henzinger, Thomas A, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “An Assume-Guarantee Rule for Checking Simulation.”https://doi.org/10.1007/3-540-49519-3_27__In Proceedings of the 2nd International Conference on Formal Methods in Computer-Aided Design, 1522:421–32. Springer, 1998.https://doi.org/10.1007/3-540-49519-3_27 .

Henzinger, Thomas A, Jean Raskin, and Pierre Schobbens. “The Regular Real-Time Languages.”https://doi.org/10.1007/BFb0055086__In Proceedings of the 25th International Colloqium on Automata, Languages and Programming, 1443:580–91. Springer, 1998.https://doi.org/10.1007/BFb0055086 .

Henzinger, Thomas A, Orna Kupferman, and Shaz Qadeer. “From Pre-Historic to Post-Modern Symbolic Model Checking.”https://doi.org/10.1007/BFb0028745__In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:195–206. Springer, 1998.https://doi.org/10.1007/BFb0028745 .

Henzinger, Thomas A, Shaz Qadeer, and Sriram Rajamani. “You Assume, We Guarantee: Methodology and Case Studies.”https://doi.org/10.1007/BFb0028765__In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:440–51. Springer, 1998.https://doi.org/10.1007/BFb0028765 .

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “Algorithmic Analysis of Nonlinear Hybrid Systems.”https://doi.org/10.1109/9.664156 __IEEE Transactions on Automatic Control. IEEE, 1998.https://doi.org/10.1109/9.664156  .

Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?”https://doi.org/10.1006/jcss.1998.1581__Journal of Computer and System Sciences. Elsevier, 1998.https://doi.org/10.1006/jcss.1998.1581 .

Henzinger, Thomas A. “It’s about Time: Real-Time Logics Reviewed.”https://doi.org/10.1007/BFb0055640__In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:439–54. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.https://doi.org/10.1007/BFb0055640 .

Alur, Rajeev, Thomas A Henzinger, and Sriram Rajamani. “Symbolic Exploration of Transition Hierarchies.”https://doi.org/10.1007/BFb0054181__In Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 1384:330–44. Springer, 1998.https://doi.org/10.1007/BFb0054181 .

Alur, Rajeev, Thomas A Henzinger, Orna Kupferman, and Moshe Vardi. “Alternating Refinement Relations.”https://doi.org/10.1007/BFb0055622__In Proceedings of the 9th Interantional Conference on Concurrency Theory, 1466:163–78. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1998.https://doi.org/10.1007/BFb0055622 .

Alur, Rajeev, Thomas A Henzinger, Freddy Mang, Shaz Qadeer, Sriram Rajamani, and Serdar Tasiran. “Mocha: Modularity in Model Checking.”https://doi.org/10.1007/BFb0028774__In Proceedings of the 10th International Conference on Computer Aided Verification, 1427:521–25. Springer, 1998.https://doi.org/10.1007/BFb0028774 .

De Alfaro, Luca, Thomas A Henzinger, and Orna Kupferman. “Concurrent Reachability Games.”https://doi.org/10.1109/SFCS.1998.743507Â  __In https://doi.org/10.1109/SFCS.1998.743507Â  __Proceedings 39th Annual Symposium on Foundations of Computer Science, 564–75. IEEE, 1998.https://doi.org/10.1109/SFCS.1998.743507Â   .

Henzinger, Thomas A, and Orna Kupferman. “From Quantity to Quality.”https://doi.org/10.1007/BFb0014712__In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:48–62. Springer, 1997.https://doi.org/10.1007/BFb0014712 .

Henzinger, Thomas A, and Peter Kopke. “Discrete-Time Control for Rectangular Hybrid Automata.”https://doi.org/10.1007/3-540-63165-8_213__In Proceedings of the 24th International Colloquium on Automata, Languages and Programming, 1256:582–93. Springer, 1997.https://doi.org/10.1007/3-540-63165-8_213 .

Henzinger, Thomas A, Orna Kupferman, and Sriram Rajamani. “Fair Simulation.”https://doi.org/10.1007/3-540-63141-0_19__In Proceedings of the 8th International Conference on Concurrency Theory, 1243:273–87. Springer, 1997.https://doi.org/10.1007/3-540-63141-0_19 .

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems,”https://doi.org/10.1007/3-540-63166-6_48__1254:460–63. Springer, 1997.https://doi.org/10.1007/3-540-63166-6_48 .

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: A Model Checker for Hybrid Systems.”https://doi.org/10.1007/s100090050008__Software Tools For Technology Transfer. Springer, 1997.https://doi.org/10.1007/s100090050008 .

Gupta, Vineet, Thomas A Henzinger, and Radha Jagadeesan. “Robust Timed Automata.”https://doi.org/10.1007/BFb0014736__In Proceedings of the 5th International Workshop on Hybrid and Real-Time Systems, 1201:331–45. Springer, 1997.https://doi.org/10.1007/BFb0014736 .

Alur, Rajeev, and Thomas A Henzinger. “Modularity for Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-63141-0_6__In 8th International Conference on Concurrency Theory, 1243:74–88. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1997.https://doi.org/10.1007/3-540-63141-0_6 .

Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.”https://doi.org/10.1007/s100090050007__Software Tools For Technology Transfer. Springer, 1997.https://doi.org/10.1007/s100090050007 .

Alur, Rajeev, Robert Brayton, Thomas A Henzinger, Shaz Qadeer, and Sriram Rajamani. “Partial-Order Reduction in Symbolic State-Space Exploration.”https://doi.org/10.1007/3-540-63166-6_34__In 9th International Conference on Computer Aided Verification, 1254:340–51. Springer, 1997.https://doi.org/10.1007/3-540-63166-6_34 .

Alur, Rajeev, Thomas A Henzinger, and Orna Kupferman. “Alternating-Time Temporal Logic.”https://doi.org/10.1145/585265.585270__In Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 100–109. Association for Computing Machinery (ACM), 1997.https://doi.org/10.1145/585265.585270 .

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.”https://doi.org/10.1023/A:1008626013578__Formal Methods in System Design. Springer, 1997.https://doi.org/10.1023/A:1008626013578 .

Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.”https://doi.org/10.1109/CDC.1997.650717Â  __In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997.https://doi.org/10.1109/CDC.1997.650717Â   .

Henzinger, Thomas A, and Howard Wong Toi. “Linear Phase-Portrait Approximations for Nonlinear Hybrid Systems.”https://doi.org/10.1007/BFb0020961__In Hybrid Systems III: Verification and Control, edited by Rajeev Alur, Thomas A Henzinger, and Eduardo Sontag, 1066:377–88. Springer, 1996.https://doi.org/10.1007/BFb0020961 .

Henzinger, Thomas A, and Howard Wong Toi. “Using HyTech to Synthesize Control Parameters for a Steam Boiler.”https://doi.org/10.1007/BFb0027241__In Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control, 1165:265–82. Springer, 1996.https://doi.org/10.1007/BFb0027241 .

Henzinger, Thomas A, and Peter Kopke. “State Equivalences for Rectangular Hybrid Automata.”https://doi.org/10.1007/3-540-61604-7_74__In 7th International Conference on Concurrency Theory, 1119:530–45. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996.https://doi.org/10.1007/3-540-61604-7_74 .

Henzinger, Thomas A, Orna Kupferman, and Moshe Vardi. “A Space-Efficient on-the-Fly Algorithm for Real-Time Model Checking.”https://doi.org/10.1007/3-540-61604-7_73__In 7th International Conference on Concurrency Theory, 1119:514–29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1996.https://doi.org/10.1007/3-540-61604-7_73 .

Henzinger, Thomas A. “The Theory of Hybrid Automata.”https://doi.org/10.1109/LICS.1996.561342 __In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 278–92. IEEE, 1996.https://doi.org/10.1109/LICS.1996.561342  .

Henzinger, Thomas A, and Rajeev Alur, eds. https://doi.org/10.1007/3-540-61474-5__8th International Conference on Computer Aided Verification. Vol. 1102. Springer, 1996.https://doi.org/10.1007/3-540-61474-5 .

Alur, Rajeev, and Thomas A Henzinger. “Reactive Modules.”https://doi.org/10.1109/LICS.1996.561320__In Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, 207–18. IEEE, 1996.https://doi.org/10.1109/LICS.1996.561320 .

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/32.489079__IEEE Transactions on Software Engineering. IEEE, 1996.https://doi.org/10.1109/32.489079 .

Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.”https://doi.org/10.1145/227595.227602__Journal of the ACM. ACM, 1996.https://doi.org/10.1145/227595.227602 .

Alur, Rajeev, Thomas A Henzinger, and Eduardo D Sontag, eds. Hybrid Systems III: Verification and Control. Vol. 1066. Lecture Notes in Computer Science. Berlinf; Heidelberg: Springer, 1996.https://doi.org/10.1007/BFb0020931 .

Henzinger, Thomas A, and Pei Ho. “Algorithmic Analysis of Nonlinear Hybrid Systems.”https://doi.org/10.1007/3-540-60045-0_53__In 7th International Conference on Computer Aided Verification, 939:225–38. Springer, 1995.https://doi.org/10.1007/3-540-60045-0_53 .

Henzinger, Thomas A, and Pei Ho. “A Note on Abstract-Interpretation Strategies for Hybrid Automata.”https://doi.org/10.1007/3-540-60472-3_13__In 3rd International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:252–64. Springer, 1995.https://doi.org/10.1007/3-540-60472-3_13 .

Henzinger, Thomas A, and Pei Ho. “HyTech: The Cornell Hybrid Technology Tool.”https://doi.org/10.1007/3-540-60472-3_14__In 4th International Hybrid Systems Workshop, edited by Antsaklis Panos, Wolf Kohn, Anil Nerode, and Shankar Sastry, 999:265–93. LNCS. Springer, 1995.https://doi.org/10.1007/3-540-60472-3_14 .

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “A User Guide to HyTech.”https://doi.org/10.1007/3-540-60630-0_3__In 1st International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, 1019:41–71. Springer, 1995.https://doi.org/10.1007/3-540-60630-0_3 .

Henzinger, Thomas A, Pei Ho, and Howard Wong Toi. “HyTech: The next Generation.”https://doi.org/10.1109/REAL.1995.495196 __In Proceedings 16th IEEE Real-Time Systems Symposium, 56–65. IEEE, 1995.https://doi.org/10.1109/REAL.1995.495196  .

Henzinger, Monika H, Thomas A Henzinger, and Peter Kopke. “Computing Simulations on Finite and Infinite Graphs.”https://doi.org/10.1109/SFCS.1995.492576__In Proceedings of IEEE 36th Annual Foundations of Computer Science, 453–62. IEEE, 1995.https://doi.org/10.1109/SFCS.1995.492576 .

Henzinger, Thomas A, Peter Kopke, Anuj Puri, and P. Varaiya. “What’s Decidable about Hybrid Automata?”https://doi.org/10.1145/225058.225162__In Proceedings of the 27th Annual ACM Symposium on Theory of Computing, 373–82. ACM, 1995.https://doi.org/10.1145/225058.225162 .

Henzinger, Thomas A, Peter Kopke, and Howard Wong Toi. “The Expressive Power of Clocks.”https://doi.org/10.1007/3-540-60084-1_93__In 22nd International Colloquium on Automata, Languages and Programming , 944:417–28. Springer, 1995.https://doi.org/10.1007/3-540-60084-1_93 .

Henzinger, Thomas A. “Hybrid Automata with Finite Bisimulations.”https://doi.org/10.1007/3-540-60084-1_85__In 22nd International Colloquium on Automata, Languages and Programming , 944:324–35. Springer, 1995.https://doi.org/10.1007/3-540-60084-1_85 .

Alur, Rajeev, and Thomas A Henzinger. “Local Liveness for Compositional Modeling of Fair Reactive Systems.”https://doi.org/10.1007/3-540-60045-0_49__In 7th International Conference on Computer Aided Verification, 939:166–79. Springer, 1995.https://doi.org/10.1007/3-540-60045-0_49 .

Alur, Rajeev, Costas Courcoubetis, Nicolas Halbwachs, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.”https://doi.org/10.1016/0304-3975(94)00202-T__Theoretical Computer Science. Elsevier, 1995.https://doi.org/10.1016/0304-3975(94)00202-T .

Kapur, Arjun, Thomas A Henzinger, Zohar Manna, and Amir Pnueli. “Proving Safety Properties of Hybrid Systems.”https://doi.org/10.1007/3-540-58468-4_177__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:431–54. Springer, 1994.https://doi.org/10.1007/3-540-58468-4_177 .

Henzinger, Thomas A, and Peter Kopke. “Verification Methods for the Divergent Runs of Clock Systems.”https://doi.org/10.1007/3-540-58468-4_173__In 3rd International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, 863:351–72. Springer, 1994.https://doi.org/10.1007/3-540-58468-4_173 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Timed Transition Systems.”https://doi.org/10.1006/inco.1994.1060__Information and Computation. Elsevier, 1994.https://doi.org/10.1006/inco.1994.1060 .

Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.”https://doi.org/10.1006/inco.1994.1045__Information and Computation. Elsevier, 1994.https://doi.org/10.1006/inco.1994.1045 .

Alur, Rajeev, and Thomas A Henzinger. “Finitary Fairness.”https://doi.org/10.1109/LICS.1994.316087 __In Proceedings 9th Annual IEEE Symposium on Logic in Computer Science, 52–61. IEEE, 1994.https://doi.org/10.1109/LICS.1994.316087  .

Alur, Rajeev, and Thomas A Henzinger. “Real-Time System = Discrete System + Clock Variables.”https://doi.org/10.1142/9789812831583_0001__In Theories and Experiences for Real-Time System Development, edited by Teodor Rus and Charles Rattray, 2:1–29. AMAST Series in Computing. World Scientific Publishing, 1994.https://doi.org/10.1142/9789812831583_0001 .

Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.”https://doi.org/10.1145/174644.174651__Journal of the ACM. ACM, 1994.https://doi.org/10.1145/174644.174651 .

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “The Observational Power of Clocks.”https://doi.org/10.1007/BFb0015008__In 5th International Conference on Concurrency Theory, 836:162–77. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1994.https://doi.org/10.1007/BFb0015008 .

Alur, Rajeev, Limor Fix, and Thomas A Henzinger. “A Determinizable Class of Timed Automata.”https://doi.org/10.1007/3-540-58179-0_39__In International Conference on Computer Aided Verification, 818:1–13. Springer, 1994.https://doi.org/10.1007/3-540-58179-0_39 .

Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, Pei Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. “The Algorithmic Analysis of Hybrid Systems.”https://doi.org/10.1007/BFb0033565__In 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems, 199:331–51. Springer, 1994.https://doi.org/10.1007/BFb0033565 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Towards Refining Temporal Specifications into Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_24__In International Hybrid Systems Workshop, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:60–76. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_24 .

Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.”https://doi.org/10.1006/inco.1993.1025__Information and Computation. Elsevier, 1993.https://doi.org/10.1006/inco.1993.1025 .

Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_30__In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_30 .

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/REAL.1993.393520 __In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993.https://doi.org/10.1109/REAL.1993.393520  .

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.”https://doi.org/10.1007/3-540-56922-7_16__In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993.https://doi.org/10.1007/3-540-56922-7_16 .

Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.”https://doi.org/10.1145/167088.167242__In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 592–601. ACM, 1993.https://doi.org/10.1145/167088.167242 .

Henzinger, Thomas A, Xavier Nicollin, Joseph Sifakis, and Sergio Yovine. “Symbolic Model Checking for Real-Time Systems.”https://doi.org/10.1109/LICS.1992.185551__In Proceedings of the 7th Annual IEEE Symposium on Logic in Computer Science, 394–406. IEEE, 1992.https://doi.org/10.1109/LICS.1992.185551 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?”https://doi.org/10.1007/3-540-55719-9_103__In 19th International Colloquium on Automata, Languages and Programming, 623:545–58. Springer, 1992.https://doi.org/10.1007/3-540-55719-9_103 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.”https://doi.org/10.1007/BFb0031995__In Real Time: Theory in Practice, 600:226–51. Springer, 1992.https://doi.org/10.1007/BFb0031995 .

Henzinger, Thomas A. “Sooner Is Safer Than Later.”https://doi.org/10.1016/0020-0190(92)90005-G__Information Processing Letters. Elsevier, 1992.https://doi.org/10.1016/0020-0190(92)90005-G .

Alur, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.”https://doi.org/10.1007/BFb0031984__In REX Workshop on Real Time: Theory in Practice, 600:74–106. Springer, 1992.https://doi.org/10.1007/BFb0031984 .

Alur, Rajeev, and Thomas A Henzinger. “Back to the Future: Towards a Theory of Timed Regular Languages.”https://doi.org/10.1109/SFCS.1992.267774__In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 177–86. IEEE, 1992.https://doi.org/10.1109/SFCS.1992.267774 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “Temporal Proof Methodologies for Real-Time Systems.”https://doi.org/10.1145/99583.99629__In Proceedings of the 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 353–66. ACM, 1991.https://doi.org/10.1145/99583.99629 .

Henzinger, Thomas A. “The Temporal Specification and Verification of Real-Time Systems .” Stanford University, 1991.

Alur, Rajeev, and Thomas A Henzinger. “Time for Logic.” SIGACT News. ACM, 1991.

Alur, Rajeev, Tomás Feder, and Thomas A Henzinger. “The Benefits of Relaxing Punctuality.”https://doi.org/10.1145/227595.227602__In Proceedings of the 10th Annual ACM Symposium on Principles of Distributed Computing, 139–52. ACM, 1991.https://doi.org/10.1145/227595.227602 .

Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “An Interleaving Model for Real Time.”https://doi.org/10.1109/JCIT.1990.128356__In https://doi.org/10.1109/JCIT.1990.128356__Proceedings of the 5th Jerusalem Conference on Information Technology, 717–30. IEEE, 1990.https://doi.org/10.1109/JCIT.1990.128356 .

Henzinger, Thomas A. “Half-Order Modal Logic: How to Prove Real-Time Properties.”https://doi.org/10.1145/93385.93429__In Proceedings of the 9th Annual ACM Symposium on Principles of Distributed Computing, 281–96. ACM, 1990.https://doi.org/10.1145/93385.93429 .

Alur, Rajeev, and Thomas A Henzinger. “Real-Time Logics: Complexity and Expressiveness.”https://doi.org/10.1109/LICS.1990.113764__In https://doi.org/10.1109/LICS.1990.113764__5th Annual IEEE Symposium on Logic in Computer Science, 390–401. IEEE, 1990.https://doi.org/10.1109/LICS.1990.113764 .

Alur, Rajeev, and Thomas A Henzinger. “A Really Temporal Logic.”https://doi.org/10.1109/SFCS.1989.63473__In 30th Annual Symposium on Foundations of Computer Science, 164–69. FCOS. IEEE, 1989.https://doi.org/10.1109/SFCS.1989.63473 .