Thomas Lemberger -

Registered user since Wed 4 Sep 2019

Name:Thomas Lemberger

Country:Germany

Affiliation:LMU Munich

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

Research interests:Software Verification, Code Analysis, Software Testing, Fault Localization, Program Repair

Contributions

2024

ASE

Author of CoVeriTeam GUI: A No-Code Approach to Cooperative Software Verification within the Tool Demonstrations-track

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

2023

ASE

Author of Real-World Software Verification with CPAchecker within the [Workshop] CPAchecker-track

2022

ICSE

Author of Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR within the Technical Track-track

2021

VMCAI

Committee Member in Artifact Evaluation Committee within the VMCAI-track

2020

PLDI

Committee Member in Artifact Evaluation Committee within the PLDI Research Artifacts-track

2019

ASE

Author of TestCov: Robust Test-Suite Execution and Coverage Measurement within the Demonstrations-track

ETAPS

Author of CPAchecker with Strategy Selection within the Posters-track

2018

ICSE

Author of Reducer-Based Construction of Conditional Verifiers within the Technical Papers -track