Daniel Dietsch
Albert-Ludwigs-Universität Freiburg
H-index: 18
Europe-Germany
Top articles of Daniel Dietsch
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution) | Max Barth Daniel Dietsch Matthias Heizmann Marie-Christine Jakobs | 2024/4/6 | |
Ultimate Automizer and the Abstraction of Bitwise Operations: (Competition Contribution) | Frank Schüssele Manuel Bentele Daniel Dietsch Matthias Heizmann Xinyu Jiang | 2024/4/5 | |
Ultimate Automizer and the CommuHash Normal Form: (Competition Contribution) | Matthias Heizmann Max Barth Daniel Dietsch Leonard Fichtner Jochen Hoenicke | 2023/4/20 | |
Ultimate Taipan and Race Detection in Ultimate: (Competition Contribution) | Daniel Dietsch Matthias Heizmann Dominik Klumpp Frank Schüssele Andreas Podelski | 2023/4/20 | |
Verification witnesses | ACM Transactions on Software Engineering and Methodology (TOSEM) | Dirk Beyer Matthias Dangl Daniel Dietsch Matthias Heizmann Thomas Lemberger | 2022/9/8 |
A Software Lab with On-demand Support | Daniel Dietsch Vincent Langenfeld | 2022/1/4 | |
Ultimate GemCutter and the Axes of Generalization | Dominik Klumpp Daniel Dietsch Matthias Heizmann Frank Schüssele Marcel Ebbinghaus | 2022 | |
Ultimate Eliminator at SMT-COMP 2022 | Max Barth Daniel Dietsch Matthias Heizmann Andreas Podelski | 2022 | |
Separating Map Variables in a Logic-Based Intermediate Verification Language | Daniel Dietsch Matthias Heizmann Jochen Hoenicke Alexander Nutz Andreas Podelski | 2021 | |
Hanfor: Semantic Requirements Review at Scale. | REFSQ Workshops | Samuel Becker Daniel Dietsch Nico Hauff Elisabeth Henkel Vincent Langenfeld | 2021 |
Verification of concurrent programs using Petri net unfoldings | Daniel Dietsch Matthias Heizmann Dominik Klumpp Mehdi Naouar Andreas Podelski | 2021 | |
Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended) | arXiv e-prints | Yuandong Cyrus Liu Chengbin Pang Daniel Dietsch Eric Koskinen Ton-Chanh Le | 2021/5 |
Formal requirements in an informal world | Daniel Dietsch Vincent Langenfeld Bernd Westphal | 2020/8/31 | |
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution) | Daniel Dietsch Matthias Heizmann Alexander Nutz Claus Schätzle Frank Schüssele | 2020/4/17 |