Mattias Ulbrich
Mattias Ulbrich
Verified email at kit.edu - Homepage
Title
Cited by
Cited by
Year
Deductive software verification–the key book
W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich
Lecture Notes in Computer Science 10001, 2016
2202016
Automating regression verification
D Felsing, S Grebing, V Klebanov, P Rümmer, M Ulbrich
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
1222014
The KeY platform for verification and analysis of Java programs
W Ahrendt, B Beckert, D Bruns, R Bubel, C Gladisch, S Grebing, R Hähnle, ...
Working Conference on Verified Software: Theories, Tools, and Experiments, 55-71, 2014
762014
The 1st verified software competition: Experience report
V Klebanov, P Müller, N Shankar, GT Leavens, V Wüstholz, E Alkassar, ...
International Symposium on Formal Methods, 154-168, 2011
732011
Deductive Software Verification–The KeY Book, LNCS, vol. 10001
W Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M Ulbrich
Springer 10, 978-3, 2016
422016
Dynamic frames in Java dynamic logic
PH Schmitt, M Ulbrich, B Weiß
International Conference on Formal Verification of Object-Oriented Software …, 2010
402010
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
International Conference on Formal Verification of Object-Oriented Software …, 2011
392011
Regression verification for programmable logic controller software
B Beckert, M Ulbrich, B Vogel-Heuser, A Weigl
International Conference on Formal Engineering Methods, 234-251, 2015
342015
Selected challenges of software evolution for automated production systems
B Vogel-Heuser, S Feldmann, J Folmer, J Ladiges, A Fay, S Lity, M Tichy, ...
2015 IEEE 13th International Conference on Industrial Informatics (INDIN …, 2015
302015
Information flow in object-oriented software
B Beckert, D Bruns, V Klebanov, C Scheben, PH Schmitt, M Ulbrich
International Symposium on Logic-Based Program Synthesis and Transformation …, 2013
302013
Relational program reasoning using compiler IR
M Kiefer, V Klebanov, M Ulbrich
Journal of Automated Reasoning 60 (3), 337-363, 2018
292018
A proof assistant for alloy specifications
M Ulbrich, U Geilmann, AA El Ghazi, M Taghdiri
International Conference on Tools and Algorithms for the Construction and …, 2012
202012
Proving JDK’s dual pivot quicksort correct
B Beckert, J Schiffl, PH Schmitt, M Ulbrich
Working Conference on Verified Software: Theories, Tools, and Experiments, 35-48, 2017
152017
Implementation-level verification of algorithms with KeY
D Bruns, W Mostowski, M Ulbrich
International journal on software tools for technology transfer 17 (6), 729-744, 2015
152015
Generalised test tables: A practical specification language for reactive systems
B Beckert, S Cha, M Ulbrich, B Vogel-Heuser, A Weigl
International Conference on Integrated Formal Methods, 129-144, 2017
132017
Dynamic logic for an intermediate language: verification, interaction and refinement
M Ulbrich
epubli, 2014
112014
VerifyThis-Verification Competition with a Human Factor.
G Ernst, M Huisman, W Mostowski, M Ulbrich
TACAS (3), 176-195, 2019
102019
Trends in relational program verification
B Beckert, M Ulbrich
Principled Software Development, 41-58, 2018
102018
Generalized test tables: A powerful and intuitive specification language for reactive systems
A Weigl, F Wiebe, M Ulbrich, S Ulewicz, S Cha, M Kirsten, B Beckert, ...
2017 IEEE 15th International Conference on Industrial Informatics (INDIN …, 2017
102017
A verification-supported evolution approach to assist software application engineers in industrial factory automation
S Ulewicz, M Ulbrich, A Weigl, M Kirsten, F Wiebe, B Beckert, ...
2016 IEEE International Symposium on Assembly and Manufacturing (ISAM), 19-25, 2016
102016
The system can't perform the operation now. Try again later.
Articles 1–20