×
Author ID: ulbrich.mattias Recent zbMATH articles by "Ulbrich, Mattias"
Published as: Ulbrich, Mattias

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 13 times in 11 Documents Cited by Year
Relational program reasoning using compiler IR. Zbl 1426.68052
Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias
4
2018
Proving JDK’s dual pivot quicksort correct. Zbl 1403.68047
Beckert, Bernhard; Schiffl, Jonas; Schmitt, Peter H.; Ulbrich, Mattias
4
2017
Information flow in object-oriented software. Zbl 1453.68027
Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias
2
2014
Formal specification and verification of JDK’s identity hash map implementation. Zbl 1502.68054
de Boer, Martin; De Gouw, Stijn; Klamroth, Jonas; Jung, Christian; Ulbrich, Mattias; Weigl, Alexander
2
2022
Dynamic frames in Java dynamic logic. Zbl 1308.68046
Schmitt, Peter H.; Ulbrich, Mattias; Weiß, Benjamin
1
2011
Formal specification and verification of JDK’s identity hash map implementation. Zbl 1502.68054
de Boer, Martin; De Gouw, Stijn; Klamroth, Jonas; Jung, Christian; Ulbrich, Mattias; Weigl, Alexander
2
2022
Relational program reasoning using compiler IR. Zbl 1426.68052
Kiefer, Moritz; Klebanov, Vladimir; Ulbrich, Mattias
4
2018
Proving JDK’s dual pivot quicksort correct. Zbl 1403.68047
Beckert, Bernhard; Schiffl, Jonas; Schmitt, Peter H.; Ulbrich, Mattias
4
2017
Information flow in object-oriented software. Zbl 1453.68027
Beckert, Bernhard; Bruns, Daniel; Klebanov, Vladimir; Scheben, Christoph; Schmitt, Peter H.; Ulbrich, Mattias
2
2014
Dynamic frames in Java dynamic logic. Zbl 1308.68046
Schmitt, Peter H.; Ulbrich, Mattias; Weiß, Benjamin
1
2011

Citations by Year