Claus Schätzle

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 5

Top Topics

Abstract Interpretation

Cluttered Environments

Top Venues

Publications

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI (2021)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). TACAS (2) (2020)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS (2016)