Matthias Kettl

According to our database, Matthias Kettl authored at least 2 papers between 2022 and 2024.

Collaborative distances:

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

2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

Daniel Baier, Dirk Beyer, Po-Chun Chien, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Martin Spiessl, Henrik Wachowitz, Philipp Wendler

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

2022

The Static Analyzer Infer in SV-COMP (Competition Contribution).

Matthias Kettl, Thomas Lemberger

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