| Titel |
Autor(en) |
Quelle |
| Proving Equivalence between Control Software Variants for Programmable Logic Controllers -
Using Regression Verification to Reduce Unneeded Variant Diversity | Sebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert und Birgit Vogel‑Heuser | 20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015) |
| Selected Challenges of Software Evolution for Automated Production Systems | Birgit Vogel‑Heuser, Stefan Feldmann, Jens Folmer, Matthias Kowal, Ina Schaefer, Jan Ladiges, Alexander Fay, Christopher Haubeck, Winfried Lamersdorf, Sascha Lity, Timo Kehrer, Matthias Tichy, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov und Bernhard Beckert | 13th IEEE International Conference on Industrial Informatics (INDIN 2015) |
| Regression Verification for Java Using a Secure Information Flow Calculus | Bernhard Beckert, Vladimir Klebanov und Mattias Ulbrich | 17th Workshop on Formal Techniques for
Java-like Programs (FTfJP 2015) |
| Regression Verification for Programmable Logic Controller Software | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser und Alexander Weigl | Karlsruhe Institute of Technology, Department of Informatics 2015-06 |
| Automating Regression Verification | Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich | Multikonferenz Software Engineering und Management 2015:
Fachtagung Software Engineering (SE 2015) |
| Regression Verification for Programmable Logic
Controller Software | Alexander Sebastian Weigl | Karlsruhe Institute of Technology (Januar 2015) |
