We are hiring new student research assistants and tutors. Apply now!
4 papers accepted at SPIN 2024!

Talks of year 2022

Theses and projects (PhD, MSc, BSc, Project)

  1. Maximilian Hailer. New Approaches and Visualization for Verification Coverage. 15. June 2022. Link to this entry 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. Link to this entry 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. Link to this entry 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}, }

Guest lectures, invited talks, and tutorials

  1. Dirk Beyer. Cooperative Verification. Invited talk at SBMF 2022, 09. December 2022. Link to this entry Keyword(s): Cooperative Verification Presentation
    BibTeX Entry
    @invitedtalk{SBMF22, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-09_SBMF22_CooperativeVerification_Dirk.pdf}, keyword = {Cooperative Verification}, day = {09}, field = {Computer Science}, month = {December}, venue = {SBMF 2022}, }
  2. Dirk Beyer. Cooperative Verification: Towards Reliable Safety-Critical Systems. Invited talk at FTSCS 2022, 07. December 2022. Link to this entry Keyword(s): Cooperative Verification Presentation
    BibTeX Entry
    @invitedtalk{FTSCS22, author = {Dirk Beyer}, title = {Cooperative Verification: Towards Reliable Safety-Critical Systems}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-07_FTSCS22_CooperativeVerificationTowardsReliableSafety-CriticalSystems_Dirk.pdf}, keyword = {Cooperative Verification}, day = {07}, field = {Computer Science}, month = {December}, venue = {FTSCS 2022}, }
  3. Dirk Beyer. Cooperative Software Verification: Combination Approaches that Share Information. Invited talk at Research Seminar at University of Wellington, 18. November 2022. Link to this entry Keyword(s): Cooperative Verification Presentation
    BibTeX Entry
    @invitedtalk{UWellington-Visit22, author = {Dirk Beyer}, title = {Cooperative Software Verification: Combination Approaches that Share Information}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-11-18_UWellington-Visit_CooperativeVerification_Dirk.pdf}, keyword = {Cooperative Verification}, day = {18}, field = {Computer Science}, month = {November}, venue = {Research Seminar at University of Wellington}, }
  4. Dirk Beyer. Software Verification and Verification Witnesses. Invited talk at Huawei Workshop 2022, 11. October 2022. Link to this entry Keyword(s): Cooperative Verification, Verification Witnesses, Competition on Software Verification Presentation
    BibTeX Entry
    @invitedtalk{Huawei22, author = {Dirk Beyer}, title = {Software Verification and Verification Witnesses}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-11_Huawei22_SV-COMP-Witnesses_Dirk.pdf}, keyword = {Cooperative Verification, Verification Witnesses, Competition on Software Verification}, day = {11}, field = {Computer Science}, month = {October}, venue = {Huawei Workshop 2022}, }
  5. Dirk Beyer. Modular Model Checking (Frameworks). Invited talk at Research Seminar at Iowa State University, Online, 29. March 2022. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{Iowa22-ModularMC, author = {Dirk Beyer}, title = {Modular Model Checking (Frameworks)}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-29_Modular-SW-MC_Dirk.pdf}, day = {29}, month = {March}, venue = {Research Seminar at Iowa State University, Online}, video = {}, }

Conference and other Presentations

  1. Dirk Beyer. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Conference talk at SAS 2022, 05. December 2022. Link to this entry Keyword(s): Verification Witnesses Presentation
    BibTeX Entry
    @conferencetalk{SAS22, author = {Dirk Beyer}, title = {Case Study on Verification-Witness Validators: Where We Are and Where We Go}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-05_SAS22_CaseStudyOnVerificationWitnessValidators_Dirk.pdf}, keyword = {Verification Witnesses}, day = {05}, field = {Computer Science}, month = {December}, venue = {SAS 2022}, }
  2. Dirk Beyer. Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization. Conference talk at ESEC/FSE 2022, 15. November 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FSE22, author = {Dirk Beyer}, title = {Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-11-15_FSE2022_BAM-Interprocedural_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {ESEC/FSE 2022}, }
  3. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at CPA 2022 – 7th International Workshop on CPAchecker, 05. October 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-05_CPA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {05}, field = {Computer Science}, month = {October}, venue = {<a href="https://uol.de/en/computingscience/groups/formal-methods/forschung/7th-international-workshop-on-cpachecker-cpa-22">CPA 2022 – 7th International Workshop on CPAchecker</a>}, }
  4. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at AVM 2022 – 14th Alpine Verification Meeting, 14. September 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{AVM22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-14_AVM22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {14}, field = {Computer Science}, month = {September}, venue = {<a href="https://avm.sosy-lab.org/2022/">AVM 2022 – 14th Alpine Verification Meeting</a>}, }
  5. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications, 11. August 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{iPRA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-08-11_iPRA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {August}, venue = {<a href="https://ipra-2022.bitbucket.io/">iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications</a>}, }
  6. Philipp Wendler. “Late Merges” in CPAchecker. Conference talk at Hüttenseminar SoSy-Lab, 11. July 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{Huette22LateMerges, author = {Philipp Wendler}, title = {“Late Merges” in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-07-11_Huette22_Late_Merges_in_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, }
  7. Matthias Kettl. The Static Analyzer Infer in SV-COMP. Conference talk at LMU Munich, 7. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{InferTACAS, author = {Matthias Kettl}, title = {The Static Analyzer Infer in SV-COMP}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-07_TACAS_Infer.pdf}, day = {7}, month = {April}, venue = {LMU Munich}, video = {}, }
  8. Sudeep Kanav. CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. Conference talk at TACAS, 6. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TACAS22, author = {Sudeep Kanav}, title = {{CoVeriTeam}: {O}n-Demand Composition of Cooperative Verification Systems}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-06_TACAS22_CoVeriTeam_Sudeep.pdf}, day = {6}, month = {April}, venue = {TACAS}, }
  9. Cedric Richter. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. Conference talk at FASE, 4. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{FASE22, author = {Cedric Richter}, title = {Construction of Verifier Combinations Based on Off-the-Shelf Verifiers}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-04_FASE22-CoVeriTeam-Combinations_Cedric.pdf}, day = {4}, month = {April}, venue = {FASE}, }
  10. 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 = {}, }
  11. 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 = {}, }

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}, }
  2. Daniel Baier. Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker. Defense at LMU Munich, 28. September 2022. Link to this entry Keyword(s): Software Model Checking, Symbolic Memory Graphs, CPAchecker Presentation
    BibTeX Entry
    @defense{BaierMA, author = {Daniel Baier}, title = {Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-28_MA_Implementation_of_Value_Analysis_over_Symbolic_Memory_Graphs_in_CPAchecker_Baier.pdf}, keyword = {Software Model Checking, Symbolic Memory Graphs, CPAchecker}, day = {28}, field = {Computer Science}, month = {September}, venue = {LMU Munich}, }
  3. Matthias Kettl. Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification. Defense at LMU Munich, 24. February 2022. Link to this entry Presentation
    BibTeX Entry
    @defense{KettlMA, author = {Matthias Kettl}, title = {Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-02-24_MA_Adjustable_Block_Analysis.pdf}, day = {24}, month = {February}, 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: Thu Mar 28 02:04:40 2024 UTC