Daniel Dietsch

According to our database, Daniel Dietsch authored at least 42 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).

Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs

Proceedings of the Fundamental Approaches to Software Engineering, 2024

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

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

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

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

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

2022

Verification Witnesses.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

ACM Trans. Softw. Eng. Methodol., 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

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

A Software Lab with On-demand Support.

Daniel Dietsch, Vincent Langenfeld

Proceedings of the 55th Hawaii International Conference on System Sciences, 2022

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

CoRR, 2021

Verification of Concurrent Programs Using Petri Net Unfoldings.

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle

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

Hanfor: Semantic Requirements Review at Scale.

Samuel Becker, Daniel Dietsch, Nico Hauff, Elisabeth Henkel, Vincent Langenfeld, Andreas Podelski, Bernd Westphal

Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021

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

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

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

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

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

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

Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele

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

2019

Ultimate TreeAutomizer (CHC-COMP Tool Description).

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

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.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

CoRR, 2019

Scalable Analysis of Real-Time Requirements.

Vincent Langenfeld, Daniel Dietsch, Bernd Westphal, Jochen Hoenicke, Amalinda Post

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

2018

The Map Equality Domain.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

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

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

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

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

Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler

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

Incremental Verification Using Trace Abstraction.

Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann

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

2017

Refining Trace Abstraction using Abstract Interpretation.

Marius Greitschus, Daniel Dietsch, Andreas Podelski

CoRR, 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, Frank Schüssele, Andreas Podelski

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

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

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

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

Craig vs. Newton in software model checking.

Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski

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

Exchanging Verification Witnesses between Verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Proceedings of the Software Engineering 2017, 2017

Loop Invariants from Counterexamples.

Marius Greitschus, Daniel Dietsch, Andreas Podelski

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Automated verification of system requirements and software specifications.

Daniel Dietsch

PhD thesis, 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

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

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski

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

Correctness witnesses: exchanging verification results between verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

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

Witness validation and stepwise testification across software verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer

Proceedings of the Software Engineering 2016, 2016

2015

ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution).

Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski

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

Ultimate Automizer with Array Interpolation - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski

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

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

Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski

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

2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski

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

Ultimate Kojak - (Competition Contribution).

Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski

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

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

Proceedings of the FM 2014: Formal Methods, 2014

2013

Monitoring Student Activity in Collaborative Software Development

Daniel Dietsch, Andreas Podelski, Jaechang Nam, Pantelis M. Papadopoulos, Martin Schäf

CoRR, 2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski

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

2012

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

Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012

2011

Disambiguation of industrial standards through formalization and graphical languages.

Daniel Dietsch, Sergio Feo-Arenis, Bernd Westphal, Andreas Podelski

Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

System Verification through Program Verification.

Daniel Dietsch, Bernd Westphal, Andreas Podelski

Proceedings of the FM 2011: Formal Methods, 2011