Konferenzband (22)
261.
Konferenzband
13608). 16th International Conference on Reachability Problems, Kaiserslautern, Germany, 17. Oktober 2022 - 21. Oktober 2022. Springer, Berlin (2022)
Reachability Problems (Lecture Notes in Computer Science, 262.
Konferenzband
11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, 24. Oktober 2021 - 29. Oktober 2021. Schloss Dagstuhl, Wadern (2021)
Rigorous Methods for Smart Contracts (Dagstuhl Reports, 263.
Konferenzband
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)
264.
Konferenzband
12129). 8th International Conference on Networked Systems, Marrakech, Morocco, 03. Juni 2020 - 05. Juni 2020. Springer, Berlin (2021), XVII, 376 S.
Network Systems (Lecture Notes in Computer Science, 265.
Konferenzband
12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, 20. Juli 2020 - 21. Juli 2020. Springer, Berlin (2020), XXVI, 239 S.
Software Verification (Lecture Notes in Computer Science, 266.
Konferenzband
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.
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 267.
Konferenzband
11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, 13. Juli 2019 - 14. Juli 2019. Springer, Berlin (2019), XV, 145 S.
Numerical Software Verification (Lecture Notes in Computer Science, 268.
Konferenzband
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.
Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 269.
Konferenzband
7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, 14. Mai 2017 - 19. Mai 2017. Schloss Dagstuhl, Wadern (2017), 13 S.
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 270.
Konferenzband
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.
271.
Konferenzband
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.
Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, 272.
Konferenzband
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.
273.
Konferenzband
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)
274.
Konferenzband
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.
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports, 275.
Konferenzband
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.
276.
Konferenzband
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.
277.
Konferenzband
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.
278.
Konferenzband
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)
279.
Konferenzband
5789). 14th European Symposium on Research in Computer Security, Saint-Malo, 21. September 2009 - 23. September 2009. Springer, Berlin (2009), XVI, 706 S.
Computer Security – ESORICS 2009 (Lecture notes in computer science, 280.
Konferenzband
5675). 4th International Computer Science Symposium in Russia, Novosibirsk, 18. August 2009 - 23. August 2009. Springer, Berlin (2009), XIII, 367 S.
Computer science - theory and applications (Lecture notes in computer science,