Mattias Ulbrich

89 papers A* 1A 1B 8C 8Journal 17Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Heterogeneous Dynamic Logic: Provability Modulo Program Theories. CoRR Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert
2025	B	`conf`	Observable Semantics for Characterising Consistency Between Heterogeneous Models. SEFM Henriette Färber, Romain Pascual, Terru Stübinger, Mattias Ulbrich
2025	—	`conf`	The Many Uses of Dynamic Logic. Go Where the Bugs Are Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2024	—	`conf`	Contract Automata: A Specification Language for Mode-Based Systems. FormaliSE@ICSE Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich
2024	—	`conf`	Contract-LIB: A Proposal for a Common Interchange Format for Software System Specification. ISoLA (3) Gidon Ernst, Wolfram Pfeifer, Mattias Ulbrich
2024	—	`conf`	Formal Foundations of Consistency in Model-Driven Development. ISoLA (3) Romain Pascual, Bernhard Beckert, Mattias Ulbrich, Michael Kirsten, Wolfram Pfeifer
2024	—	`conf`	Formally Verifying an Efficient Sorter. TACAS (1) Bernhard Beckert, Peter Sanders, Mattias Ulbrich, Julian Wiesler, Sascha Witt
2024	—	`conf`	SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. ISoLA (3) Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich
2024	—	`conf`	The Java Verification Tool KeY:A Tutorial. FM (2) Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hähnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl
2023	J	`jnl`	Combining rule- and SMT-based reasoning for verifying floating-point Java programs in KeY. Int. J. Softw. Tools Technol. Transf. Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2023	J	`jnl`	Formal Specification and Verification of JDK's Identity Hash Map Implementation. Formal Aspects Comput. Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2023	—	`conf`	Neue Einblicke in den Berufswahlprozess von Informatiklehrkräften. INFOS Claudia Hildebrandt, Barbara Pampel, Bernhard Standl, Franz J. Hauck, Mattias Ulbrich, Barbara Paech
2023	B	`conf`	Scalable and Precise Refinement Types for Imperative Languages. iFM Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl
2023	—	`conf`	The 'Choc-Machine' - an Introduction to Algorithmic Thinking using Finite State Machines. WiPSCE Annika Vielsack, Miriam Klein, Thomas Niesenhaus, Mattias Ulbrich
2023	—	`conf`	The VerifyThis Collaborative Long-Term Challenge Series. TOOLympics@ETAPS Wolfgang Ahrendt, Gidon Ernst, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2022	—	`conf`	A Refactoring for Data Minimisation Using Formal Verification. ISoLA (2) Florian Lanzinger, Mattias Ulbrich, Alexander Weigl
2022	B	`conf`	Formal Specification and Verification of JDK's Identity Hash Map Implementation. IFM Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl
2022	C	`conf`	Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. ICTAC Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2022	—	`conf`	Inferring Interval-Valued Floating-Point Preconditions. TACAS (1) Jonas Krämer, Lionel Blatter, Eva Darulova, Mattias Ulbrich
2022	—	`conf`	SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
2022	—	`conf`	The Karlsruhe Java Verification Suite. The Logic of Software. A Tasting Menu of Formal Methods Jonas Klamroth, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich
2022	—	`conf`	Towards a Usable and Sustainable Deductive Verification Tool. ISoLA (2) Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2021	—	`conf`	Deductive Verification of Floating-Point Java Programs in KeY. TACAS (2) Rosa Abbasi, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2021	J	`jnl`	Deductive Verification of Floating-Point Java Programs in KeY. CoRR Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
2021	—	`conf`	Reconstructing z3 proofs in KeY: there and back again. FTfJP@ECOOP Wolfram Pfeifer, Jonas Schiffl, Mattias Ulbrich
2021	—	`conf`	Runtime Verification of Generalized Test Tables. NFM Alexander Weigl, Mattias Ulbrich, Shmuel S. Tyszberowicz, Jonas Klamroth
2021	J	`jnl`	Scalability and precision by combining expressive type systems and deductive verification. Proc. ACM Program. Lang. Florian Lanzinger, Alexander Weigl, Mattias Ulbrich, Werner Dietl
2021	J	`jnl`	Table-based formal specification approaches for control engineers - empirical studies of usability. IET Cyper-Phys. Syst.: Theory & Appl. Suhyun Cha, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2020	—	`book`	Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY 20 Years of KeY Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Mattias Ulbrich
2020	—	`conf`	Design- and Evaluation-Concept for Teaching and Learning Laboratories in Informatics Teacher Education. ISSEP Bernhard Standl, Anette Bentz, Mattias Ulbrich, Annika Vielsack, Ingo Wagner
2020	—	`conf`	Modular Regression Verification for Reactive Systems. ISoLA (2) Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch
2020	—	`conf`	Modular Verification of JML Contracts Using Bounded Model Checking. ISoLA (1) Bernhard Beckert, Michael Kirsten, Jonas Klamroth, Mattias Ulbrich
2020	—	`conf`	Relational Test Tables: A Practical Specification Language for Evolution and Security. FormaliSE@ICSE Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2020	—	`ch.`	The VerifyThis Collaborative Long Term Challenge. 20 Years of KeY Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2020	—	`ch.`	Usability Recommendations for User Guidance in Deductive Program Verification. 20 Years of KeY Sarah Grebing, Mattias Ulbrich
2019	—	`ch.`	Addressed Challenges. Managed Software Evolution Reiner Jung, Lukas Märtin, Jan Ole Johanssen, Barbara Paech, Malte Lochau, Thomas Thüm, Kurt Schneider, Matthias Tichy, Mattias Ulbrich
2019	—	`ch.`	Formal Verification of Evolutionary Changes. Managed Software Evolution Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
2019	—	`ch.`	Learning from Evolution for Evolution. Managed Software 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
2019	C	`conf`	On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. INDIN Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser
2019	—	`ed.`	Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. HCVS/PERR@ETAPS Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich
2019	J	`jnl`	Relational Test Tables: A Practical Specification Language for Evolution and Security. CoRR Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser
2019	—	`conf`	Seamless Interactive Program Verification. VSTTE Sarah Grebing, Jonas Klamroth, Mattias Ulbrich
2019	—	`conf`	Smart Contracts: Application Scenarios for Deductive Program Verification. FM Workshops (1) Bernhard Beckert, Jonas Schiffl, Mattias Ulbrich
2019	B	`conf`	Using Relational Verification for Program Slicing. SEFM Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
2019	—	`conf`	VerifyThis - Verification Competition with a Human Factor. TACAS (3) Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
2018	—	`conf`	Achieving delta description of the control software for an automated production system evolution. CASE Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018	J	`jnl`	Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. Autom. Suhyun Cha, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert, Birgit Vogel-Heuser
2018	J	`jnl`	Automating regression verification of pointer programs by predicate abstraction. Formal Methods Syst. Des. Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
2018	J	`jnl`	Experience Report: Formal Methods in Material Science. CoRR Bernhard Beckert, Britta Nestler, Moritz Kiefer, Michael Selzer, Mattias Ulbrich
2018	J	`jnl`	Program Equivalence (Dagstuhl Seminar 18151). Dagstuhl Reports Shuvendu K. Lahiri, Andrzej S. Murawski, Ofer Strichman, Mattias Ulbrich
2018	—	`conf`	Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. MARS/VPT Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018	—	`conf`	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. VSTTE Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018	J	`jnl`	Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. CoRR Bernhard Beckert, Timo Bingmann, Moritz Kiefer, Peter Sanders, Mattias Ulbrich, Alexander Weigl
2018	J	`jnl`	Relational Program Reasoning Using Compiler IR - Combining Static Verification and Dynamic Analysis. J. Autom. Reason. Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
2018	—	`conf`	Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. ISoLA (2) Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
2018	—	`conf`	Trends in Relational Program Verification. Principled Software Development Bernhard Beckert, Mattias Ulbrich
2017	—	`conf`	An Interaction Concept for Program Verification Systems with Explicit Proof Object. Haifa Verification Conference Bernhard Beckert, Sarah Grebing, Mattias Ulbrich
2017	B	`conf`	Generalised Test Tables: A Practical Specification Language for Reactive Systems. IFM Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2017	C	`conf`	Generalized test tables: A powerful and intuitive specification language for reactive systems. INDIN Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser
2017	C	`conf`	Generation of monitoring functions in production automation using test specifications. INDIN Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert
2017	—	`conf`	Proving JDK's Dual Pivot Quicksort Correct. VSTTE Bernhard Beckert, Jonas Schiffl, Peter H. Schmitt, Mattias Ulbrich
2017	B	`conf`	SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
2016	—	`book`	Deductive Software Verification - The KeY Book - From Theory to Practice Deductive Software Verification Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich
2016	J	`jnl`	Dynamic Dispatch for Method Contracts Through Abstract Predicates. LNCS Trans. Modul. Compos. Wojciech Mostowski, Mattias Ulbrich
2016	—	`ch.`	From Specification to Proof Obligations. Deductive Software Verification Daniel Grahl, Mattias Ulbrich
2016	—	`ch.`	Modular Specification and Verification. Deductive Software Verification Daniel Grahl, Richard Bubel, Wojciech Mostowski, Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß
2016	—	`ch.`	Proof Search with Taclets. Deductive Software Verification Philipp Rümmer, Mattias Ulbrich
2016	—	`conf`	Relational Program Reasoning Using Compiler IR. VSTTE Moritz Kiefer, Vladimir Klebanov, Mattias Ulbrich
2015	—	`conf`	Automating Regression Verification. Software Engineering & Management Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
2015	B	`conf`	Axiomatization of Typed First-Order Logic. FM Peter H. Schmitt, Mattias Ulbrich
2015	—	`conf`	Dynamic dispatch for method contracts through abstract predicates. MODULARITY Wojciech Mostowski, Mattias Ulbrich
2015	J	`jnl`	Implementation-level verification of algorithms with KeY. Int. J. Softw. Tools Technol. Transf. Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich
2015	C	`conf`	Proving equivalence between control software variants for Programmable Logic Controllers. ETFA Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert
2015	C	`conf`	Regression Verification for Programmable Logic Controller Software. ICFEM Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl
2015	—	`conf`	Regression verification for Java using a secure information flow calculus. FTfJP@ECOOP Bernhard Beckert, Vladimir Klebanov, Mattias Ulbrich
2015	C	`conf`	Selected challenges of software evolution for automated production systems. INDIN 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
2014	J	`jnl`	A Dual-Engine for Early Analysis of Critical Systems. CoRR Aboubakr Achraf El Ghazi, Ulrich Geilmann, Mattias Ulbrich, Mana Taghdiri
2014	A*	`conf`	Automating regression verification. ASE Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer, Mattias Ulbrich
2014	—	`conf`	JKelloy: A Proof Assistant for Relational Specifications of Java Programs. NASA Formal Methods Aboubakr Achraf El Ghazi, Mattias Ulbrich, Christoph Gladisch, Shmuel S. Tyszberowicz, Mana Taghdiri
2014	J	`jnl`	Reducing the Complexity of Quantified Formulas via Variable Elimination. CoRR Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda
2014	—	`conf`	The KeY Platform for Verification and Analysis of Java Programs. VSTTE 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
2013	—	`—`	Dynamic Logic for an Intermediate Language: Verification, Interaction and Refinement. Mattias Ulbrich
2013	C	`conf`	Information Flow in Object-Oriented Software. LOPSTR Bernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich
2012	A	`conf`	A Proof Assistant for Alloy Specifications. TACAS Mattias Ulbrich, Ulrich Geilmann, Aboubakr Achraf El Ghazi, Mana Taghdiri
2011	—	`conf`	A dual-engine for early analysis of critical systems. GI-Jahrestagung Aboubakr Achraf El Ghazi, Mana Taghdiri, Mattias Ulbrich, Ulrich Geilmann
2011	B	`conf`	The 1st Verified Software Competition: Experience Report. FM 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ß
2011	—	`conf`	The COST IC0701 Verification Competition 2011. FoVeOOS 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
2010	—	`conf`	A Dynamic Logic for Unstructured Programs with Embedded Assertions. FoVeOOS Mattias Ulbrich
2010	—	`conf`	Dynamic Frames in Java Dynamic Logic. FoVeOOS Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß