Kloos, J.; Majumdar, R.; McCabe, F.: Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, S. 35 - 50 (Hg. 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, S. 87 - 138 (Hg. 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, S. 169 - 193 (Hg. 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, 08. Oktober 2023 - 11. Oktober 2023. Schloss Dagstuhl, Wadern (2024)

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

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

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

Bjørner, N. S.; Christakis, M.; Maffei, M.; Rosu, G. (Hg.): Rigorous Methods for Smart Contracts (Dagstuhl Reports, 11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, 24. Oktober 2021 - 29. Oktober 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, 01. November 2021 - 04. November 2021. Schloss Dagstuhl, Wadern (2021)

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

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

Beyer, D.; Zufferey, D. (Hg.): 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, 16. Januar 2020 - 21. Januar 2020. Springer, Berlin (2020), XIV, 470 S.

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

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

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

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

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

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

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

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