Daniel Dietsch

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 30

Top Venues

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) (2024)
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE (2024)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Daniel Dietsch, Vincent Langenfeld
A Software Lab with On-demand Support. HICSS (2022)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) (2022)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
Proving LTL Properties of Bitvector Programs and Decompiled Binaries. APLAS (2021)
Yuandong Cyrus Liu, Chengbin Pang, Daniel Dietsch, Eric Koskinen, Ton-Chanh Le, Georgios Portokalidis, Jun Xu
Source-Level Bitwise Branching for Temporal Verification of Lifted Binaries. CoRR (2021)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Separating Map Variables in a Logic-Based Intermediate Verification Language. NETYS (2021)
Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal
Hanfor: Semantic Requirements Review at Scale. REFSQ Workshops (2021)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI (2021)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). TACAS (2) (2020)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS (2019)
Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post
Scalable Analysis of Real-Time Requirements. RE (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. CoRR (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
The Map Equality Domain. VSTTE (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann
Incremental Verification Using Trace Abstraction. SAS (2018)
Marius Greitschus, Daniel Dietsch, Andreas Podelski
Refining Trace Abstraction using Abstract Interpretation. CoRR (2017)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Exchanging Verification Witnesses between Verifiers. Software Engineering (2017)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Marius Greitschus, Daniel Dietsch, Andreas Podelski
Loop Invariants from Counterexamples. SAS (2017)
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski
Craig vs. Newton in software model checking. ESEC/SIGSOFT FSE (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS (2016)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski
Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Aspects Comput. 28 (3) (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. Software Engineering (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Correctness witnesses: exchanging verification results between verifiers. SIGSOFT FSE (2016)
Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. CAV (1) (2015)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. ESEC/SIGSOFT FSE (2015)
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski
Ultimate Automizer with Array Interpolation - (Competition Contribution). TACAS (2015)
Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski
ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution). TACAS (2015)
Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski
Ultimate Kojak - (Competition Contribution). TACAS (2014)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)
Sergio Feo Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification. FM (2014)
Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf
Monitoring Student Activity in Collaborative Software Development CoRR (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Bernd Westphal, Daniel Dietsch, Sergio Feo Arenis, Andreas Podelski, Louis Pahlow, Jochen Morsbach, Barbara Sommer, Anke Fuchs, Christine Meierhöfer
Towards successful subcontracting for software in small to medium-sized enterprises. RELAW (2012)
Daniel Dietsch, Bernd Westphal, Andreas Podelski
System Verification through Program Verification. FM (2011)
Daniel Dietsch, Sergio Feo Arenis, Bernd Westphal, Andreas Podelski
Disambiguation of industrial standards through formalization and graphical languages. RE (2011)

Daniel Dietsch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Dietsch