Home  |  english  |  Impressum  |  Datenschutz  |  Sitemap  |  KIT

Veröffentlichungen

Lieber nach Kategorien gruppieren.

2017
Titel Autor(en) Quelle
Relational Program Reasoning Using Compiler IR – Combining Static Verification and Dynamic AnalysisMoritz Kiefer, Vladimir Klebanov und Mattias UlbrichJournal of Automated Reasoning 60(3)
2015
Titel Autor(en) Quelle
Regression Verification for Programmable Logic Controller SoftwareBernhard Beckert, Mattias Ulbrich, Birgit Vogel‑Heuser und Alexander Weigl17th International Conference on Formal Engineering Methods (ICFEM 2015)
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 und 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 und Bernhard Beckert13th IEEE International Conference on Industrial Informatics (INDIN 2015)
Regression Verification for Java Using a Secure Information Flow CalculusBernhard Beckert, Vladimir Klebanov und 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 und Alexander WeiglKarlsruhe Institute of Technology, Department of Informatics 2015-06
Automating Regression VerificationDennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias UlbrichMultikonferenz Software Engineering und Management 2015: Fachtagung Software Engineering (SE 2015)
Regression Verification for Programmable Logic Controller SoftwareAlexander Sebastian WeiglKarlsruhe Institute of Technology (Januar 2015)
2014
Titel Autor(en) Quelle
Automating Regression VerificationDennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014)