Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Publications

Rather group by categories.

2017
Title Author(s) Source
Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic AnalysisMoritz Kiefer, Vladimir Klebanov, and Mattias UlbrichJournal of Automated Reasoning 60(3)
2015
Title Author(s) Source
Proving Equivalence between Control Software Variants for Programmable Logic Controllers - Using Regression Verification to Reduce Unneeded Variant DiversitySebastian Ulewicz, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, and Birgit Vogel‑Heuser20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2015)
Selected Challenges of Software Evolution for Automated Production SystemsBirgit 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, and Bernhard Beckert13th IEEE International Conference on Industrial Informatics (INDIN 2015)
Regression Verification for Java Using a Secure Information Flow CalculusBernhard Beckert, Vladimir Klebanov, and Mattias Ulbrich17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015)
Regression Verification for Programmable Logic Controller SoftwareBernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser, and Alexander WeiglKarlsruhe Institute of Technology, Department of Informatics 2015-06
Automating Regression VerificationDennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias UlbrichMultikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015)
Regression Verification for Programmable Logic Controller SoftwareAlexander Sebastian WeiglKarlsruhe Institute of Technology (January 2015)
2014
Title Author(s) Source
Automating Regression VerificationDennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)