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)

Formal Methods for Correct Persistent Programming (Dagstuhl Reports, 13). Dagstuhl Seminar 23412 "Formal Methods for Correct Persistent Programming", Dagstuhl, Germany, October 08, 2023 - October 11, 2023. Schloss Dagstuhl, Wadern (2024)

Flinn, J.; Seltzer, M.; Druschel, P.; Kaufmann, A.; Mace, J. (Eds.): SOSP '23. 29th Symposium on Operating Systems Principles, Koblenz, Germany, October 23, 2023 - October 26, 2023. ACM, New York, NY (2023)

Chisnall, D.; Garg, D.; Hriţcu, C.; Payer, M. (Eds.): Secure Compilation (Dagstuhl Reports, 11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)

Lin, A. W.; Zetzsche, G.; Potapov, I. (Eds.): Reachability Problems (Lecture Notes in Computer Science, 13608). 16th International Conference on Reachability Problems, Kaiserslautern, Germany, October 17, 2022 - October 21, 2022. Springer, Berlin (2022)

Bjørner, N. S.; Christakis, M.; Maffei, M.; Rosu, G. (Eds.): Rigorous Methods for Smart Contracts (Dagstuhl Reports, 11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, October 24, 2021 - October 29, 2021. Schloss Dagstuhl, Wadern (2021)

Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Reports, 11). Dagstuhl Seminar 21442 "Ensuring the Reliability and Robustness of Database Management Systems", Dagstuhl, Germany, November 01, 2021 - November 04, 2021. Schloss Dagstuhl, Wadern (2021)

Georgiou, C.; Majumdar, R. (Eds.): Network Systems (Lecture Notes in Computer Science, 12129). 8th International Conference on Networked Systems, Marrakech, Morocco, June 03, 2020 - June 05, 2020. Springer, Berlin (2021), XVII, 376 pp.

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.

Beyer, D.; Zufferey, D. (Eds.): Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 11990). 21st International Conference on Verification, Model Checking, and Abstract Interpretation, New Orleans, LA, USA, January 16, 2020 - January 21, 2020. Springer, Berlin (2020), XIV, 470 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.

Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Reports, 5). Dagstuhl Seminar 15191 "Compositional Verification Methods for Next-Generation Concurrency", Dagstuhl, Germany, May 03, 2015 - May 08, 2015. Schloss Dagstuhl, Wadern (2015)

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.