Guerraoui, R.; Kouznetsov, P.: The gap in circumventing the impossibility of consensus. Journal of Computer and System Sciences 74 (5), pp. 823 - 830 (2008)

Meyer, R.; Faber, J.; Hoenicke, J.; Rybalchenko, A.: Model checking Duration Calculus: a practical approach. Formal Aspects of Computing 20 (4-5), pp. 481 - 505 (2008)

Podelski, A.; Rybalchenko, A.: Transition predicate abstraction and fair termination. ACM Transactions on Programming Languages and Systems 29, 15, pp. 15.1 - 15.31 (2007)

Coarfa, C.; Druschel, P.; Wallach, D. S.: Performance Analysis of TLS Web Servers. ACM Transactions on Computer Systems 24 (1), pp. 39 - 69 (2006)

Brandenburg, B.: Multiprocessor Real-Time Locking Protocols. In: Handbook of Real-Time Computing, pp. 1 - 99 (Eds. Tian, Y.-C.; Levy, D. C.). Springer, Singapore (2020)

Bouyer, P.; Fahrenberg, U.; Guldstrand Larsen, K.; Markey, N.; Ouaknine, J.; Worrell, J.: Model Checking Real-Time Systems. In: Handbook of Model Checking, pp. 1001 - 1046 (Eds. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)

Majumdar, R.; Raskin, J.-F.: Symbolic Model Checking in Non-Boolean Domains. In: Handbook of Model Checking, pp. 1111 - 1147 (Eds. Clarke, E. M.; Henzinger, T. A.; Veith, H.; Bloem, R.). Springer, Cham (2018)

Bouyer, P.; Laroussinie, F.; Markey, N.; Ouaknine, J.; Worrell, J.: Timed Temporal Logics. In: Models, Algorithms, Logics and Tools, pp. 211 - 230 (Eds. Aceto, L.; Bacci, G.; Bacci, G.; Ingólfsdóttir, A.; Legay, A. et al.). Springer, Berlin (2017)

Kloos, J.; Majumdar, R.; McCabe, F.: Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, pp. 35 - 50 (Eds. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)

Backes, M.; Berrang, P.; Manoharan, P.: From Zoos to Safaris -- From Closed-World Enforcement to Open-World Assessment of Privacy. In: Foundations of Security Analysis and Design VIII, pp. 87 - 138 (Eds. Aldini, A.; Lopez, J.; Martinelli, F.). Springer, Berlin (2016)

Hillenbrand, T.; Piskac, R.; Waldmann, U.; Weidenbach, C.: From Search to Computation: Redundancy Criteria and Simplification at Work. In: Programming Logics: Essays in Memory of Harald Ganzinger, pp. 169 - 193 (Eds. Voronkov, A.; Weidenbach, C.). Springer, Berlin (2013)

Christakis, M.; Polikarpova, N.; Duggirala, P. S.; Schrammel, P. (Eds.): Software Verification (Lecture Notes in Computer Science, 12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, July 20, 2020 - July 21, 2020. Springer, Berlin (2020), XXVI, 239 pp.

Zamani, M.; Zufferey, D. (Eds.): Numerical Software Verification (Lecture Notes in Computer Science, 11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, July 13, 2019 - July 14, 2019. Springer, Berlin (2019), XV, 145 pp.

Darulova, E.; Donaldson, A. F.; Rakamarić, Z.; Rubio-González, C. (Eds.): Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 7). Dagstuhl Seminar 17352 "Analysis and Synthesis of Floating-point Programs", Dagstuhl, Germany, August 27, 2017 - August 30, 2017. Schloss Dagstuhl, Wadern (2018), 28 pp.

Belta, C. A.; Majumdar, R.; Zamani, M.; Rungger, M. (Eds.): Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, May 14, 2017 - May 19, 2017. Schloss Dagstuhl, Wadern (2017), 13 pp.

Bertot, Y.; Vafeiadis, V. (Eds.): CPP'17. 6th ACM SIGPLAN Conference on Certified Programs and Proofs, Paris, France, January 16, 2017 - January 17, 2017. ACM, New York, NY (2017), VIII, 235 pp.

Chaudhuri, S.; Kannan, S.; Majumdar, R.; Wooldridge, M. J. (Eds.): Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, 7). Dagstuhl Seminar 17111 "Game Theory in AI, Logic, and Algorithms", Dagstuhl, Germany, March 12, 2017 - March 17, 2017. Schloss Dagstuhl, Wadern (2017), 6 pp.

Bodik, R.; Majumdar, R. (Eds.): POPL'16. 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg, FL, USA, January 20, 2015 - January 22, 2015. ACM, New York, NY (2016), XVI, 817 pp.

Majumdar, R.; Murray, R. M.; Prabhakar, P. (Eds.): Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports, 4). Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems", Wadern, Germany, March 16, 2014 - March 21, 2014. Schloss Dagstuhl, Wadern (2014), 18 pp.

Sala, A.; Goel, A.; Gummadi, K. (Eds.): COSN'14: Proceedings of the Second ACM Conference on Online Social Networks. Second ACM Conference on Online Social Networks, Dublin, Ireland, October 01, 2014 - October 02, 2014. ACM, New York, NY (2014), 278 pp.