Mattias Ulbrich

According to our database, Mattias Ulbrich authored at least 71 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Formally Verifying an Efficient Sorter.

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Formally Verifying an Efficient Sorter - Verification and Benchmarking Artifact.

Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt

Dataset, December, 2023

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

Formal Aspects Comput., September, 2023

Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Int. J. Softw. Tools Technol. Transf., April, 2023

The 'Choc-Machine' - an Introduction to Algorithmic Thinking using Finite State Machines.

Annika Vielsack, Miriam Klein, Thomas Niesenhaus, Mattias Ulbrich

Proceedings of the 18th WiPSCE Conference on Primary and Secondary Computing Education Research, 2023

Neue Einblicke in den Berufswahlprozess von Informatiklehrkräften.

Claudia Hildebrandt, Barbara Pampel, Bernhard Standl, Franz J. Hauck, Mattias Ulbrich, Barbara Paech

Proceedings of the Informatikunterricht zwischen Aktualität und Zeitlosigkeit: 20. GI-Fachtagung Informatik und Schule, 2023

Scalable and Precise Refinement Types for Imperative Languages.

Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl

Proceedings of the iFM 2023 - 18th International Conference, 2023

2022

Inferring Interval-Valued Floating-Point Preconditions.

Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

A Refactoring for Data Minimisation Using Formal Verification.

Florian Lanzinger, Mattias Ulbrich, Alexander Weigl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

Towards a Usable and Sustainable Deductive Verification Tool.

Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

SpecifyThis - Bridging Gaps Between Program Specification Paradigms.

Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

The Karlsruhe Java Verification Suite.

Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich

Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022

2021

Scalability and precision by combining expressive type systems and deductive verification.

Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl

Proc. ACM Program. Lang., 2021

Table-based formal specification approaches for control engineers - empirical studies of usability.

Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert

IET Cyper-Phys. Syst.: Theory & Appl., 2021

Deductive Verification of Floating-Point Java Programs in KeY.

Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Runtime Verification of Generalized Test Tables.

Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Reconstructing z3 proofs in KeY: there and back again.

Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

The VerifyThis Collaborative Long Term Challenge.

Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Usability Recommendations for User Guidance in Deductive Program Verification.

Sarah Grebing, Mattias Ulbrich

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Design- and Evaluation-Concept for Teaching and Learning Laboratories in Informatics Teacher Education.

Bernhard Standl, Anette Bentz, Mattias Ulbrich, Annika Vielsack, Ingo Wagner

Proceedings of the Informatics in Schools. Engaging Learners in Computational Thinking, 2020

Modular Regression Verification for Reactive Systems.

Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Modular Verification of JML Contracts Using Bounded Model Checking.

Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

Relational Test Tables: A Practical Specification Language for Evolution and Security.

Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Seamless Interactive Program Verification.

Sarah Grebing, Jonas Klamroth, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

VerifyThis - Verification Competition with a Human Factor.

Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Using Relational Verification for Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

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

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Smart Contracts: Application Scenarios for Deductive Program Verification.

Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Learning from Evolution for Evolution.

Stefan Kögel, Matthias Tichy, Abhishek Chakraborty, Alexander Fay, Birgit Vogel-Heuser, Christopher Haubeck, Gabriele Taentzer, Timo Kehrer, Jan Ladiges, Lars Grunske, Mattias Ulbrich, Safa Bougouffa, Sinem Getir, Suhyun Cha, Udo Kelter, Winfried Lamersdorf, Kiana Busch, Robert Heinrich, Sandro Koch

Proceedings of the Managed Software Evolution., 2019

Addressed Challenges.

Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich

Proceedings of the Managed Software Evolution., 2019

Formal Verification of Evolutionary Changes.

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl

Proceedings of the Managed Software Evolution., 2019

2018

Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis.

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich

J. Autom. Reason., 2018

Automating regression verification of pointer programs by predicate abstraction.

Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich

Formal Methods Syst. Des., 2018

Program Equivalence (Dagstuhl Seminar 18151).

Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich

Dagstuhl Reports, 2018

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018

Experience Report: Formal Methods in Material Science.

Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich

CoRR, 2018

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU.

Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser

Autom., 2018

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms.

Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.

Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Achieving delta description of the control software for an automated production system evolution.

Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser

Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Trends in Relational Program Verification.

Bernhard Beckert, Mattias Ulbrich

Proceedings of the Principled Software Development, 2018

2017

Proving JDK's Dual Pivot Quicksort Correct.

Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

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

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generation of monitoring functions in production automation using test specifications.

Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert

Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017

Generalised Test Tables: A Practical Specification Language for Reactive Systems.

Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

SemSlice: Exploiting Relational Verification for Automatic Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

An Interaction Concept for Program Verification Systems with Explicit Proof Object.

Bernhard Beckert, Sarah Grebing, Mattias Ulbrich

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Proof Search with Taclets.

Philipp Rümmer, Mattias Ulbrich

Proceedings of the Deductive Software Verification - The KeY Book, 2016

From Specification to Proof Obligations.

Daniel Grahl, Mattias Ulbrich

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Modular Specification and Verification.

Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Dynamic Dispatch for Method Contracts Through Abstract Predicates.

Wojciech Mostowski, Mattias Ulbrich

LNCS Trans. Modul. Compos., 2016

Relational Program Reasoning Using Compiler IR.

Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2016

2015

Implementation-level verification of algorithms with KeY.

Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich

Int. J. Softw. Tools Technol. Transf., 2015

Automating Regression Verification.

Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

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

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Regression Verification for Programmable Logic Controller Software.

Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl

Proceedings of the Formal Methods and Software Engineering, 2015

Axiomatization of Typed First-Order Logic.

Peter H. Schmitt, Mattias Ulbrich

Proceedings of the FM 2015: Formal Methods, 2015

Proving equivalence between control software variants for Programmable Logic Controllers.

Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Regression verification for Java using a secure information flow calculus.

Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

2014

Reducing the Complexity of Quantified Formulas via Variable Elimination.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda

CoRR, 2014

The KeY Platform for Verification and Analysis of Java Programs.

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

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

JKelloy: A Proof Assistant for Relational Specifications of Java Programs.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

2013

Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement.

Mattias Ulbrich

PhD thesis, 2013

Information Flow in Object-Oriented Software.

Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

2012

A Proof Assistant for Alloy Specifications.

Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

2011

A dual-engine for early analysis of critical systems.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

The COST IC0701 Verification Competition 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

Proceedings of the Formal Verification of Object-Oriented Software, 2011

The 1st Verified Software Competition: Experience Report.

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ß

Proceedings of the FM 2011: Formal Methods, 2011

2010

A Dynamic Logic for Unstructured Programs with Embedded Assertions.

Mattias Ulbrich

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Dynamic Frames in Java Dynamic Logic.

Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß

Proceedings of the Formal Verification of Object-Oriented Software, 2010