We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
2 papers accepted at ASE 2024: BenchCloud and CoVeriTeam GUI

Talks of Thomas Lemberger

Guest lectures, invited talks, and tutorials
  1. Thomas Lemberger. Difference Verification with Conditions. Invited talk at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY), 24. July 2020. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{ConVeYDifferenceVerification, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-24_ConVeY_Difference_Verification_with_Conditions_Thomas.pdf}, day = {24}, month = {July}, venue = {DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY)}, video = {}, }

Conference and other Presentations
  1. Dirk Beyer, Thomas Lemberger, and Philipp Wendler. Software Verification with CPAchecker 3.0: Tutorial and User Guide. Conference talk at FM 2024, 10. September 2024. Link to this entry Keyword(s): CPAchecker, Software Model Checking Presentation
    BibTeX Entry
    @conferencetalk{FM24-CPAcheckerTutorial, author = {Dirk Beyer and Thomas Lemberger and Philipp Wendler}, title = {Software Verification with CPAchecker 3.0: Tutorial and User Guide}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_CPAchecker_Tutorial.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM 2024}, }
  2. Thomas Lemberger. Multi-Processing for Distributed Summary Synthesis. Conference talk at CPA, 9. September 2024. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA24-MultiDSS, author = {Thomas Lemberger}, title = {Multi-Processing for Distributed Summary Synthesis}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_Multi-Processing_for_Distributed_Summary_Synthesis_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {9}, field = {Computer Science}, month = {September}, venue = {CPA}, }
  3. Dirk Beyer, Matthias Kettl, and Thomas Lemberger. Fault Localization on Verification Witnesses (Poster Paper). Conference talk at ICSE 2024, 14. April 2024. Link to this entry Keyword(s): Software Model Checking, Verification Witnesses, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{ICSE24-FaultLocalizationOnWitnesses-Poster, author = {Dirk Beyer and Matthias Kettl and Thomas Lemberger}, title = {Fault Localization on Verification Witnesses (Poster Paper)}, year = {2024}, presentation = {https://www.sosy-lab.org/research/pst/2024-03-05_ICSE24_Fault_Localization_on_Verification_Witnesses_Poster.pdf}, keyword = {Software Model Checking, Verification Witnesses, CPAchecker}, day = {14}, field = {Computer Science}, month = {April}, venue = {ICSE 2024}, }
  4. Thomas Lemberger. Towards Cooperative Software Verification with Test Generation and Formal Verification. Conference talk at SE, 28. February 2024. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{SE24-Coop, author = {Thomas Lemberger}, title = {Towards Cooperative Software Verification with Test Generation and Formal Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-02-28_SE24-Ernst-Denert-Preis_Towards_Cooperative_Software_Verification_with_Test_Generation_and_Formal_Verification_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {28}, field = {Computer Science}, month = {February}, venue = {SE}, }
  5. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at AVM, 13. September 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{AVM23-RealWorldCpachecker, author = {Thomas Lemberger}, title = {Real-World Software Verification with CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_AVM23_Real_World_Verification_with_CPAchecker_Thomas.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {13}, field = {Computer Science}, month = {September}, venue = {AVM}, }
  6. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA23-RealWorld, author = {Thomas Lemberger}, title = {Real-World Software Verification with CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA23_Real_World_Verification_with_CPAchecker_Thomas.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2023/">8th International Workshop on CPAchecker (CPA 2023)</a>}, }
  7. Thomas Lemberger. Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR. Conference talk at COOP 2022, 03. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{COOP22CCegar, author = {Thomas Lemberger}, title = {Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-03_COOP22_Decomposing_Software_Verification_Thomas.pdf}, day = {03}, month = {April}, venue = {COOP 2022}, video = {}, }
  8. Thomas Lemberger. TestCov: Robust Test-Suite Execution and Coverage Measurement. Conference talk at Test-Comp 2022, 04. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TestComp22TestCov, author = {Thomas Lemberger}, title = {{TestCov}: Robust Test-Suite Execution and Coverage Measurement}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-04_TestComp22_TestCov_Thomas.pdf}, day = {04}, month = {April}, venue = {Test-Comp 2022}, video = {}, }
  9. Thomas Lemberger. Program Transformations with CPAchecker. Conference talk at 6th International Workshop on CPAchecker (CPA 2021), 01. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA21ProgramTransformation, author = {Thomas Lemberger}, title = {Program Transformations with CPAchecker}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-01_CPA21_Program_Transformations_with_CPAchecker_Thomas.pdf}, day = {01}, month = {October}, venue = {6th International Workshop on CPAchecker (CPA 2021)}, video = {}, }
  10. Thomas Lemberger. PRTest: A plain random tester. Conference talk at 3rd International Competition on Software Testing (Test-Comp 2021), 01. April 2021. Link to this entry Presentation Video
    BibTeX Entry
    @conferencetalk{TestComp21PRTest, author = {Thomas Lemberger}, title = {PRTest: A plain random tester}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-01_TestComp21_PRTest_Thomas.pdf}, day = {01}, month = {April}, venue = {3rd International Competition on Software Testing (Test-Comp 2021)}, video = {https://youtu.be/Ih1tVdZJH2M}, }
  11. Thomas Lemberger. TestCov. Test Execution and Coverage Measurement in Test-Comp. Conference talk at 3rd International Competition on Software Testing (Test-Comp 2021), 01. April 2021. Link to this entry Presentation Video
    BibTeX Entry
    @conferencetalk{TestComp21TestCov, author = {Thomas Lemberger}, title = {TestCov. Test Execution and Coverage Measurement in Test-Comp}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-01_TestComp21_TestCov_Thomas.pdf}, day = {01}, month = {April}, venue = {3rd International Competition on Software Testing (Test-Comp 2021)}, video = {https://youtu.be/pvePmeSJEwM}, }
  12. Thomas Lemberger. Difference Verification with Conditions. Conference talk at 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), 17. September 2020. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{SEFM20, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-17_SEFM20_DifferenceVerificationWithConditions_Thomas.pdf}, day = {17}, month = {September}, venue = {18th International Conference on Software Engineering and Formal Methods (SEFM 2020)}, video = {}, }
  13. Thomas Lemberger. Fault Localization with CPAchecker. Conference talk at 5th International Workshop on CPAchecker (CPA 2020), 28. September 2020. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA20FaultLocalization, author = {Thomas Lemberger}, title = {Fault Localization with CPAchecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-28_CPA20_FaultLocalizationWithCPAchecker_Thomas.pdf}, day = {28}, month = {September}, venue = {5th International Workshop on CPAchecker (CPA 2020)}, video = {}, }
  14. Thomas Lemberger. TestCov: Robust Test-Suite Execution and Coverage Measurement. Conference talk at 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 12. November 2019. Link to this entry Presentation Video
    BibTeX Entry
    @conferencetalk{ASE19, author = {Thomas Lemberger}, title = {TestCov: Robust Test-Suite Execution and Coverage Measurement}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-12_ASE19_TestCov_Thomas_Lemberger.pdf}, day = {12}, month = {November}, venue = {34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}, video = {https://youtu.be/sBv7eMpS6JM}, }
  15. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), 29. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ATVA19, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-29_ATVA19_Conditional_Testing_Thomas_Lemberger.pdf}, day = {29}, month = {October}, venue = {17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)}, video = {}, }
  16. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at 13th Alpine Verification Meeting (AVM 2019), 09. September 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{AVM19ConditionalTesting, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-09_AVM19_Conditional_Testing_Thomas.pdf}, day = {09}, month = {September}, venue = {13th Alpine Verification Meeting (AVM 2019)}, video = {}, }
  17. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{Huette19ConditionalTesting, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-01_Huette19_Conditional_Testing_Thomas_Lemberger.pdf}, day = {01}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, video = {}, }
  18. Thomas Lemberger. Testsuite Validator. Isolated test-suite execution and coverage measurement. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{Huette19TestCov, author = {Thomas Lemberger}, title = {Testsuite Validator. Isolated test-suite execution and coverage measurement}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-01_Huette19_Testsuite_Validator_Thomas_Lemberger.pdf}, day = {01}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, video = {}, }
  19. Thomas Lemberger. PRTest: A plain random tester. Conference talk at Test-Comp19, 06. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TestComp19PRTest, author = {Thomas Lemberger}, title = {PRTest: A plain random tester}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_TestComp19_PRTest_Thomas.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, }
  20. Thomas Lemberger. CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Conference talk at ASE18, 07. September 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ASE18SymExec, author = {Thomas Lemberger}, title = {CPA-SymExec: Efficient Symbolic Execution in CPAchecker}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-07_ASE18_CPASymExec_Thomas.pdf}, day = {07}, month = {September}, venue = {ASE18}, video = {}, }
  21. Thomas Lemberger. Incremental Slicing. CEGAR + Program Slicing. Conference talk at CPA18, 26. September 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA18IncrementalSlicing, author = {Thomas Lemberger}, title = {Incremental Slicing. CEGAR + Program Slicing}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-26_CPA18_IncrementalSlicing_Thomas.pdf}, day = {26}, month = {September}, venue = {CPA18}, video = {}, }
  22. Thomas Lemberger. Software Verification: Testing vs. Model Checking. A Comparative Evaluation of the State of the Art. Conference talk at 13th Haifa Verification Conference (HVC 2017), 15. November 2017. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{HVC17, author = {Thomas Lemberger}, title = {Software Verification: Testing vs. Model Checking. A Comparative Evaluation of the State of the Art}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-15_HVC17_TestStudy_Thomas.pdf}, day = {15}, month = {November}, venue = {13th Haifa Verification Conference (HVC 2017)}, video = {}, }

Thesis defenses
  1. Thomas Lemberger. Towards Cooperative Software Verification with Test Generation and Formal Verification. Defense at LMU Munich, 12. December 2022. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @defense{LembergerPhd, author = {Thomas Lemberger}, title = {Towards Cooperative Software Verification with Test Generation and Formal Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-12_PhD_TowardsCooperativeSoftwareVerification_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {12}, field = {Computer Science}, month = {December}, venue = {LMU Munich}, }

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Last modified: Tue Dec 17 10:40:26 2024 UTC