Daniel Dietsch
Orcid: 0000-0002-8947-5373
According to our database1,
Daniel Dietsch
authored at least 84 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).
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).
Proceedings of the Fundamental Approaches to Software Engineering, 2024
2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023
2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
Proceedings of the 55th Hawaii International Conference on System Sciences, 2022
2021
CoRR, 2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
Proceedings of the Joint Proceedings of REFSQ 2021 Workshops, 2021
Proceedings of the Networked Systems - 9th International Conference, 2021
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Dataset, March, 2020
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
2019
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.
CoRR, 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the Static Analysis - 25th International Symposium, 2018
2017
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the Software Engineering 2017, 2017
Proceedings of the Static Analysis - 24th International Symposium, 2017
2016
Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".
Dataset, July, 2016
PhD thesis, 2016
Ready for testing: ensuring conformance to industrial standards through formal verification.
Formal Aspects Comput., 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
Proceedings of the Software Engineering 2016, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
2014
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014
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.
Proceedings of the FM 2014: Formal Methods, 2014
2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
2012
Proceedings of the Fifth IEEE International Workshop on Requirements Engineering and Law, 2012
2011
Disambiguation of industrial standards through formalization and graphical languages.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011
Proceedings of the FM 2011: Formal Methods, 2011