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.

[BibT_eX]

[DOI]

Daniel Dietsch

CoRR, 2019

Scalable Analysis of Real-Time Requirements.

[BibT_eX]

[DOI]

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

2018

The Map Equality Domain.

[BibT_eX]

[DOI]

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

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Incremental Verification Using Trace Abstraction.

[BibT_eX]

[DOI]

Bat-Chen Rothenberg

Daniel Dietsch

Matthias Heizmann

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

2017

Refining Trace Abstraction using Abstract Interpretation.

[BibT_eX]

[DOI]

Marius Greitschus

Daniel Dietsch

Andreas Podelski

CoRR, 2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Craig vs. Newton in software model checking.

[BibT_eX]

[DOI]

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

Exchanging Verification Witnesses between Verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2017, 2017

Loop Invariants from Counterexamples.

[BibT_eX]

[DOI]

Marius Greitschus

Daniel Dietsch

Andreas Podelski

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

2016

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".

[BibT_eX]

[DOI]

Dataset, July, 2016

Automated verification of system requirements and software specifications.

[BibT_eX]

[DOI]

Daniel Dietsch

PhD thesis, 2016

Ready for testing: ensuring conformance to industrial standards through formal verification.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

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

[BibT_eX]

[DOI]

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

Correctness witnesses: exchanging verification results between verifiers.

[BibT_eX]

[DOI]

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

Witness validation and stepwise testification across software verifiers.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2016, 2016

2015

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

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

[BibT_eX]

[DOI]

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

Ultimate Kojak - (Competition Contribution).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

2013

Monitoring Student Activity in Collaborative Software Development

[BibT_eX]

[DOI]

Daniel Dietsch

Andreas Podelski

Jaechang Nam

Pantelis M. Papadopoulos

Martin Schäf

CoRR, 2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2011

Disambiguation of industrial standards through formalization and graphical languages.

[BibT_eX]

[DOI]

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

System Verification through Program Verification.

[BibT_eX]

[DOI]

Daniel Dietsch

Bernd Westphal

Andreas Podelski

Proceedings of the FM 2011: Formal Methods, 2011

Daniel Dietsch

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...