Software and Computational Systems Lab

Talks by year

1. Tobias Maget. Evaluation of JVM Garbage Collectors for CPAchecker. 23. October 2024. Keyword(s): CPAchecker, Benchmarking Presentation
   BibTeX Entry

   @misc{MagetEvaluationGCforCPAchecker, author = {Tobias Maget}, title = {Evaluation of JVM Garbage Collectors for CPAchecker}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-10-23-BA_Evaluation_of_JVM_Garbage_Collectors_for_CPAchecker_Maget.pdf}, keyword = {CPAchecker, Benchmarking}, day = {23}, field = {Computer Science}, month = {October}, }

2. Benedikt Damböck. Verification of Java Programs with Exceptions with CPAchecker. 12. December 2023. Keyword(s): CPAchecker, Software Verification Presentation
   BibTeX Entry

   @misc{DamboeckJavaExceptionsCPAchecker, author = {Benedikt Damböck}, title = {Verification of Java Programs with Exceptions with CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-12-06_MA_Verification_of_Java_Programs_with_Exceptions_with_CPAchecker_Damboeck.pdf}, keyword = {CPAchecker, Software Verification}, day = {12}, field = {Computer Science}, month = {December}, }

3. Maximilian Hailer. New Approaches and Visualization for Verification Coverage. 15. June 2022. Keyword(s): Software Model Checking, CPAchecker Presentation
   BibTeX Entry

   @misc{HailerVerificationCoverage, author = {Maximilian Hailer}, title = {New Approaches and Visualization for Verification Coverage}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-06-16_MA_New_Approaches_and_Visualization_for_Verification_Coverage_Hailer.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {June}, }
4. Tobias Kleinert. Developing a Verifier Based on Parallel Portfolio with CoVeriTeam. 16. March 2022. Keyword(s): Benchmarking Presentation
   BibTeX Entry

   @misc{KleinertParPortfolioCoVeriTeam, author = {Tobias Kleinert}, title = {Developing a Verifier Based on Parallel Portfolio with CoVeriTeam}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-16_BA_Parallel_Portfolio_CoVeriTeam.pdf}, keyword = {Benchmarking}, day = {16}, field = {Computer Science}, month = {March}, }
5. Robin Gloster. Cgroups v2 Support for BenchExec. 9. March 2022. Keyword(s): Benchmarking Presentation
   BibTeX Entry

   @misc{GlosterCgroupsV2, author = {Robin Gloster}, title = {Cgroups v2 Support for BenchExec}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-09_BA_Cgroups_v2_Support_for_BenchExec_Gloster.pdf}, keyword = {Benchmarking}, day = {9}, field = {Computer Science}, month = {March}, }

6. Simon Antonischki. A CPA for String Analysis for Java Programs in CPAchecker. 9. March 2021. 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}, }