Software and Computational Systems Lab

Talks by year

1. 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}, }
2. 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}, }
3. 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}, }

1. 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}, }