Follow
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
4052016
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
1582014
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, ...
Verified Software: Theories, Tools and Experiments: 6th International …, 2014
892014
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
772011
Relational program reasoning using compiler IR: Combining static verification and dynamic analysis
M Kiefer, V Klebanov, M Ulbrich
Journal of Automated Reasoning 60, 337-363, 2018
45*2018
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
Formal Verification of Object-Oriented Software: International Conference …, 2012
442012
Dynamic frames in Java dynamic logic
PH Schmitt, M Ulbrich, B Weiß
Formal Verification of Object-Oriented Software: International Conference …, 2011
422011
Regression verification for programmable logic controller software
B Beckert, M Ulbrich, B Vogel-Heuser, A Weigl
Formal Methods and Software Engineering: 17th International Conference on …, 2015
402015
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
392015
Information flow in object-oriented software
B Beckert, D Bruns, V Klebanov, C Scheben, PH Schmitt, M Ulbrich
Logic-Based Program Synthesis and Transformation: 23rd International …, 2014
352014
Proving JDK’s dual pivot quicksort correct
B Beckert, J Schiffl, PH Schmitt, M Ulbrich
Verified Software. Theories, Tools, and Experiments: 9th International …, 2017
282017
Modular verification of JML contracts using bounded model checking
B Beckert, M Kirsten, J Klamroth, M Ulbrich
Leveraging Applications of Formal Methods, Verification and Validation …, 2020
262020
A proof assistant for alloy specifications
M Ulbrich, U Geilmann, AA El Ghazi, M Taghdiri
Tools and Algorithms for the Construction and Analysis of Systems: 18th …, 2012
232012
Trends in relational program verification
B Beckert, M Ulbrich
Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter …, 2018
212018
VerifyThis–verification competition with a human factor
G Ernst, M Huisman, W Mostowski, M Ulbrich
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
202019
Implementation-level verification of algorithms with KeY
D Bruns, W Mostowski, M Ulbrich
International journal on software tools for technology transfer 17, 729-744, 2015
182015
VerifyThis 2017: A program verification competition
M Huisman, R Monahan, P Müller, W Mostowski, M Ulbrich
Karlsruhe Institute of Technology, 2017
172017
Generalised test tables: a practical specification language for reactive systems
B Beckert, S Cha, M Ulbrich, B Vogel-Heuser, A Weigl
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
142017
Formal specification and verification of JDK’s identity hash map implementation
M De Boer, S De Gouw, J Klamroth, C Jung, M Ulbrich, A Weigl
Formal Aspects of Computing 35 (3), 1-26, 2023
132023
Automating regression verification of pointer programs by predicate abstraction
V Klebanov, P Rümmer, M Ulbrich
Formal methods in system design 52, 229-259, 2018
132018
The system can't perform the operation now. Try again later.
Articles 1–20