Ferrere, Thomas, Oded Maler, Dejan Nidkovi, and Amir Pnueli. “From Real-Time Logic to Timed Automata.”https://doi.org/10.1145/3286976__Journal of the ACM. ACM, 2019.https://doi.org/10.1145/3286976 .

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 .

Nidkovi, Dejan, Xin Qin, Thomas Ferrere, Cristinel Mateis, and Jyotirmoy Deshmukh. “Shape Expressions for Specifying and Extracting Signal Features.”https://doi.org/10.1007/978-3-030-32079-9_17__In 19th International Conference on Runtime Verification, 11757:292–309. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-32079-9_17 .

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 .

Ferrere, Thomas, Oded Maler, and Dejan Nickovic. “Mixed-Time Signal Temporal Logic.”https://doi.org/10.1007/978-3-030-29662-9_4__In 17th International Conference on Formal Modeling and Analysis of Timed Systems, 11750:59–75. Springer Nature, 2019.https://doi.org/10.1007/978-3-030-29662-9_4 .

Giacobbe, Mirco. “Automatic Time-Unbounded Reachability Analysis of Hybrid Systems.”https://doi.org/10.15479/AT:ISTA:6894__Institute of Science and Technology Austria, 2019.https://doi.org/10.15479/AT:ISTA:6894 .

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 .

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 .

Avni, Guy, Shibashis Guha, and Orna Kupferman. “Timed Network Games with Clocks,”https://doi.org/10.4230/LIPICS.MFCS.2018.23__Vol. 117. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018.https://doi.org/10.4230/LIPICS.MFCS.2018.23 .

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 .

Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.”https://doi.org/10.1007/978-3-319-89963-3_18__edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer, 2018.https://doi.org/10.1007/978-3-319-89963-3_18 .

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 .

Bakhirkin, Alexey, Thomas Ferrere, and Oded Maler. “Efficient Parametric Identification for STL.”https://doi.org/10.1145/3178126.3178132__In Proceedings of the 21st International Conference on Hybrid Systems, 177–86. ACM, 2018.https://doi.org/10.1145/3178126.3178132 .

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 .

Kragl, Bernhard, and Shaz Qadeer. “Layered Concurrent Programs,”https://doi.org/10.1007/978-3-319-96145-3_5__10981:79–102. Springer, 2018.https://doi.org/10.1007/978-3-319-96145-3_5 .

Bartocci, Ezio, Thomas Ferrere, Niveditha Manjunath, and Dejan Nickovic. “Localizing Faults in Simulink/Stateflow Models with STL,”https://doi.org/10.1145/3178126.3178131__197–206. Association for Computing Machinery, Inc, 2018.https://doi.org/10.1145/3178126.3178131 .

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 .

Bakhirkin, Alexey, Thomas Ferrere, Dejan Nickovic, Oded Maler, and Eugene Asarin. “Online Timed Pattern Matching Using Automata,”https://doi.org/10.1007/978-3-030-00151-3_13__11022:215–32. Springer, 2018.https://doi.org/10.1007/978-3-030-00151-3_13 .

Arming, Sebastian, Ezio Bartocci, Krishnendu Chatterjee, Joost P Katoen, and Ana Sokolova. “Parameter-Independent Strategies for PMDPs via POMDPs,”https://doi.org/10.1007/978-3-319-99154-2_4__11024:53–70. Springer, 2018.https://doi.org/10.1007/978-3-319-99154-2_4 .