Matthias Heizmann

Marie-Christine Jakobs

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

[BibT_eX]

[DOI]

Dataset, November, 2023

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2023

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

[BibT_eX]

[DOI]

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

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).

[BibT_eX]

[DOI]

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

2022

Ultimate Kojak SV-COMP 2023 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, December, 2022

Ultimate GemCutter SV-COMP 2023 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, December, 2022

Ultimate Automizer SV-COMP 2023 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, December, 2022

Ultimate Taipan SV-COMP 2023 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, December, 2022

Ultimate Automizer (SV-COMP 2022 - Modified).

[BibT_eX]

[DOI]

Dataset, January, 2022

Verification Witnesses.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2022

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).

[BibT_eX]

[DOI]

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

2021

Ultimate GemCutter SV-COMP 2022 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, November, 2021

Verification of Concurrent Programs Using Petri Net Unfoldings.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Separating Map Variables in a Logic-Based Intermediate Verification Language.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - 9th International Conference, 2021

2020

Reproduction Package for TOSEM Article 'Verification Witnesses'.

[BibT_eX]

[DOI]

Dataset, March, 2020

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).

[BibT_eX]

[DOI]

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

The IBM z15 High Frequency Mainframe Branch Predictor Industrial Product.

[BibT_eX]

[DOI]

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

[BibT_eX]

[DOI]

Dataset, November, 2019

The SMT Competition 2015-2018.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2019

Ultimate TreeAutomizer (CHC-COMP Tool Description).

[BibT_eX]

[DOI]

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages.

[BibT_eX]

[DOI]

CoRR, 2019

Semantic Fault Localization and Suspiciousness Ranking.

[BibT_eX]

[DOI]

Maria Christakis

Muhammad Numair Mansur

Christian Schilling

Valentin Wüstholz

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

2018

The Map Equality Domain.

[BibT_eX]

[DOI]

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

Geometric Nontermination Arguments.

[BibT_eX]

[DOI]

Jan Leike

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

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

[BibT_eX]

[DOI]

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

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).

[BibT_eX]

[DOI]

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

Incremental Verification Using Trace Abstraction.

[BibT_eX]

[DOI]

Bat-Chen Rothenberg

Daniel Dietsch

Proceedings of the Static Analysis - 25th International Symposium, 2018

Advanced automata-based algorithms for program termination checking.

[BibT_eX]

[DOI]

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Minimization of Visibly Pushdown Automata Using Partial Max-SAT.

[BibT_eX]

[DOI]

Christian Schilling

Daniel Tischner

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

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

[BibT_eX]

[DOI]

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

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

[BibT_eX]

[DOI]

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

Craig vs. Newton in software model checking.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Exchanging Verification Witnesses between Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

2016

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".

[BibT_eX]

[DOI]

Dataset, July, 2016

Ultimate Automizer with Two-track Proofs - (Competition Contribution).

[BibT_eX]

[DOI]

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

Complementing Semi-deterministic Büchi Automata.

[BibT_eX]

[DOI]

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

Correctness witnesses: exchanging verification results between verifiers.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Witness validation and stepwise testification across software verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

2015

Traces, interpolants, and automata: a new approach to automatic software verification.

[BibT_eX]

[DOI]

PhD thesis, 2015

Ranking Templates for Linear Loops.

[BibT_eX]

[DOI]

Jan Leike

Log. Methods Comput. Sci., 2015

Ultimate Automizer with Array Interpolation - (Competition Contribution).

[BibT_eX]

[DOI]

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

Automated Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2015

Fairness Modulo Theory: A New Approach to LTL Software Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Geometric Series as Nontermination Arguments for Linear Lasso Programs.

[BibT_eX]

[DOI]

Jan Leike

CoRR, 2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

[BibT_eX]

[DOI]

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

Termination Analysis by Learning Terminating Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

[BibT_eX]

[DOI]

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

Software Model Checking for People Who Love Automata.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Linear Ranking for Linear Lasso Programs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

2010

Size-Change Termination and Transition Invariants.

[BibT_eX]

[DOI]

Neil D. Jones

Proceedings of the Static Analysis - 17th International Symposium, 2010

Nested interpolants.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Functional verification of the IBM System z10 processor chipset.

[BibT_eX]

[DOI]

Christopher A. Krygowski

IBM J. Res. Dev., 2009

Refinement of Trace Abstraction.

[BibT_eX]

[DOI]