Book Chapter (11)
261.
Book Chapter
Deferrability Analysis for JavaScript. In: Hardware and Software: Verification and Testing, pp. 35 - 50 (Eds. Strichmann, O.; Tzoref-Brill, R.). Springer, Berlin (2017)
262.
Book Chapter
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)
263.
Book Chapter
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)
Proceedings (23)
264.
Proceedings
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)
265.
Proceedings
SOSP '23. 29th Symposium on Operating Systems Principles, Koblenz, Germany, October 23, 2023 - October 26, 2023. ACM, New York, NY (2023)
266.
Proceedings
11). Dagstuhl Seminar 21481 "Secure Compilation", Dagstuhl, Germany, November 28, 2021 - December 03, 2021. Schloss Dagstuhl, Wadern (2022)
Secure Compilation (Dagstuhl Reports, 267.
Proceedings
13608). 16th International Conference on Reachability Problems, Kaiserslautern, Germany, October 17, 2022 - October 21, 2022. Springer, Berlin (2022)
Reachability Problems (Lecture Notes in Computer Science, 268.
Proceedings
11). Dagstuhl Seminar 21431 "Rigorous Methods for Smart Contracts", Dagstuhl, Germany, October 24, 2021 - October 29, 2021. Schloss Dagstuhl, Wadern (2021)
Rigorous Methods for Smart Contracts (Dagstuhl Reports, 269.
Proceedings
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)
270.
Proceedings
12129). 8th International Conference on Networked Systems, Marrakech, Morocco, June 03, 2020 - June 05, 2020. Springer, Berlin (2021), XVII, 376 pp.
Network Systems (Lecture Notes in Computer Science, 271.
Proceedings
12549). 12th Working Conference on Verified Software: Theories, Tools, and Experiments , Virtual, July 20, 2020 - July 21, 2020. Springer, Berlin (2020), XXVI, 239 pp.
Software Verification (Lecture Notes in Computer Science, 272.
Proceedings
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.
Verification, Model Checking, and Abstract Interpretation (Lecture Notes in Computer Science, 273.
Proceedings
11652). 12th International Workshop on Numerical Software Verification, New York, NY, USA, July 13, 2019 - July 14, 2019. Springer, Berlin (2019), XV, 145 pp.
Numerical Software Verification (Lecture Notes in Computer Science, 274.
Proceedings
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.
Analysis and Synthesis of Floating-point Programs (Dagstuhl Reports, 275.
Proceedings
7). Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems", Dagstuhl, Germany, May 14, 2017 - May 19, 2017. Schloss Dagstuhl, Wadern (2017), 13 pp.
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Reports, 276.
Proceedings
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.
277.
Proceedings
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.
Game Theory in AI, Logic, and Algorithms (Dagstuhl Reports, 278.
Proceedings
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.
279.
Proceedings
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)
280.
Proceedings
4). Dagstuhl Seminar 14122 "Verification of Cyber-Physical Systems", Wadern, Germany, March 16, 2014 - March 21, 2014. Schloss Dagstuhl, Wadern (2014), 18 pp.
Verification of Cyber-Physical Systems (Dagstuhl Seminar 14122) (Dagstuhl Reports,