Publications

8 results
2018
[8]Automating Regression Verification of Pointer Programs by Predicate Abstraction (, and ), In Formal Methods in System Design, Springer, volume 52, . [bibtex] [doi]
2017
[7]Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis (, and ), In Journal of Automated Reasoning, volume 60, . [bibtex] [doi]
2016
[6]Deductive Software Verification - The \KeY Book: From Theory to Practice, (Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich, eds.), Springer, volume 10001, . [bibtex] [doi]
[5]Relational Program Reasoning Using Compiler IR (, and ), In 8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), Revised Selected Papers (Sandrine Blazy, Marsha Chechik, eds.), Springer, volume 9971, . [bibtex] [doi]
2015
[4]Regression Verification for Java Using a Secure Information Flow Calculus (, and ), In 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015), . [bibtex]
[3]Automating Regression Verification (, , , and ), In Multikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015), LNI, . [bibtex]
2014
[2]The \KeY Platform for Verification and Analysis of Java Programs (, , , , , , , , , , , , and ), In 6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014) (Giannakopoulou, Dimitra, Kroening, Daniel, eds.), Springer-Verlag, volume 8471, . [bibtex] [pdf] [doi]
[1]Automating regression verification (, , , and ), In Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14, ACM, . [bibtex] [pdf] [doi]

Previous Project-related Publications

4 results
2015
[4]Implementation-level verification of algorithms with KeY (, and ), In International Journal on Software Tools for Technology Transfer, Springer, volume 17, . [bibtex] [doi]
2013
[3]Dynamic Logic for an Intermediate Language Verification, Interaction and Refinement (), PhD thesis, Karlsruhe Institute of Technology, . [bibtex] [pdf]
2011
[2]LNCS 6528 - Verification of Software Product Lines with Delta-Oriented Slicing (, and ), In Proceedings of the 2010 International Conference on Formal Verification of Object-oriented Software, Springer-Verlag, . [bibtex] [pdf]
2007
[1]Verification of Object-Oriented Software. The KeY Approach, (Beckert, Bernhard, Hähnle, Reiner, Schmitt, Peter H, eds.), Springer-Verlag, volume 4334, . [bibtex] [doi]