Claus Schätzle

According to our database, Claus Schätzle authored at least 5 papers between 2016 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Verification of Concurrent Programs Using Petri Net Unfoldings.

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

2020

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele

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

2017

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

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

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

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

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

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

2016

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

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski

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