Daniel Dietsch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
9
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution). | Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Krner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2024 | FASE | Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2024 | TACAS | Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). | Frank Schssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski |
| 2023 | TACAS | Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2023 | TACAS | 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 Schssele, Andreas Podelski |
| 2022 | TACAS | Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). | Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski |
| 2021 | APLAS | 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 |
| 2021 | REFSQ | Hanfor: Semantic Requirements Review at Scale. | Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal |
| 2021 | VMCAI | Verification of Concurrent Programs Using Petri Net Unfoldings. | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schtzle |
| 2020 | TACAS | Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Frank Schssele |
| 2019 | RE | Scalable Analysis of Real-Time Requirements. | Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post |
| 2018 | SAS | Incremental Verification Using Trace Abstraction. | Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
| 2018 | TACAS | Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler |
| 2018 | TACAS | Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). | Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski |
| 2017 | SAS | Loop Invariants from Counterexamples. | Marius Greitschus, Daniel Dietsch, Andreas Podelski |
| 2017 | TACAS | Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | TACAS | 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 Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2016 | TACAS | Ultimate Automizer with Two-track Proofs - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schtzle, Andreas Podelski |
| 2015 | CAV | Fairness Modulo Theory: A New Approach to LTL Software Model Checking. | Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski |
| 2015 | TACAS | Ultimate Automizer with Array Interpolation - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski |
| 2015 | TACAS | ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). | Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski |
| 2014 | FM | The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. | Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muiz, Ahmad Siyar Andisha |
| 2014 | TACAS | Ultimate Kojak - (Competition Contribution). | Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski |
| 2014 | TACAS | Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski |
| 2013 | TACAS | Ultimate Automizer with SMTInterpol - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski |
| 2012 | RE | 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 Meierhfer |
| 2011 | FM | System Verification through Program Verification. | Daniel Dietsch, Bernd Westphal, Andreas Podelski |
| 2011 | RE | Disambiguation of industrial standards through formalization and graphical languages. | Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski |