Mattias Ulbrich

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 49

Top Venues

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
Formally Verifying an Efficient Sorter. TACAS (1) (2024)
Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE (2024)
Claudia Hildebrandt, Barbara Pampel, Bernhard Standl, Franz J. Hauck, Mattias Ulbrich, Barbara Paech
Neue Einblicke in den Berufswahlprozess von Informatiklehrkräften. INFOS (2023)
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. 35 (3) (2023)
Annika Vielsack, Miriam Klein, Thomas Niesenhaus, Mattias Ulbrich
The 'Choc-Machine' - an Introduction to Algorithmic Thinking using Finite State Machines. WiPSCE (2023)
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl
Scalable and Precise Refinement Types for Imperative Languages. iFM (2023)
Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM (2022)
Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich
Inferring Interval-Valued Floating-Point Preconditions. TACAS (1) (2022)
Florian Lanzinger, Mattias Ulbrich, Alexander Weigl
A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) (2022)
Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich
The Karlsruhe Java Verification Suite. The Logic of Software. A Tasting Menu of Formal Methods (2022)
Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) (2022)
Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) (2022)
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC (2022)
Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
Runtime Verification of Generalized Test Tables. NFM (2021)
Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Deductive Verification of Floating-Point Java Programs in KeY. CoRR (2021)
Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. 6 (4) (2021)
Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl
Scalability and precision by combining expressive type systems and deductive verification. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Deductive Verification of Floating-Point Java Programs in KeY. TACAS (2) (2021)
Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich
Reconstructing z3 proofs in KeY: there and back again. FTfJP@ECOOP (2021)
Bernhard Standl, Anette Bentz, Mattias Ulbrich, Annika Vielsack, Ingo Wagner
Design- and Evaluation-Concept for Teaching and Learning Laboratories in Informatics Teacher Education. ISSEP (2020)
Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch
Modular Regression Verification for Reactive Systems. ISoLA (2) (2020)
Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) (2020)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE (2020)
Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR (2019)
Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
VerifyThis - Verification Competition with a Human Factor. TACAS (3) (2019)
Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich
Smart Contracts: Application Scenarios for Deductive Program Verification. FM Workshops (1) (2019)
Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN (2019)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Using Relational Verification for Program Slicing. SEFM (2019)
Sarah Grebing, Jonas Klamroth, Mattias Ulbrich
Seamless Interactive Program Verification. VSTTE (2019)
Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich
Experience Report: Formal Methods in Material Science. CoRR (2018)
Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. ISoLA (2) (2018)
Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich
Program Equivalence (Dagstuhl Seminar 18151). Dagstuhl Reports 8 (4) (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT@ETAPS (2018)
Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR (2018)
Bernhard Beckert, Mattias Ulbrich
Trends in Relational Program Verification. Principled Software Development (2018)
Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification of pointer programs by predicate abstraction. Formal Methods Syst. Des. 52 (3) (2018)
Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. J. Autom. Reason. 60 (3) (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Achieving delta description of the control software for an automated production system evolution. CASE (2018)
Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. 66 (10) (2018)
Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM (2017)
Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN (2017)
Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
Generation of monitoring functions in production automation using test specifications. INDIN (2017)
Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference (2017)
Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
Proving JDK's Dual Pivot Quicksort Correct. VSTTE (2017)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM (2017)
Wojciech Mostowski, Mattias Ulbrich
Dynamic Dispatch for Method Contracts Through Abstract Predicates. LNCS Trans. Modul. Compos. 1 (2016)
Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
Relational Program Reasoning Using Compiler IR. VSTTE (2016)
Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert
Proving equivalence between control software variants for Programmable Logic Controllers. ETFA (2015)
Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
Regression Verification for Programmable Logic Controller Software. ICFEM (2015)
Peter H. Schmitt, Mattias Ulbrich
Axiomatization of Typed First-Order Logic. FM (2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating Regression Verification. Software Engineering & Management (2015)
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
Selected challenges of software evolution for automated production systems. INDIN (2015)
Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich
Regression verification for Java using a secure information flow calculus. FTfJP@ECOOP (2015)
Wojciech Mostowski, Mattias Ulbrich
Dynamic dispatch for method contracts through abstract predicates. MODULARITY (2015)
Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
Implementation-level verification of algorithms with KeY. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
Automating regression verification. ASE (2014)
Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri
A Dual-Engine for Early Analysis of Critical Systems. CoRR (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri
JKelloy: A Proof Assistant for Relational Specifications of Java Programs. NASA Formal Methods (2014)
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda
Reducing the Complexity of Quantified Formulas via Variable Elimination. CoRR (2014)
Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
Information Flow in Object-Oriented Software. LOPSTR (2013)
Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
A Proof Assistant for Alloy Specifications. TACAS (2012)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann
A dual-engine for early analysis of critical systems. GI-Jahrestagung (2011)
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, 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ß
The 1st Verified Software Competition: Experience Report. FM (2011)
Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
Dynamic Frames in Java Dynamic Logic. FoVeOOS (2010)
Mattias Ulbrich
A Dynamic Logic for Unstructured Programs with Embedded Assertions. FoVeOOS (2010)

Mattias Ulbrich.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mattias Ulbrich