default search action

combined dblp search
author search
venue search
publication search

ask others

Thomas Lemberger 0002

> Home > Persons

Person information

affiliation: LMU Munich, Germany
affiliation (former): University of Passau, Germany

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2022
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/dnb/Lemberger22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/dnb/Lemberger22
Thomas Lemberger:
Towards cooperative software verification with test generation and formal verification. Ludwig Maximilian University of Munich, Germany, 2022

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmse/0001K024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/0001K024
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1(FSE): 1307-1329 (2024)
[j3]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - journals/stt/Lemberger24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stt/Lemberger24
Thomas Lemberger:
Cooperative Approaches Across Test Generation and Formal Software Verification. Softwaretechnik-Trends 44(2): 66-67 (2024)
2022
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BeyerDDHLT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BeyerDDHLT22
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31(4): 57:1-57:69 (2022)
2021
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/Lemberger21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/Lemberger21
Thomas Lemberger:
Plain random test generation with PRTest. Int. J. Softw. Tools Technol. Transf. 23(6): 871-873 (2021)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c16]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fm/BaierBCJJKLLRWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/BaierBCJJKLLRWW24
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler:
Software Verification with CPAchecker 3.0: Tutorial and User Guide. FM (2) 2024: 543-570
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/icse/0001K024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/0001K024
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion 2024: 339-340
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/spin/BeyerKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/BeyerKL24
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses. SPIN 2024: 205-224
[c13]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/BaierBCJKLLRSWW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BaierBCJKLLRSWW24
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: 359-364
2023
[c12]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/se/0001H0W23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/0001H0W23
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering 2023: 37-38
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/00010HW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/00010HW22
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR. ICSE 2022: 536-548
[c10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/KettlL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/KettlL22
Matthias Kettl, Thomas Lemberger:
The Static Analyzer Infer in SV-COMP (Competition Contribution). TACAS (2) 2022: 451-456
2020
[c9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sefm/BeyerJL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/BeyerJL20
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Difference Verification with Conditions. SEFM 2020: 133-154
2019
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/0001019
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/0001019
Dirk Beyer, Thomas Lemberger:
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA 2019: 189-208
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/BeyerL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/BeyerL19
Dirk Beyer, Thomas Lemberger:
TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE 2019: 1074-1077
[c6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/se/0001J0W19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/0001J0W19
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM 2019: 151-152
2018
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BeyerJLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BeyerJLW18
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/0001018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/0001018
Dirk Beyer, Thomas Lemberger:
CPA-SymExec: efficient symbolic execution in CPAchecker. ASE 2018: 900-903
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/0001DLT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/0001DLT18
Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig:
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF 2018: 3-23
2017
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/BeyerL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/BeyerL17
Dirk Beyer, Thomas Lemberger:
Software Verification: Testing vs. Model Checking - A Comparative Evaluation of the State of the Art. Haifa Verification Conference 2017: 99-114
2016
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/BeyerL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/BeyerL16
Dirk Beyer, Thomas Lemberger:
Symbolic Execution with CEGAR. ISoLA (1) 2016: 195-211

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2023
[d25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerKL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerKL23
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2023
[d24]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL23
Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Six Years Later: Testing vs. Model Checking'. Version 2. Zenodo, 2023 [all versions]
[d23]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerLW23a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerLW23a
Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. Zenodo, 2023
2022
[d22]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerHLW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerHLW22
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. Version CCEGAR-artifact-ICSE22-submission-ae.vm. Zenodo, 2022 [all versions]
[d21]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerHLW22a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerHLW22a
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (VM Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. Version CCEGAR-artifact-ICSE22-submission-ae-rev1.vm. Zenodo, 2022 [all versions]
[d20]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerHLWW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerHLWW22
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim, Philipp Wendler:
CPAchecker Release 2.1.1 (unix). Version 2.1.1 (unix). Zenodo, 2022 [all versions]
[d19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerKL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerKL22
Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2022
[d18]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL22
Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Five Years Later: Testing vs. Model Checking'. Version TestStudy-artifact-STTT22-submission. Zenodo, 2022 [all versions]
2021
[d17]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerGLT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerGLT21
Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Benchmark Set for Program Repair Based on Partial Fixes. Version v1. Zenodo, 2021 [all versions]
[d16]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerHLW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerHLW21
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (Reduced Version) for Article "Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR". Version CCEGAR-artifact-ICSE22-submission.small. Zenodo, 2021 [all versions]
[d15]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerHLW21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerHLW21a
Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Reproduction Package (Full Version) for ICSE 2022 Article 'Decomposing Software Verification into Off-the-Shelf Components: An Application to CEGAR'. Version CCEGAR-artifact-ICSE22-submission.full. Zenodo, 2021 [all versions]
2020
[d14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerDDHLT20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerDDHLT20
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Reproduction Package for TOSEM Article 'Verification Witnesses'. Zenodo, 2020
[d13]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerJL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerJL20
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Reproduction Package for SEFM 2020 Article 'Difference Verification with Conditions'. Version DIFFERENCEMC-artifact-SEFM20-proceedings. Zenodo, 2020 [all versions]
[d12]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerLJ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerLJ20
Dirk Beyer, Thomas Lemberger, Marie-Christine Jakobs:
Replication Package for Article 'Difference Verification with Conditions'. Version SEFM2020-submission. Zenodo, 2020 [all versions]
2019
[d11]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL19
Dirk Beyer, Thomas Lemberger:
Replication Artifact for Article "Conditional Testing: Off-the-Shelf Combination of Test-Case Generators". Version 1.0. Zenodo, 2019 [all versions]
[d10]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerL19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL19a
Dirk Beyer, Thomas Lemberger:
Reproduction Package for ATVA 2019 Article 'Conditional Testing: Off-the-Shelf Combination of Test-Case Generators'. Version 2.0. Zenodo, 2019 [all versions]
[d9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerL19b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL19b
Dirk Beyer, Thomas Lemberger:
Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'. Zenodo, 2019
2018
[d8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerJLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerJLW18
Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. Zenodo, 2018
[d7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL18
Dirk Beyer, Thomas Lemberger:
Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17. Zenodo, 2018
[d6]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerL18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL18a
Dirk Beyer, Thomas Lemberger:
Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'. Zenodo, 2018
[d5]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerL18b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL18b
Dirk Beyer, Thomas Lemberger:
Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker". Version 1.0. Zenodo, 2018 [all versions]
[d4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/BeyerL18c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL18c
Dirk Beyer, Thomas Lemberger:
SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16). Zenodo, 2018
[d3]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerL18d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerL18d
Dirk Beyer, Thomas Lemberger:
Reproduction Package for ASE 2018 Article 'CPA-SymExec: Efficient Symbolic Execution in CPAchecker'. Version 2.0. Zenodo, 2018 [all versions]
[d2]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerLW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerLW18
Dirk Beyer, Thomas Lemberger, Philipp Wendler:
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). Version 1.0.0. Zenodo, 2018 [all versions]
[d1]
- view
  authority control:
- export record
  dblp key:
  - data/10/BeyerLW18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/BeyerLW18a
Dirk Beyer, Thomas Lemberger, Philipp Wendler:
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). Version 1.1.0. Zenodo, 2018 [all versions]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2409-02094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2409-02094
Daniel Baier, Dirk Beyer, Po-Chun Chien, Marie-Christine Jakobs, Marek Jankola, Matthias Kettl, Nian-Ze Lee, Thomas Lemberger, Marian Lingsch Rosenfeld, Henrik Wachowitz, Philipp Wendler:
Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version). CoRR abs/2409.02094 (2024)
2021
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2107-08038
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-08038
Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR abs/2107.08038 (2021)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.