Svoreová, Mária, Jan Kretinsky, Martin Chmelik, Krishnendu Chatterjee, Ivana Cbrná, and Celin Belta. “Temporal Logic Control for Stochastic Linear Systems Using Abstraction Refinement of Probabilistic Games.”https://doi.org/10.1016/j.nahs.2016.04.006__Nonlinear Analysis: Hybrid Systems. Elsevier, 2017.https://doi.org/10.1016/j.nahs.2016.04.006 .

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 .

Chatterjee, Krishnendu, Bernhard Kragl, Samarth Mishra, and Andreas Pavlogiannis. “Faster Algorithms for Weighted Recursive State Machines.”https://doi.org/10.1007/978-3-662-54434-1_11__edited by Hongseok Yang, 10201:287–313. Springer, 2017.https://doi.org/10.1007/978-3-662-54434-1_11 .

Avni, Guy, Shibashis Guha, and Orna Kupferman. “An Abstraction-Refinement Methodology for Reasoning about Network Games,”https://doi.org/10.24963/ijcai.2017/11__70–76. AAAI Press, 2017.https://doi.org/10.24963/ijcai.2017/11 .

Trinh, Minh, Duc Hiep Chu, and Joxan Jaffar. “Model Counting for Recursively-Defined Strings.”https://doi.org/10.1007/978-3-319-63390-9_21__edited by Rupak Majumdar and Viktor Kundak, 10427:399–418. Springer, 2017.https://doi.org/10.1007/978-3-319-63390-9_21 .

Le, Xuan, Duc Hiep Chu, David Lo, Claire Le Goues, and Willem Visser. “: Syntax- and Semantic-Guided Repair Synthesis via Programming by Examples,”https://doi.org/10.1145/3106237.3106309__0154:593–604. ACM, 2017.https://doi.org/10.1145/3106237.3106309 .

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 .

Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.”https://doi.org/10.4204/EPTCS.259.3__In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017.https://doi.org/10.4204/EPTCS.259.3 .

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 .

Gurung, Amit, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, and Rajarshi Ray. “Parallel Reachability Analysis for Hybrid Systems.”https://doi.org/10.1109/MEMCOD.2016.7797741__IEEE, 2016.https://doi.org/10.1109/MEMCOD.2016.7797741 .

Avni, Guy, Shibashis Guha, and Guillermo Rodríguez Navas. “Synthesizing Time Triggered Schedules for Switched Networks with Faulty Links.”https://doi.org/10.1145/2968478.2968499__In Proceedings of the 13th International Conference on Embedded Software . ACM, 2016.https://doi.org/10.1145/2968478.2968499 .

Duggirala, Parasara, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, et al. “Tutorial: Software Tools for Hybrid Systems Verification Transformation and Synthesishttps://doi.org/10.1109/CCA.2016.7587948__HyST and TuLiP.”https://doi.org/10.1109/CCA.2016.7587948__In 2016 IEEE Conference on Control Applications. IEEE, 2016.https://doi.org/10.1109/CCA.2016.7587948 .

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 .

Jiang, Yu, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design.”https://doi.org/10.1109/RTAS.2016.7461337__IEEE, 2016.https://doi.org/10.1109/RTAS.2016.7461337 .