Mattias Ulbrich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
37
Venues
13
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
37 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | A Framework for the Interoperable Specification and Verification of Encapsulated Data Structures. | Wolfram Pfeifer, Werner Dietl, Mattias Ulbrich |
| 2025 | SEFM | Observable Semantics for Characterising Consistency Between Heterogeneous Models. | Henriette Frber, Romain Pascual, Terru Stbinger, Mattias Ulbrich |
| 2024 | FM | The Java Verification Tool KeY:A Tutorial. | Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hhnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl |
| 2024 | ISoLA | SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. | Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2024 | ISoLA | Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification. | Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich |
| 2024 | ISoLA | Formal Foundations of Consistency in Model-Driven Development. | Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer |
| 2024 | TACAS | Formally Verifying an Efficient Sorter. | Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt |
| 2023 | IFM | Scalable and Precise Refinement Types for Imperative Languages. | Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl |
| 2022 | ICTAC | Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2022 | IFM | Formal Specification and Verification of JDK's Identity Hash Map Implementation. | Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl |
| 2022 | ISoLA | SpecifyThis - Bridging Gaps Between Program Specification Paradigms. | Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2022 | ISoLA | Towards a Usable and Sustainable Deductive Verification Tool. | Bernhard Beckert, Richard Bubel, Reiner Hhnle, Mattias Ulbrich |
| 2022 | ISoLA | A Refactoring for Data Minimisation Using Formal Verification. | Florian Lanzinger, Mattias Ulbrich, Alexander Weigl |
| 2022 | TACAS | Inferring Interval-Valued Floating-Point Preconditions. | Jonas Krmer, Lionel Blatter, Eva Darulova, Mattias Ulbrich |
| 2021 | ECOOP | Reconstructing z3 proofs in KeY: there and back again. | Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich |
| 2021 | TACAS | Deductive Verification of Floating-Point Java Programs in KeY. | Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt |
| 2020 | ICSE | Relational Test Tables: A Practical Specification Language for Evolution and Security. | Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser |
| 2020 | ISoLA | Modular Verification of JML Contracts Using Bounded Model Checking. | Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich |
| 2020 | ISoLA | Modular Regression Verification for Reactive Systems. | Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch |
| 2019 | FM | Smart Contracts: Application Scenarios for Deductive Program Verification. | Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich |
| 2019 | INDIN | On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. | Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser |
| 2019 | SEFM | Using Relational Verification for Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2019 | TACAS | VerifyThis - Verification Competition with a Human Factor. | Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich |
| 2018 | ISoLA | Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. | Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich |
| 2017 | INDIN | Generation of monitoring functions in production automation using test specifications. | Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert |
| 2017 | INDIN | Generalized test tables: A powerful and intuitive specification language for reactive systems. | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser |
| 2017 | IFM | SemSlice: Exploiting Relational Verification for Automatic Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2017 | IFM | Generalised Test Tables: A Practical Specification Language for Reactive Systems. | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2015 | ECOOP | Regression verification for Java using a secure information flow calculus. | Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich |
| 2015 | ETFA | Proving equivalence between control software variants for Programmable Logic Controllers. | Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert |
| 2015 | FM | Axiomatization of Typed First-Order Logic. | Peter H. Schmitt, Mattias Ulbrich |
| 2015 | ICFEM | Regression Verification for Programmable Logic Controller Software. | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2015 | INDIN | Selected challenges of software evolution for automated production systems. | Birgit Vogel-Heuser, Stefan Feldmann, Jens Folmer, Jan Ladiges, Alexander Fay, Sascha Lity, Matthias Tichy, Matthias Kowal, Ina Schaefer, Christopher Haubeck, Winfried Lamersdorf, Timo Kehrer, Sinem Getir, Mattias Ulbrich, Vladimir Klebanov, Bernhard Beckert |
| 2013 | LOPSTR | Information Flow in Object-Oriented Software. | Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich |
| 2012 | TACAS | A Proof Assistant for Alloy Specifications. | Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri |
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Wei |
| 2011 | GI | A dual-engine for early analysis of critical systems. | Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann |