Matthias Kettl -

Registered user since Tue 12 Sep 2023

Name:Matthias Kettl

Country:Germany

Affiliation:LMU Munich, Germany

Personal website: https://www.sosy-lab.org/people/kettl/

GitHub: https://github.com/matthiaskettl

Research interests:Formal Verification

Contributions

2024

ESEC/FSE

Author of Decomposing Software Verification Using Distributed Summary Synthesis within the Research Papers-track
Author of Decomposing Software Verification Using Distributed Summary Synthesis within the Posters-track

ICSE

Author of Fault Localization on Verification Witnesses within the Posters-track

Mining Software Repositories

Author of A Dataset of Partial Program Fixes within the Data and Tool Showcase Track-track

2023

ASE

Author of Enhancing CPAchecker: A Framework for Distributed Analyses within the [Workshop] CPAchecker-track