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.

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

Franz, M.; Holzer, A.; Majumdar, R.; Parno, B.; Veith, H. (Hg.): PETShop '13: Proceedings of the First ACM Workshop on Language Support for Privacy-enhancing Technologies. First ACM Workshop on Language Support for Privacy-enhancing Technologies, Berlin, Germany, 04. November 2013. ACM, New York, NY (2013), 30 S.

Papagiannaki, K.; Gummadi, K.; Partridge, C. (Hg.): Internet Measurement Conference, IMC'13, Barcelona, Spain, October 23-25, 2013. 2013 Conference on Internet Measurement, Barcelona, Spain, 23. Oktober 2013 - 25. Oktober 2013. ACM, New York, NY (2013), 470 S.

Weirich, S.; Dreyer, D. (Hg.): TLDI '11: Proceedings of the 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation. 7th ACM SIGPLAN Workshop on Types in Language Design and Implementation , Austin, TX, USA, 25. Januar 2011. (2011)

Backes, M.; Ning, P. (Hg.): Computer Security – ESORICS 2009 (Lecture notes in computer science, 5789). 14th European Symposium on Research in Computer Security, Saint-Malo, 21. September 2009 - 23. September 2009. Springer, Berlin (2009), XVI, 706 S.

Frid, A.; Morozov, A.; Rybalchenko, A.; Wagner, K. W. (Hg.): Computer science - theory and applications (Lecture notes in computer science, 5675). 4th International Computer Science Symposium in Russia, Novosibirsk, 18. August 2009 - 23. August 2009. Springer, Berlin (2009), XIII, 367 S.