Follow
Daniel Dietsch
Daniel Dietsch
Verified email at informatik.uni-freiburg.de
Title
Cited by
Cited by
Year
Witness validation and stepwise testification across software verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
1232015
Correctness witnesses: Exchanging verification results between verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
1032016
Ultimate Automizer and the Search for Perfect Interpolants
M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ...
International Conference on Tools and Algorithms for the Construction and …, 2018
80*2018
Ultimate Automizer with SMTInterpol
M Heizmann, J Christ, D Dietsch, E Ermis, J Hoenicke, M Lindenmann, ...
International Conference on Tools and Algorithms for the Construction and …, 2013
612013
Fairness Modulo Theory: A New Approach to LTL Software Model Checking
D Dietsch, M Heizmann, V Langenfeld, A Podelski
International Conference on Computer Aided Verification, 49-66, 2015
472015
Ultimate Automizer with Array Interpolation
M Heizmann, D Dietsch, J Leike, B Musa, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2015
33*2015
Ultimate Kojak with Memory Safety Checks
A Nutz, D Dietsch, MM Mohamed, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2015
32*2015
Ultimate Automizer with Two-track Proofs
M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
302016
Incremental verification using trace abstraction
BC Rothenberg, D Dietsch, M Heizmann
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
272018
Loop invariants from counterexamples
M Greitschus, D Dietsch, A Podelski
Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017
272017
Ready for testing: ensuring conformance to industrial standards through formal verification
S Feo-Arenis, B Westphal, D Dietsch, M Muniz, S Andisha, A Podelski
Formal Aspects of Computing 28, 499-527, 2016
242016
Scalable analysis of real-time requirements
V Langenfeld, D Dietsch, B Westphal, J Hoenicke, A Post
2019 IEEE 27th International Requirements Engineering Conference (RE), 234-244, 2019
232019
Ultimate Automizer with an On-demand Construction of Floyd-Hoare Automata
M Heizmann, YW Chen, D Dietsch, M Greitschus, A Nutz, B Musa, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
21*2017
The wireless fire alarm system: ensuring conformance to industrial standards through formal verification
S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, AS Andisha
International Symposium on Formal Methods, 658-672, 2014
202014
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-69, 2022
192022
Craig vs. Newton in Software Model Checking
D Dietsch, M Heizmann, B Musa, A Nutz, A Podelski
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
192017
Ultimate Taipan: Trace Abstraction and Abstract Interpretation: (Competition Contribution)
M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
182017
Disambiguation of industrial standards through formalization and graphical languages
D Dietsch, SF Arenis, B Westphal, A Podelski
2011 IEEE 19th International Requirements Engineering Conference, 265-270, 2011
182011
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution)
D Dietsch, M Heizmann, A Nutz, C Schätzle, F Schüssele
International Conference on Tools and Algorithms for the Construction and …, 2020
172020
Ultimate TreeAutomizer (CHC-COMP tool description)
D Dietsch, M Heizmann, J Hoenicke, A Nutz, A Podelski
arXiv preprint arXiv:1907.03998, 2019
162019
The system can't perform the operation now. Try again later.
Articles 1–20