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
642015
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
512016
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
402013
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
282018
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
282015
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
282015
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
272016
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
212015
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
152011
Ready for testing: ensuring conformance to industrial standards through formal verification
S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, S Andisha, A Podelski
Formal Aspects of Computing 28 (3), 499-527, 2016
142016
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
132017
Ultimate Taipan: Trace abstraction and abstract interpretation
M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ...
International Conference on Tools and Algorithms for the Construction and …, 2017
132017
Loop invariants from counterexamples
M Greitschus, D Dietsch, A Podelski
International Static Analysis Symposium, 128-147, 2017
122017
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
122014
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
112017
Ultimate Automizer with Unsatisfiable Cores
M Heizmann, J Christ, D Dietsch, J Hoenicke, M Lindenmann, B Musa, ...
International Conference on Tools and Algorithms for the Construction and …, 2014
92014
Ultimate Kojak
E Ermis, A Nutz, D Dietsch, J Hoenicke, A Podelski
International Conference on Tools and Algorithms for the Construction and …, 2014
82014
Monitoring student activity in collaborative software development
D Dietsch, A Podelski, J Nam, PM Papadopoulos, M Schäf
arXiv preprint arXiv:1305.0787, 2013
82013
STALIN: A plugin-based modular framework for program analysis
D Dietsch
Bachelor Thesis, Albert-Ludwigs-Universität, Freiburg, Germany, 2008
62008
Incremental verification using trace abstraction
BC Rothenberg, D Dietsch, M Heizmann
International Static Analysis Symposium, 364-382, 2018
52018
The system can't perform the operation now. Try again later.
Articles 1–20