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 year 2021

Theses and projects (PhD, MSc, BSc, Project)
  1. Simon Antonischki. A CPA for String Analysis for Java Programs in CPAchecker. 9. March 2021. Link to this entry Keyword(s): Software Model Checking, CPAchecker
    BibTeX Entry
    @misc{AntonischkiStringCPA, author = {Simon Antonischki}, title = {A CPA for String Analysis for Java Programs in CPAchecker}, year = {2021}, keyword = {Software Model Checking, CPAchecker}, day = {9}, field = {Computer Science}, month = {March}, }

Conference and other Presentations
  1. 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 = {}, }
  2. Dirk Beyer. Software Verification: Historical Landmarks and Current Developments. Conference talk at 6th International Workshop on CPAchecker (CPA 2021), 1. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA21History, author = {Dirk Beyer}, title = {Software Verification: Historical Landmarks and Current Developments}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-01_CPA21_SoftwareVerificationHistoricalLandmarksAndCurrentDevelopments_Dirk.pdf}, day = {1}, month = {October}, venue = {6th International Workshop on CPAchecker (CPA 2021)}, video = {}, }
  3. Dirk Beyer. CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components. Conference talk at ConVeY Retreat (ConVeY 2021), 22. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CONVEY21CoVeriTeam, author = {Dirk Beyer}, title = {CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-22_CONVEY21_CoVeriTeam_Dirk.pdf}, day = {22}, month = {October}, venue = {ConVeY Retreat (ConVeY 2021)}, video = {}, }
  4. Nico Weise. An Infrastructure for Cooperative Software Verification. Conference talk at ConVeY Retreat (ConVeY 2021), 22. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CONVEY21CoopVeriInfra, author = {Nico Weise}, title = {An Infrastructure for Cooperative Software Verification}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-22_CONVEY21_An_Infrastructure_for_Cooperative_Software_Verification_Nico_Weise.pdf}, day = {22}, month = {October}, venue = {ConVeY Retreat (ConVeY 2021)}, video = {}, }
  5. Dirk Beyer. Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker. Conference talk at ISoLA 2021, 25. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISOLA21ValidationMultiThreaded, author = {Dirk Beyer}, title = {Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-25_ISOLA21_ValidationMultiThreaded_Dirk.pdf}, day = {25}, month = {October}, venue = {ISoLA 2021}, video = {}, }
  6. Dirk Beyer. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. Conference talk at ISoLA 2021, 29. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISOLA21VerificationArtifacts, author = {Dirk Beyer}, title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-29_ISOLA21_VerificationArtifacts_Dirk.pdf}, day = {29}, month = {October}, venue = {ISoLA 2021}, video = {}, }
  7. Dirk Beyer. An Interface Theory for Program Verification. Conference talk at ISoLA 2021, 29. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISOLA21VerificationInterfaces, author = {Dirk Beyer}, title = {An Interface Theory for Program Verification}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-29_ISOLA21_VerificationInterfaces_Dirk.pdf}, day = {29}, month = {October}, venue = {ISoLA 2021}, video = {}, }
  8. 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}, }
  9. 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}, }
  10. Dirk Beyer. CPU-Energy-Meter. Conference talk at TACAS20, 31. March 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TACAS20CpuEnergyMeter, author = {Dirk Beyer}, title = {CPU-Energy-Meter}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-03-31_TACAS20_CPU-Energy-Meter_Dirk.pdf}, day = {31}, month = {March}, venue = {TACAS20}, video = {}, }
  11. Dirk Beyer. PDR-for-Software. Conference talk at TACAS20, 31. March 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TACAS20Pdr, author = {Dirk Beyer}, title = {PDR-for-Software}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-03-31_TACAS20_PDR-for-Software_Dirk.pdf}, day = {31}, month = {March}, venue = {TACAS20}, video = {}, }

Thesis defenses
  1. Ludwig Glückstadt. Genetic Programming in Software Verification. Defense at LMU Munich, 10. November 2021. Link to this entry
    BibTeX Entry
    @defense{GlueckstadtBA, author = {Ludwig Glückstadt}, title = {Genetic Programming in Software Verification}, year = {2021}, day = {10}, month = {November}, venue = {LMU Munich}, video = {}, }
  2. Sebastian Tschoepel. Implementation and Evaluation of a Simple Taint Analysis for CPAchecker. Defense at LMU Munich, 28. July 2021. Link to this entry
    BibTeX Entry
    @defense{TschoepelBA, author = {Sebastian Tschoepel}, title = {Implementation and Evaluation of a Simple Taint Analysis for CPAchecker}, year = {2021}, day = {28}, month = {July}, venue = {LMU Munich}, video = {}, }
  3. Dennis Simon. Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec. Defense at LMU Munich, 28. April 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{SimonBA, author = {Dennis Simon}, title = {Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-28_BA_ShareableBenchmarkingReportsWithEnhancedFiltersAndDynamicStatisticsForBenchExec_Simon.pdf}, day = {28}, month = {April}, venue = {LMU Munich}, }
  4. Sven Umbricht. Converting.Between.ACSL.Annotations.and.Witness.Invariants. Defense at LMU Munich, 10. February 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{UmbrichtBA, author = {Sven Umbricht}, title = {Converting.Between.ACSL.Annotations.and.Witness.Invariants}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-02-10_BA_Converting.Between.ACSL.Annotations.and.Witness.Invariants_Umbricht.pdf}, day = {10}, month = {February}, venue = {LMU Munich}, video = {}, }
  5. Frederic Schoenberger. Converting_Test_Goals_to_Condition_Automata. Defense at LMU Munich, 13. January 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{SchoenbergerBA, author = {Frederic Schoenberger}, title = {Converting_Test_Goals_to_Condition_Automata}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-01-13_BA_Converting_Test_Goals_to_Condition_Automata_Schoenberger.pdf}, day = {13}, month = {January}, venue = {LMU Munich}, video = {}, }

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