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, Martin Chmelik, and Przemyslaw Daca. “CEGAR for Qualitative Analysis of Probabilistic Systems,”https://doi.org/10.1007/978-3-319-08867-9_31__8559:473–90. Springer, 2014.https://doi.org/10.1007/978-3-319-08867-9_31 .

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 .

Hofferek, Georg, Ashutosh Gupta, Bettina Könighofer, Jie Jiang, and Roderick Bloem. “Synthesizing Multiple Boolean Functions Using Interpolation on a Single Proof.”https://doi.org/10.1109/FMCAD.2013.6679394__In 2013 Formal Methods in Computer-Aided Design, 77–84. IEEE, 2013.https://doi.org/10.1109/FMCAD.2013.6679394 .

Boker, Udi, Denis Kuperberg, Orna Kupferman, and Micha Skrzypczak. “Nondeterminism in the Presence of a Diverse or Unknown Future.”https://doi.org/10.1007/978-3-642-39212-2_11__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39212-2_11 .

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 .

Blanc, Régis, Ashutosh Gupta, Laura Kovács, and Bernhard Kragl. “Tree Interpolation in Vampire.”https://doi.org/10.1007/978-3-642-45221-5_13__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-45221-5_13 .

Michaliszyn, Jakub, and Jan Otop. “Elementary Modal Logics over Transitive Structures.”https://doi.org/10.4230/LIPIcs.CSL.2013.563__Leibniz International Proceedings in Informatics. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2013.https://doi.org/10.4230/LIPIcs.CSL.2013.563 .

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 .

Dragoi, Cezara, Constantin Enea, and Mihaela Sighireanu. “Local Shape Analysis for Overlaid Data Structures,”https://doi.org/10.1007/978-3-642-38856-9_10__7935:150–71. Springer, 2013.https://doi.org/10.1007/978-3-642-38856-9_10 .

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 .

Desai, Ankush, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. “P: Safe Asynchronous Event-Driven Programming.”https://doi.org/10.1145/2491956.2462184__In Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation, 321–31. ACM, 2013.https://doi.org/10.1145/2491956.2462184 .

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 .

Piskac, Ruzica, Thomas Wies, and Damien Zufferey. “Automating Separation Logic Using SMT.”https://doi.org/10.1007/978-3-642-39799-8_54__Lecture Notes in Computer Science. Springer, 2013.https://doi.org/10.1007/978-3-642-39799-8_54 .