Claus Schätzle
According to our database1,
Claus Schätzle
authored at least 6 papers
between 2016 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
0
1
2
3
1
1
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021
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
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
2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016