System Verification through Program Verification. - Daniel Dietsch; Bernd Westphal; Andreas Podelski (FM, 2011)

Disambiguation of industrial standards through formalization and graphical languages. - Daniel Dietsch; Sergio Feo-Arenis; Bernd Westphal; Andreas Podelski (RE, 2011)

Towards successful subcontracting for software in small to medium-sized enterprises. - Bernd Westphal; Daniel Dietsch; Sergio Feo-Arenis; Andreas Podelski; Louis Pahlow; Jochen Morsbach; Barbara Sommer; Anke Fuchs; Christine Meierhöfer (RELAW, 2012)

Ultimate Automizer with SMTInterpol - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Evren Ermis; Jochen Hoenicke; Markus Lindenmann; Alexander Nutz; Christian Schilling 001; Andreas Podelski (TACAS, 2013)

Monitoring Student Activity in Collaborative Software Development - Daniel Dietsch; Andreas Podelski; Jaechang Nam; Pantelis M. Papadopoulos; Martin Schäf (CoRR, 2013)

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha (FM, 2014)

Ultimate Kojak - (Competition Contribution). - Evren Ermis; Alexander Nutz; Daniel Dietsch; Jochen Hoenicke; Andreas Podelski (TACAS, 2014)

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)

Fairness Modulo Theory: A New Approach to LTL Software Model Checking. - Daniel Dietsch; Matthias Heizmann; Vincent Langenfeld; Andreas Podelski (CAV (1), 2015)

Ultimate Automizer with Array Interpolation - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Jan Leike; Betim Musa; Andreas Podelski (TACAS, 2015)

ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). - Alexander Nutz; Daniel Dietsch; Mostafa Mahmoud Mohamed; Andreas Podelski (TACAS, 2015)

Witness validation and stepwise testification across software verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Andreas Stahlbauer (Software Engineering, 2016)

Correctness witnesses: exchanging verification results between verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (SIGSOFT FSE, 2016)

Ultimate Automizer with Two-track Proofs - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Marius Greitschus; Jan Leike; Betim Musa; Claus Schätzle; Andreas Podelski (TACAS, 2016)

Ready for testing: ensuring conformance to industrial standards through formal verification. - Sergio Feo-Arenis; Bernd Westphal; Daniel Dietsch; Marco Muñiz; Ahmad Siyar Andisha; Andreas Podelski (Formal Aspects Comput., 2016)

Automated verification of system requirements and software specifications. - Daniel Dietsch (2016)

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers". - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Zenodo, 2016)

Loop Invariants from Counterexamples. - Marius Greitschus; Daniel Dietsch; Andreas Podelski (SAS, 2017)

Exchanging Verification Witnesses between Verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann (Software Engineering, 2017)

Craig vs. Newton in software model checking. - Daniel Dietsch; Matthias Heizmann; Betim Musa; Alexander Nutz; Andreas Podelski (ESEC/SIGSOFT FSE, 2017)

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). - Marius Greitschus; Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). - Matthias Heizmann; Yu-Wen Chen; Daniel Dietsch; Marius Greitschus; Alexander Nutz; Betim Musa; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

Refining Trace Abstraction using Abstract Interpretation. - Marius Greitschus; Daniel Dietsch; Andreas Podelski (CoRR, 2017)

Incremental Verification Using Trace Abstraction. - Bat-Chen Rothenberg; Daniel Dietsch; Matthias Heizmann (SAS, 2018)

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). - Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling 001; Tanja Schindler (TACAS (2), 2018)

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). - Matthias Heizmann; Yu-Fang Chen 001; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li 031; Alexander Nutz; Betim Musa; Christian Schilling 001; Tanja Schindler; Andreas Podelski (TACAS (2), 2018)

The Map Equality Domain. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (VSTTE, 2018)

Scalable Analysis of Real-Time Requirements. - Vincent Langenfeld; Daniel Dietsch; Bernd Westphal; Jochen Hoenicke; Amalinda Post (RE, 2019)

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (CoRR, 2019)

