Matthias Kettl

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Selection Strategies

Distributed Learning

Control Program

Fault Localization

Top Venues

Publications

Dirk Beyer, Matthias Kettl, Thomas Lemberger
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion (2024)
Dirk Beyer, Lars Grunske, Matthias Kettl, Marian Lingsch Rosenfeld, Moeketsi Raselimo
P3: A Dataset of Partial Program Patches. MSR (2024)
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
CPAchecker 2.3 with Strategy Selection - (Competition Contribution). TACAS (3) (2024)
Dirk Beyer, Matthias Kettl, Thomas Lemberger
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Matthias Kettl, Thomas Lemberger
The Static Analyzer Infer in SV-COMP (Competition Contribution). TACAS (2) (2022)