• Sign in
  • Sign up
conf.researchr.org / Thomas Lemberger
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ASE 2023 profile
  • ETAPS 2019 profile
  • ICSE 2022 profile
  • PLDI 2020 profile
  • POPL 2021 profile
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

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
Share
xTue 26 Sep 21:16
using conf.researchr.org (v1.61.3)
Support page
Sign Up