Ultimate TreeAutomizer (CHC-COMP Tool Description). - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (HCVS/PERR@ETAPS, 2019)

Ultimate Automizer SV-COMP 2020 Competition Contribution. - Matthias Heizmann; Max Barth; Daniel Dietsch; Jill Enke; Leonard Fichtner; Dominik Klumpp; Mehdi Naouar; Lars Nitzke; Alexander Nutz; Andreas Podelski; Elisabeth Schanno; Claus Schätzle (Zenodo, 2019)

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). - Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Frank Schüssele (TACAS (2), 2020)

Reproduction Package for TOSEM Article 'Verification Witnesses'. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (Zenodo, 2020)

Proving LTL Properties of Bitvector Programs and Decompiled Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (APLAS, 2021)

Separating Map Variables in a Logic-Based Intermediate Verification Language. - Daniel Dietsch; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski (NETYS, 2021)

Hanfor: Semantic Requirements Review at Scale. - Samuel Becker; Daniel Dietsch; Nico Hauff; Elisabeth Henkel; Vincent Langenfeld; Andreas Podelski; Bernd Westphal (REFSQ Workshops, 2021)

Verification of Concurrent Programs Using Petri Net Unfoldings. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Mehdi Naouar; Andreas Podelski; Claus Schätzle (VMCAI, 2021)

Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. - Yuandong Cyrus Liu; Chengbin Pang; Daniel Dietsch; Eric Koskinen; Ton-Chanh Le; Georgios Portokalidis; Jun Xu 024 (CoRR, 2021)

Ultimate GemCutter SV-COMP 2022 Competition Contribution. - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Marcel Ebbinghaus; Azadeh Farzan; Andreas Podelski (Zenodo, 2021)

A Software Lab with On-demand Support. - Daniel Dietsch; Vincent Langenfeld (HICSS, 2022)

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Marcel Ebbinghaus; Azadeh Farzan; Andreas Podelski (TACAS (2), 2022)

Verification Witnesses. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Thomas Lemberger 002; Michael Tautschnig (ACM Trans. Softw. Eng. Methodol., 2022)

Ultimate Automizer (SV-COMP 2022 - Modified). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate Taipan SV-COMP 2023 Competition Contribution. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate Automizer SV-COMP 2023 Competition Contribution. - Matthias Heizmann; Daniel Dietsch; Dominik Klumpp; Frank Schüssele; Andreas Podelski (Zenodo, 2022)

Ultimate GemCutter SV-COMP 2023 Competition Contribution. - Dominik Klumpp; Daniel Dietsch; Matthias Heizmann; Frank Schüssele; Azadeh Farzan; Andreas Podelski (Zenodo, 2022)

Ultimate Kojak SV-COMP 2023 Competition Contribution. - Frank Schüssele; Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Andreas Podelski (Zenodo, 2022)

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Frank Schüssele; Andreas Podelski (TACAS (2), 2023)

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). - Matthias Heizmann; Max Barth; Daniel Dietsch; Leonard Fichtner; Jochen Hoenicke; Dominik Klumpp; Mehdi Naouar; Tanja Schindler; Frank Schüssele; Andreas Podelski (TACAS (2), 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate GemCutter SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Automizer SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Kojak SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate Taipan SV-COMP 2024. - Daniel Dietsch; Manuel Bentele; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2023)

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). - Max Barth; Daniel Dietsch; Matthias Heizmann; Marie-Christine Jakobs (FASE, 2024)

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). - Frank Schüssele; Manuel Bentele; Daniel Dietsch; Matthias Heizmann; Xinyu Jiang; Dominik Klumpp; Andreas Podelski (TACAS (3), 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Kojak SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Taipan SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate GemCutter SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Referee SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)

Ultimate Automizer SV-COMP 2025. - Daniel Dietsch; Manuel Bentele; Marcel Ebbinghaus; Matthias Heizmann; Dominik Klumpp; Andreas Podelski; Frank Schüssele (Zenodo, 2024)