Project IMPROVE within the DFG SPP 1593 - Design for Future

Publications

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich:
Automating Regression Verification
Intl. Conference on Automated Software Engineering (ASE 2014)
PDF - BibTeX - ACM DL - Online tool

Dennis Felsing, Sarah Grebing, Vladimir Klebanov and Mattias Ulbrich:
Automating Regression Verification
Twenty-First Workshop on Automated Reasoning (ARW-DT 2014)

Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt and Mattias Ulbrich:
The KeY Platform for Verification and Analysis of Java Programs
Verified Software: Theories, Tools, and Experiments (VSTTE 2014)
LNCS 8471, Springer, 2014
DOI: 10.1007/978-3-319-12154-3_4

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich:
Automating Regression Verification
Multikonferenz Software Engineering und Management 2015

Bernhard Beckert, Vladimir Klebanov, and Mattias Ulbrich:
Regression Verification for Java Using a Secure Information Flow Calculus
17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015)
PDF - ACM DL

Moritz Kiefer and Vladimir Klebanov and Mattias Ulbrich:
Relational Program Reasoning Using Compiler IR
8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), Revised Selected Papers
The final publication is available at Springer via doi:10.1007/978-3-319-48869-1_12 - Preprint

Vladimir Klebanov, Philipp Rümmer and Mattias Ulbrich:
Automating Regression Verification of Pointer Programs by Predicate Abstraction
Formal Methods in System Design (2017)
Springer, 2017
The final publication is available at Springer via Springer DL

Moritz Kiefer and Vladimir Klebanov and Mattias Ulbrich:
Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis
Journal of Automated Reasoning, 60(3): 337-363, 2017
The final publication is available at Springer via doi:10.1007/s10817-017-9433-5 - Preprint

Publications on regression verification for automated production systems:

In collaboration with the Institute of Automation and Information Systems, TU München

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, and Alexander Weigl:
Regression Verification for Programmable Logic Controller Software
The 17th International Conference on Formal Engineering Methods (ICFEM 2015)
LNCS 9407, Springer, 2015
PDF - Springer DL

Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert:
Proving Equivalence between Control Software Variants for Programmable Logic Controllers
20th IEEE International Conference on Emerging Technologies and Factory Automation, 2015
PDF - IEEE DL

Alexander Weigl:
Regression Verification for Programmable Logic Controller Software
Master's Thesis, Karlsruhe Institute of Technology, Jan 2015
PDF - BibTeX - Tools and more information

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, and Alexander Weigl:
Regression Verification for Programmable Logic Controller Software
Karlsruhe Reports in Informatics 2015-06
online access

B. Vogel-Heuser, A. Fay, I. Schaefer and M. Tichy:
Evolution of software in automated production systems - Challenges and Research Directions
Journal of Systems and Software (JSS). doi:10.1016/j.jss.2015.08.026

The Pick-And-Place demonstrator used as a central case study has recently been extended:
http://www.ais.mw.tum.de/en/research/equipment/ppu/#c3123 for more details.