KIT - Application-oriented Formal Verification - Publications to LLREVE

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

Publications related to llreve

2019
Title	Author(s)	Source
Using Relational Verification for Program Slicing	Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich	17th International Conference on Software Engineering and Formal Methods (SEFM 2019)

2018
Title	Author(s)	Source
Automating Regression Verification of Pointer Programs by Predicate Abstraction	Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich	Formal Methods in System Design 52(3)

2017
Title	Author(s)	Source
Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic Analysis	Moritz Kiefer, Vladimir Klebanov, and Mattias Ulbrich	Journal of Automated Reasoning 60(3)
SemSlice: Exploiting Relational Verification for Automatic Program Slicing	Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, and Mattias Ulbrich	13th International Conference on integrated Formal Methods (iFM 2017)

2016
Title	Author(s)	Source
Relational Program Reasoning Using Compiler IR	Moritz Kiefer, Vladimir Klebanov, and Mattias Ulbrich	8th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2016), Revised Selected Papers

2015
Title	Author(s)	Source
Automating Regression Verification	Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich	Multikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015)

2014
Title	Author(s)	Source
Automating Regression Verification	Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, and Mattias Ulbrich	29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)