default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThomas Lemberger 0002
Person information
- affiliation: LMU Munich, Germany
- affiliation (former): University of Passau, Germany
Other persons with the same name
- Thomas Lemberger 0001
![[0000-0002-2499-4025]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-2499-4025")
— EMBO, Heidelberg, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j4]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1(FSE): 1307-1329 (2024)- [j3]Thomas Lemberger:
Cooperative Approaches Across Test Generation and Formal Software Verification. Softwaretechnik-Trends 44(2): 66-67 (2024) - [c16]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]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses (Poster Paper). ICSE Companion 2024: 339-340 - [c14]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Fault Localization on Verification Witnesses. SPIN 2024: 205-224 - [c13]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 - [i2]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) - 2023
- [c12]Dirk Beyer, Jan Haltermann, Thomas Lemberger, Heike Wehrheim:
Component-based CEGAR - Building Software Verifiers from Off-the-Shelf Components. Software Engineering 2023: 37-38 - [d25]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for ICSE 2024 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2023
- [d24]Dirk Beyer, Thomas Lemberger:
Reproduction Package for STTT Submission 'Six Years Later: Testing vs. Model Checking'. Version 2. Zenodo, 2023 [all versions] - [d23]Dirk Beyer, Thomas Lemberger, Henrik Wachowitz:
Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. Zenodo, 2023 - 2022
- [b1]Thomas Lemberger:
Towards cooperative software verification with test generation and formal verification. Ludwig Maximilian University of Munich, Germany, 2022 - [j2]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) - [c11]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]Matthias Kettl, Thomas Lemberger:
The Static Analyzer Infer in SV-COMP (Competition Contribution). TACAS (2) 2022: 451-456 - [d22]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]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]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]Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Reproduction Package for SEFM 2022 Submission 'Fault Localization on Verification Witnesses'. Zenodo, 2022 - [d18]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
- [j1]Thomas Lemberger:
Plain random test generation with PRTest. Int. J. Softw. Tools Technol. Transf. 23(6): 871-873 (2021) - [d17]Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Benchmark Set for Program Repair Based on Partial Fixes. Version v1. Zenodo, 2021 [all versions] - [d16]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]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] - [i1]Dirk Beyer, Lars Grunske, Thomas Lemberger, Minxing Tang:
Towards a Benchmark Set for Program Repair Based on Partial Fixes. CoRR abs/2107.08038 (2021) - 2020
- [c9]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger:
Difference Verification with Conditions. SEFM 2020: 133-154 - [d14]Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig:
Reproduction Package for TOSEM Article 'Verification Witnesses'. Zenodo, 2020 - [d13]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]Dirk Beyer, Thomas Lemberger, Marie-Christine Jakobs:
Replication Package for Article 'Difference Verification with Conditions'. Version SEFM2020-submission. Zenodo, 2020 [all versions]
2010 – 2019
- 2019
- [c8]Dirk Beyer, Thomas Lemberger:
Conditional Testing - Off-the-Shelf Combination of Test-Case Generators. ATVA 2019: 189-208 - [c7]Dirk Beyer, Thomas Lemberger:
TestCov: Robust Test-Suite Execution and Coverage Measurement. ASE 2019: 1074-1077 - [c6]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Combining Verifiers in Conditional Model Checking via Reducers. SE/SWM 2019: 151-152 - [d11]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]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]Dirk Beyer, Thomas Lemberger:
Reproduction Package for Article ASE 2019 'TestCov: Robust Test-Suite Execution and Coverage Measurement'. Zenodo, 2019 - 2018
- [c5]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reducer-based construction of conditional verifiers. ICSE 2018: 1182-1193 - [c4]Dirk Beyer, Thomas Lemberger:
CPA-SymExec: efficient symbolic execution in CPAchecker. ASE 2018: 900-903 - [c3]Dirk Beyer, Matthias Dangl, Thomas Lemberger, Michael Tautschnig:
Tests from Witnesses - Execution-Based Validation of Verification Results. TAP@STAF 2018: 3-23 - [d8]Dirk Beyer, Marie-Christine Jakobs, Thomas Lemberger, Heike Wehrheim:
Reproduction Package for ICSE 2018 Article 'Reducer-Based Construction of Conditional Verifiers'. Zenodo, 2018 - [d7]Dirk Beyer, Thomas Lemberger:
Replication Package for Article "Software Verification: Testing vs. Model Checking", Proc. HVC'17. Zenodo, 2018 - [d6]Dirk Beyer, Thomas Lemberger:
Replication Package for ISoLA 2016 Article 'Symbolic Execution with CEGAR'. Zenodo, 2018 - [d5]Dirk Beyer, Thomas Lemberger:
Replication Package for Article "CPA-SymExec: Efficient Symbolic Execution in CPAchecker". Version 1.0. Zenodo, 2018 [all versions] - [d4]Dirk Beyer, Thomas Lemberger:
SV-Benchmarks: Benchmark set of 5th Intl. Competition on Software Verification (SV-COMP'16). Zenodo, 2018 - [d3]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]Dirk Beyer, Thomas Lemberger, Philipp Wendler:
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). Version 1.0.0. Zenodo, 2018 [all versions] - [d1]Dirk Beyer, Thomas Lemberger, Philipp Wendler:
SoSy-Lab Virtual Machine (Ubuntu 16.04 LTS). Version 1.1.0. Zenodo, 2018 [all versions] - 2017
- [c2]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]Dirk Beyer, Thomas Lemberger:
Symbolic Execution with CEGAR. ISoLA (1) 2016: 195-211
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:05 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
