Publications

1 result
2014
[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]