Software and Computational Systems Lab

Talks

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. Po-Chun Chien. BenchCloud: A Platform for Scalable Performance Benchmarking. Conference talk at ASE, 30. October 2024. Keyword(s): Benchmarking Presentation
   BibTeX Entry

   @conferencetalk{ASE24-BenchCloud, author = {Po-Chun Chien}, title = {BenchCloud: A Platform for Scalable Performance Benchmarking}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-10-30_ASE_BenchCloud_A_Platform_for_Scalable_Performance_Benchmarking_Po-Chun.pdf}, keyword = {Benchmarking}, day = {30}, field = {Computer Science}, month = {October}, venue = {ASE}, }
3. Po-Chun Chien. Bridging Hardware and Software Formal Verification. Conference talk at FM Doctoral Symposium, 10. September 2024. Keyword(s): Software Model Checking, Cooperative Verification, Btor2, CPAchecker, Witness-Based Validation Presentation
   BibTeX Entry

   @conferencetalk{FM24-BridgingHwSw, author = {Po-Chun Chien}, title = {Bridging Hardware and Software Formal Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-10_FM24_Bridging_Hardware_and_Software_Formal_Verification_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2, CPAchecker, Witness-Based Validation}, day = {10}, field = {Computer Science}, month = {September}, venue = {FM Doctoral Symposium}, }
4. 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. 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}, }
5. Dirk Beyer and Philipp Wendler. The Next Decade of the CPAchecker Development Process. Conference talk at 9th International Workshop on CPAchecker (CPA 2024), 09. September 2024. Keyword(s): CPAchecker, Software Model Checking Presentation
   BibTeX Entry

   @conferencetalk{CPA24-CPAcheckerDevelopment, author = {Dirk Beyer and Philipp Wendler}, title = {The Next Decade of the CPAchecker Development Process}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA24_The_Next_Decade_of_the_CPAchecker_Development_Process_Philipp.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {09}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2024/">9th International Workshop on CPAchecker (CPA 2024)</a>}, }
6. Po-Chun Chien. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Conference talk at 9th International Workshop on CPAchecker (CPA 2024), 09. September 2024. Keyword(s): CPAchecker, Software Model Checking Presentation
   BibTeX Entry

   @conferencetalk{CPA24-Transferability, author = {Po-Chun Chien}, title = {A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-09_CPA_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Po-Chun.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {09}, field = {Computer Science}, month = {September}, venue = {<a href="https://cpa.sosy-lab.org/2024/">9th International Workshop on CPAchecker (CPA 2024)</a>}, }
7. Po-Chun Chien. A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Conference talk at AVM, 05. September 2024. Keyword(s): CPAchecker, Software Model Checking Presentation
   BibTeX Entry

   @conferencetalk{AVM24-Transferability, author = {Po-Chun Chien}, title = {A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-05_AVM_A_Transferability_Study_of_Interpolation-Based_HWMC_for_SV_Po-Chun.pdf}, keyword = {CPAchecker,Software Model Checking}, day = {05}, field = {Computer Science}, month = {September}, venue = {AVM}, }
8. Dirk Beyer. Extending the MoXI Eco System. Conference talk at OSSyM, 21. July 2024. Keyword(s): Software Model Checking, Cooperative Verification, MoXIchecker Presentation
   BibTeX Entry

   @conferencetalk{OSSyM24-MoXIchecker, author = {Dirk Beyer}, title = {Extending the MoXI Eco System}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-07-23_OSSyM24_Extending_the_MoXI_Eco_System_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification, MoXIchecker}, day = {21}, field = {Computer Science}, month = {July}, venue = {OSSyM}, }
9. Dirk Beyer. Find, Use, and Conserve Tools for Formal Methods. Conference talk at Podeski65, 25. June 2024. Keyword(s): Software Model Checking, Cooperative Verification Presentation
   BibTeX Entry

   @conferencetalk{Podelski65-FM-Tools, author = {Dirk Beyer}, title = {Find, Use, and Conserve Tools for Formal Methods}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-06-25_Podelski65_Find_Use_and_Conserve_Tools_for_Formal_Methods_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification}, day = {25}, field = {Computer Science}, month = {June}, venue = {Podeski65}, }
10. Thomas Lemberger. Multi-Processing for Distributed Summary Synthesis. Conference talk at CPA, 9. September 2024. 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}, }
11. Po-Chun Chien. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. Conference talk at SPIN, 10. April 2024. Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{SPIN24-IMCDF, author = {Po-Chun Chien}, title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-10_SPIN_Augmenting_IMC_with_Auxiliary_Invariants_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {10}, field = {Computer Science}, month = {April}, venue = {SPIN}, }
12. Po-Chun Chien. CPV: A Circuit-Based Program Verifier (Competition Contribution). Conference talk at TACAS, 08. April 2024. Keyword(s): Software Model Checking, Cooperative Verification, Btor2 Presentation
    BibTeX Entry

    @conferencetalk{SVCOMP24-CPV, author = {Po-Chun Chien}, title = {{CPV}: {A} Circuit-Based Program Verifier (Competition Contribution)}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-08_SVCOMP_CPV_A_Circuit-Based_Program_Verifier_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {08}, field = {Computer Science}, month = {April}, venue = {TACAS}, }
13. Po-Chun Chien. Cross-Application of Hardware and Software Verification. Conference talk at ConVeY Workhop 2024 (co-located with ETAPS), 06. April 2024. Keyword(s): Software Model Checking, Cooperative Verification, Verification Witnesses, Btor2 Presentation
    BibTeX Entry

    @conferencetalk{ConVeY24-CrossApplyHwSwVerification, author = {Po-Chun Chien}, title = {Cross-Application of Hardware and Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-06_ConVeY_Cross-Application_of_HW_SW_Verification_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Verification Witnesses, Btor2}, day = {06}, field = {Computer Science}, month = {April}, venue = {<a href="https://convey.ifi.lmu.de/workshops/2024/spring/program.html">ConVeY Workhop 2024</a> (co-located with ETAPS)}, }
14. Stefan Winter. Regression-Test History Data for Flaky-Test Research. Conference talk at FTW 2024, 14. April 2024. Keyword(s): Software Testing, Dataset Presentation
    BibTeX Entry

    @conferencetalk{FTW24-CPAchecker-Regression-Test-History-FTW24, author = {Stefan Winter}, title = {Regression-Test History Data for Flaky-Test Research}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-04-14_FTW24_Regression-Test_History_Data_for_Flaky_Test_Research_Stefan.html}, keyword = {Software Testing, Dataset}, day = {14}, field = {Computer Science}, month = {April}, venue = {FTW 2024}, }
15. Dirk Beyer, Matthias Kettl, and Thomas Lemberger. Fault Localization on Verification Witnesses (Poster Paper). Conference talk at ICSE 2024, 14. April 2024. 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}, }
16. Thomas Lemberger. Towards Cooperative Software Verification with Test Generation and Formal Verification. Conference talk at SE, 28. February 2024. 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}, }

17. 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}, }
18. Dirk Beyer. Explicit-State Software Model Checking Based on CEGAR and Interpolation (Test-of-Time Award Presentation). Invited talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 27. April 2023. Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry

    @invitedtalk{ETAPS23ExplicitState, author = {Dirk Beyer}, title = {Explicit-State Software Model Checking Based on CEGAR and Interpolation (Test-of-Time Award Presentation)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-27_ETAPS23-TestOfTimeAward_Explicit_State_Software_Model_Checking_Based_on_CEGAR_and_Interpolation_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {27}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, }
19. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at AVM, 13. September 2023. 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}, }
20. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. 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>}, }
21. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at ASE, 13. September 2023. Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{ASE23-CPADF, author = {Po-Chun Chien}, title = {{CPA-DF}: {A} Tool for Configurable Interval Analysis to Boost Program Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_ASE_CPA-DF_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {13}, field = {Computer Science}, month = {September}, venue = {ASE}, }
22. Dirk Beyer. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. Conference talk at AVM, 13. September 2023. Keyword(s): Software Model Checking, Cooperative Verification, Btor2 Presentation
    BibTeX Entry

    @conferencetalk{AVM23Btor2C, author = {Dirk Beyer}, title = {Bridging Hardware and Software Analysis with {Btor2C}: {A} Word-Level-Circuit-to-{C} Translator}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-13_AVM23_Bridging_Hardware_and_Software_Analysis_with_Btor2C_Dirk.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {13}, field = {Computer Science}, month = {September}, venue = {AVM}, }
23. Philipp Wendler. Handling Flaky Regression Tests in CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Keyword(s): CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{CPA23-FlakyTests, author = {Philipp Wendler}, title = {Handling Flaky Regression Tests in CPAchecker}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA23_Handling_Flaky_Regression_Tests_in_CPAchecker_Philipp.pdf}, keyword = {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>}, }
24. Dirk Beyer. Software Model Checking: 20 Years and Beyond. Conference talk at CPAchecker, 11. September 2023. Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{CPAchecker23SMC20Years, author = {Dirk Beyer}, title = {Software Model Checking: 20 Years and Beyond}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPAcheckerWS23_SoftwareModelChecking_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {September}, venue = {CPAchecker}, }
25. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{CPA23-CPADF, author = {Po-Chun Chien}, title = {{CPA-DF}: {A} Tool for Configurable Interval Analysis to Boost Program Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-09-11_CPA_CPA-DF_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, 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>}, }
26. Dirk Beyer. Cooperative Verification. Conference talk at Dagstuhl on Abstract Interpretation, 11. July 2023. Keyword(s): Competition on Software Testing Presentation
    BibTeX Entry

    @conferencetalk{Dagstuhl23-Coop, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-07-11_Dagstuhl23_CooperativeVerification_Dirk.pdf}, keyword = {Competition on Software Testing}, day = {11}, field = {Computer Science}, month = {July}, venue = {Dagstuhl on Abstract Interpretation}, }
27. Dirk Beyer. 5th Competition on Software Testing. Conference talk at FASE 2023, 27. April 2023. Keyword(s): Competition on Software Testing Presentation
    BibTeX Entry

    @conferencetalk{FASE23-TestComp, author = {Dirk Beyer}, title = {5th Competition on Software Testing}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-27_FASE23_Test-Comp_Dirk.pdf}, keyword = {Competition on Software Testing}, day = {27}, field = {Computer Science}, month = {April}, venue = {FASE 2023}, }
28. Dirk Beyer. 5th Competition on Software Testing. Conference talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 26. April 2023. Keyword(s): Competition on Software Testing Presentation
    BibTeX Entry

    @conferencetalk{TOOLympics23-TestComp, author = {Dirk Beyer}, title = {5th Competition on Software Testing}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TOOLympics23_Test-Comp_Dirk.pdf}, keyword = {Competition on Software Testing}, day = {26}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, }
29. Dirk Beyer. 12th Competition on Software Verification. Conference talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 26. April 2023. Keyword(s): Competition on Software Verification Presentation
    BibTeX Entry

    @conferencetalk{TOOLympics23-SVCOMP, author = {Dirk Beyer}, title = {12th Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TOOLympics23_SV-COMP_Dirk.pdf}, keyword = {Competition on Software Verification}, day = {26}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, }
30. Dirk Beyer. TOOLympics 2023: Competitions in Formal Methods. Conference talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 26. April 2023. Presentation
    BibTeX Entry

    @conferencetalk{TOOLympics23-Intro, author = {Dirk Beyer}, title = {TOOLympics 2023: Competitions in Formal Methods}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TOOLympics23_Intro_Dirk.pdf}, keyword = {}, day = {26}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, }
31. Po-Chun Chien. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. Conference talk at TACAS, 26. April 2023. Keyword(s): Software Model Checking, Cooperative Verification, Btor2 Presentation
    BibTeX Entry

    @conferencetalk{TACAS23-Btor2C, author = {Po-Chun Chien}, title = {Bridging Hardware and Software Analysis with {Btor2C}: {A} Word-Level-Circuit-to-{C} Translator}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-26_TACAS23_Bridging_Hardware_and_Software_Analysis_with_Btor2C_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, Btor2}, day = {26}, field = {Computer Science}, month = {April}, venue = {TACAS}, }
32. Dirk Beyer. 12th Competition on Software Verification. Conference talk at TACAS 2023, 24. April 2023. Keyword(s): Competition on Software Verification Presentation
    BibTeX Entry

    @conferencetalk{TACAS23-SVCOMP-Poster, author = {Dirk Beyer}, title = {12th Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/pst/2023-04-24_TACAS23_SV-COMP_Poster.pdf}, keyword = {Competition on Software Verification}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
33. Dirk Beyer. 12th Competition on Software Verification. Conference talk at TACAS 2023, 24. April 2023. Keyword(s): Competition on Software Verification Presentation
    BibTeX Entry

    @conferencetalk{TACAS23-SVCOMP, author = {Dirk Beyer}, title = {12th Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-24_TACAS23_SV-COMP_Dirk.pdf}, keyword = {Competition on Software Verification}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
34. Daniel Baier, Dirk Beyer, Thomas Bunk, Po-Chun Chien, Matthias Kettl, Nian-Ze Lee, Martin Spiessl, Henrik Wachowitz, and Philipp Wendler. CPAchecker (Competition Contribution for SV-COMP ’23). Conference talk at TACAS 2023, 24. April 2023. Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{TACAS23-CPAchecker-Poster, author = {Daniel Baier and Dirk Beyer and Thomas Bunk and Po-Chun Chien and Matthias Kettl and Nian-Ze Lee and Martin Spiessl and Henrik Wachowitz and Philipp Wendler}, title = {CPAchecker (Competition Contribution for SV-COMP ’23)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/pst/2023-04-24_TACAS23_CPAchecker_Poster.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {24}, field = {Computer Science}, month = {April}, venue = {TACAS 2023}, }
35. Dirk Beyer. 5th Competition on Software Testing (TEST-COMP ’23). Conference talk at FASE 2023, 24. April 2023. Presentation
    BibTeX Entry

    @conferencetalk{FASE23-TestComp-Poster, author = {Dirk Beyer}, title = {5th Competition on Software Testing (TEST-COMP ’23)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/pst/2023-04-24_FASE23_Test-Comp_Poster.pdf}, keyword = {}, day = {24}, field = {Computer Science}, month = {April}, venue = {FASE 2023}, }
36. Dirk Beyer. A Library of Formal-Methods Tools. Conference talk at COOP 2023, 23. April 2023. Keyword(s): Cooperative Verification Presentation
    BibTeX Entry

    @conferencetalk{COOP23FormalsMethodsTools, author = {Dirk Beyer}, title = {A Library of Formal-Methods Tools}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-23_COOP23_FormalsMethodsTools_Dirk.pdf}, keyword = {Cooperative Verification}, day = {23}, field = {Computer Science}, month = {April}, venue = {COOP 2023}, }
37. Po-Chun Chien. Augmenting Interpolation-Based Model Checking with Auxiliary Invariants. Conference talk at 4th Workshop on Cooperative Software Verification (COOP 2023), 23. April 2023. Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry

    @conferencetalk{COOP23-IMCDF, author = {Po-Chun Chien}, title = {Augmenting Interpolation-Based Model Checking with Auxiliary Invariants}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-23_COOP23_Augmenting_Interpolation-Based_Model_Checking_with_Auxiliary_Invariants_Po-Chun.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {23}, field = {Computer Science}, month = {April}, venue = {<a href="https://coop.sosy-lab.org/2023/">4th Workshop on Cooperative Software Verification (COOP 2023)</a>}, }
38. Philipp Wendler. Reliable Benchmarking: Requirements and Solutions. Conference talk at RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results, 22. April 2023. Keyword(s): Benchmarking Presentation
    BibTeX Entry

    @conferencetalk{RRRR23Benchmarking, author = {Philipp Wendler}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-22_RRRR23_Benchmarking_Philipp.pdf}, keyword = {Benchmarking}, day = {22}, field = {Computer Science}, month = {April}, venue = {<a href="https://qcomp.org/rrrr/2023/">RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results</a>}, }
39. Dirk Beyer. Benchmarking in Computer Science and Competition on Software Verification. Conference talk at Masaryk University, Brno, 21. March 2023. Keyword(s): Benchmarking Presentation
    BibTeX Entry

    @conferencetalk{Brno23Benchmarking, author = {Dirk Beyer}, title = {Benchmarking in Computer Science and Competition on Software Verification}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-03-21_Brno23_Benchmarking_Dirk.pdf}, keyword = {Benchmarking}, day = {21}, field = {Computer Science}, month = {March}, venue = {Masaryk University, Brno}, }
40. Dirk Beyer. Verification Tools, Exchange Formats, and Combination Approaches. Conference talk at Euro Proof Net WG3 Cost Action 2023, 08. February 2023. Keyword(s): Cooperative Verification Presentation
    BibTeX Entry

    @conferencetalk{COST23Combinations, author = {Dirk Beyer}, title = {Verification Tools, Exchange Formats, and Combination Approaches}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-02-08_EuroProofNet23-WG3_VerificationToolsExchangeFormatsCombinationApproaches_Dirk.pdf}, keyword = {Cooperative Verification}, day = {08}, field = {Computer Science}, month = {February}, venue = {Euro Proof Net WG3 Cost Action 2023}, }
41. Winnie Lilith Sofia Ros. Extending the JavaSMT Framework with the Apron Library for Numerical Abstract Domain with subsequent Usability Assessment. Defense at LMU Munich, 22. December 2023. Keyword(s): Apron, SMT, Abstract Interpretation, JavaSMT
    BibTeX Entry

    @defense{RosBA, author = {Winnie Lilith Sofia Ros}, title = {Extending the JavaSMT Framework with the Apron Library for Numerical Abstract Domain with subsequent Usability Assessment}, year = {2023}, keyword = {Apron, SMT, Abstract Interpretation, JavaSMT}, day = {22}, field = {Computer Science}, month = {December}, venue = {LMU Munich}, }
42. Daniel Raffler. Adding the SMT solver OpenSMT2 to the JavaSMT Framework and Evaluation using CPAchecker. Defense at LMU Munich, 13. September 2023. Keyword(s): SMT, JavaSMT, OpenSMT2, CPAchecker
    BibTeX Entry

    @defense{RafflerBA, author = {Daniel Raffler}, title = {Adding the SMT solver OpenSMT2 to the JavaSMT Framework and Evaluation using CPAchecker}, year = {2023}, keyword = {SMT, JavaSMT, OpenSMT2, CPAchecker}, day = {13}, field = {Computer Science}, month = {September}, venue = {LMU Munich}, }
43. Janelle King. Implementing a Solver-Independent SMT-LIB2 Parser-Interpreter and Code-Generator for JavaSMT with Subsequent Evaluation. Defense at LMU Munich, 20. December 2023. Keyword(s): JavaSMT, SMT-LIB2, SMT, CPAchecker
    BibTeX Entry

    @defense{KingBA, author = {Janelle King}, title = {Implementing a Solver-Independent SMT-LIB2 Parser-Interpreter and Code-Generator for JavaSMT with Subsequent Evaluation}, year = {2023}, keyword = {JavaSMT, SMT-LIB2, SMT, CPAchecker}, day = {20}, field = {Computer Science}, month = {December}, venue = {LMU Munich}, }

44. 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}, }
45. 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}, }
46. 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}, }
47. Dirk Beyer. Cooperative Verification. Invited talk at SBMF 2022, 09. December 2022. 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}, }
48. Dirk Beyer. Cooperative Verification: Towards Reliable Safety-Critical Systems. Invited talk at FTSCS 2022, 07. December 2022. 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}, }
49. Dirk Beyer. Cooperative Software Verification: Combination Approaches that Share Information. Invited talk at Research Seminar at University of Wellington, 18. November 2022. 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}, }
50. Dirk Beyer. Software Verification and Verification Witnesses. Invited talk at Huawei Workshop 2022, 11. October 2022. 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}, }
51. Dirk Beyer. Modular Model Checking (Frameworks). Invited talk at Research Seminar at Iowa State University, Online, 29. March 2022. 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 = {}, }
52. Dirk Beyer. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Conference talk at SAS 2022, 05. December 2022. 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}, }
53. Dirk Beyer. Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization. Conference talk at ESEC/FSE 2022, 15. November 2022. 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}, }
54. 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. 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>}, }
55. 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. 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>}, }
56. 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. 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>}, }
57. Philipp Wendler. “Late Merges” in CPAchecker. Conference talk at Hüttenseminar SoSy-Lab, 11. July 2022. 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}, }
58. Matthias Kettl. The Static Analyzer Infer in SV-COMP. Conference talk at LMU Munich, 7. April 2022. 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 = {}, }
59. Sudeep Kanav. CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. Conference talk at TACAS, 6. April 2022. 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}, }
60. Cedric Richter. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. Conference talk at FASE, 4. April 2022. 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}, }
61. Thomas Lemberger. Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR. Conference talk at COOP 2022, 03. April 2022. 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 = {}, }
62. Thomas Lemberger. TestCov: Robust Test-Suite Execution and Coverage Measurement. Conference talk at Test-Comp 2022, 04. April 2022. 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 = {}, }
63. Thomas Lemberger. Towards Cooperative Software Verification with Test Generation and Formal Verification. Defense at LMU Munich, 12. December 2022. 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}, }
64. Daniel Baier. Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker. Defense at LMU Munich, 28. September 2022. 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}, }
65. Matthias Kettl. Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification. Defense at LMU Munich, 24. February 2022. 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 = {}, }

66. 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}, }
67. Thomas Lemberger. Program Transformations with CPAchecker. Conference talk at 6th International Workshop on CPAchecker (CPA 2021), 01. October 2021. 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 = {}, }
68. Dirk Beyer. Software Verification: Historical Landmarks and Current Developments. Conference talk at 6th International Workshop on CPAchecker (CPA 2021), 1. October 2021. 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 = {}, }
69. Dirk Beyer. CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components. Conference talk at ConVeY Retreat (ConVeY 2021), 22. October 2021. 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 = {}, }
70. Nico Weise. An Infrastructure for Cooperative Software Verification. Conference talk at ConVeY Retreat (ConVeY 2021), 22. October 2021. 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 = {}, }
71. Dirk Beyer. Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker. Conference talk at ISoLA 2021, 25. October 2021. 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 = {}, }
72. Dirk Beyer. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. Conference talk at ISoLA 2021, 29. October 2021. 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 = {}, }
73. Dirk Beyer. An Interface Theory for Program Verification. Conference talk at ISoLA 2021, 29. October 2021. 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 = {}, }
74. Thomas Lemberger. PRTest: A plain random tester. Conference talk at 3rd International Competition on Software Testing (Test-Comp 2021), 01. April 2021. 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}, }
75. 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. 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}, }
76. Dirk Beyer. CPU-Energy-Meter. Conference talk at TACAS20, 31. March 2021. 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 = {}, }
77. Dirk Beyer. PDR-for-Software. Conference talk at TACAS20, 31. March 2021. 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 = {}, }
78. Ludwig Glückstadt. Genetic Programming in Software Verification. Defense at LMU Munich, 10. November 2021.
    BibTeX Entry

    @defense{GlueckstadtBA, author = {Ludwig Glückstadt}, title = {Genetic Programming in Software Verification}, year = {2021}, day = {10}, month = {November}, venue = {LMU Munich}, video = {}, }
79. Sebastian Tschoepel. Implementation and Evaluation of a Simple Taint Analysis for CPAchecker. Defense at LMU Munich, 28. July 2021.
    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 = {}, }
80. Dennis Simon. Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec. Defense at LMU Munich, 28. April 2021. 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}, }
81. Sven Umbricht. Converting.Between.ACSL.Annotations.and.Witness.Invariants. Defense at LMU Munich, 10. February 2021. 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 = {}, }
82. Frederic Schoenberger. Converting_Test_Goals_to_Condition_Automata. Defense at LMU Munich, 13. January 2021. 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 = {}, }

83. Thomas Lemberger. Difference Verification with Conditions. Invited talk at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY), 24. July 2020. 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 = {}, }
84. Thomas Lemberger. Difference Verification with Conditions. Conference talk at 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), 17. September 2020. 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 = {}, }
85. Thomas Lemberger. Fault Localization with CPAchecker. Conference talk at 5th International Workshop on CPAchecker (CPA 2020), 28. September 2020. 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 = {}, }
86. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Conference talk at VMCAI Winter School 2020, 17. January 2020. Presentation
    BibTeX Entry

    @conferencetalk{SeminarFuzzing19, author = {Dirk Beyer}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-01-17_VMCAI-WinterSchool_Benchmarking_Dirk.pdf}, day = {17}, month = {January}, venue = {VMCAI Winter School 2020}, video = {}, }
87. Martin Zehendner. Software Verification with Numerical Domains in CPAchecker. Defense at LMU Munich, 25. November 2020. Keyword(s): Software Model Checking, CPAchecker
    BibTeX Entry

    @defense{ZehendnerBA, author = {Martin Zehendner}, title = {Software Verification with Numerical Domains in CPAchecker}, year = {2020}, keyword = {Software Model Checking, CPAchecker}, day = {25}, month = {November}, venue = {LMU Munich}, }
88. Simon Lund. Complexity Measures in Software Engineering. Defense at LMU Munich, 21. October 2020. Presentation
    BibTeX Entry

    @defense{LundBA, author = {Simon Lund}, title = {Complexity Measures in Software Engineering}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-10-21_BA_Complexity_Measures_in_Software_Engineering_Lund.pdf}, day = {21}, month = {October}, venue = {LMU Munich}, video = {}, }
89. Jakob Selberg. TestHarnessesForPointerBasedCPrograms. Defense at LMU Munich, 21. October 2020. Presentation
    BibTeX Entry

    @defense{SelbergBA, author = {Jakob Selberg}, title = {TestHarnessesForPointerBasedCPrograms}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-10-21_BA_TestHarnessesForPointerBasedCPrograms_Selberg.pdf}, day = {21}, month = {October}, venue = {LMU Munich}, video = {}, }
90. Schindar Ali. FaultLocalizationWithTestBasedDistanceMetrics. Defense at LMU Munich, 02. September 2020. Presentation
    BibTeX Entry

    @defense{AliBA, author = {Schindar Ali}, title = {FaultLocalizationWithTestBasedDistanceMetrics}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-02_BA_FaultLocalizationWithTestBasedDistanceMetrics_Ali.pdf}, day = {02}, month = {September}, venue = {LMU Munich}, video = {}, }
91. Moritz Beck. SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic. Defense at MA, 16. September 2020. Presentation
    BibTeX Entry

    @defense{BeckMA, author = {Moritz Beck}, title = {SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-16_MA_SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic_Beck.pdf}, day = {16}, month = {September}, venue = {MA}, video = {}, }
92. Angelos Kafounis. FaultLocalizationWithDistanceMetrics. Defense at LMU Munich, 29. September 2020. Presentation
    BibTeX Entry

    @defense{KafounisBA, author = {Angelos Kafounis}, title = {FaultLocalizationWithDistanceMetrics}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-29_BA_FaultLocalizationWithDistanceMetrics_Kafounis.pdf}, day = {29}, month = {September}, venue = {LMU Munich}, video = {}, }
93. Niedner. Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker. Defense at LMU Munich, 30. September 2020.
    BibTeX Entry

    @defense{NienderBA, author = {Niedner}, title = {Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker}, year = {2020}, day = {30}, month = {September}, venue = {LMU Munich}, }
94. Adrian Leimeister. IdePluginForCpachecker. Defense at LMU Munich, 15. July 2020. Presentation
    BibTeX Entry

    @defense{LeimeisterBA, author = {Adrian Leimeister}, title = {IdePluginForCpachecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-15_BA_IdePluginForCpachecker_Leimeister.pdf}, day = {15}, month = {July}, venue = {LMU Munich}, video = {}, }
95. Sonja Muenchow. WebFrontendForVisualizationOfComputationStepsInCpachecker. Defense at LMU Munich, 15. July 2020. Presentation
    BibTeX Entry

    @defense{MuenchowBA, author = {Sonja Muenchow}, title = {WebFrontendForVisualizationOfComputationStepsInCpachecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-15_BA_WebFrontendForVisualizationOfComputationStepsInCpachecker_Muenchow.pdf}, day = {15}, month = {July}, venue = {LMU Munich}, video = {}, }
96. Matthias Kettl. FaultLocalizationWithUnsatCores. Defense at LMU Munich, 22. July 2020. Presentation
    BibTeX Entry

    @defense{KettlBA, author = {Matthias Kettl}, title = {FaultLocalizationWithUnsatCores}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-22_BA_FaultLocalizationWithUnsatCores_Kettl.pdf}, day = {22}, month = {July}, venue = {LMU Munich}, video = {}, }
97. Michael Obermeier. Extending the Framework JavaSMT with the SMT Solver Yices2. Defense at LMU Munich, 13. May 2020. Presentation
    BibTeX Entry

    @defense{ObermeierBA, author = {Michael Obermeier}, title = {Extending the Framework JavaSMT with the SMT Solver Yices2}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-05-13_BA_IntegrationYices2InJavaSMT_Obermeier.pdf}, day = {13}, month = {May}, venue = {LMU Munich}, video = {}, }
98. Bernhard Poettinger. RelyGuaranteeSeparationLogic. Defense at LMU Munich, 29. January 2020. Presentation
    BibTeX Entry

    @defense{PraktikumPoettinger, author = {Bernhard Poettinger}, title = {RelyGuaranteeSeparationLogic}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-01-29_PR_RelyGuaranteeSeparationLogic_Poettinger.pdf}, day = {29}, month = {January}, venue = {LMU Munich}, video = {}, }
99. Alexander Ried. Design and Implementation of a Cluster-based Approach for Software Verification. Defense at LMU Munich, 29. January 2020.
    BibTeX Entry

    @defense{RiedBA, author = {Alexander Ried}, title = {Design and Implementation of a Cluster-based Approach for Software Verification}, year = {2020}, presentation = {}, day = {29}, month = {January}, venue = {LMU Munich}, video = {}, }

100. Dirk Beyer. Benchmarking. Invited talk at ConVeY, 24. October 2019. Presentation
     BibTeX Entry

     @invitedtalk{ConVeYBenchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_Benchmarking_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, }
101. Dirk Beyer. SV-COMP. Invited talk at ConVeY, 24. October 2019. Presentation
     BibTeX Entry

     @invitedtalk{ConVeYSVComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_SV-COMP_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, }
102. Dirk Beyer. SV-COMP. Invited talk at LorentzWS19, 18. February 2019. Presentation
     BibTeX Entry

     @invitedtalk{LorentzWS19SvComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-18_LorentzWS19_SV-COMP_Dirk.pdf}, day = {18}, month = {February}, venue = {LorentzWS19}, video = {}, }
103. Dirk Beyer. Benchmarking. Invited talk at LorentzWS19, 21. February 2019. Presentation
     BibTeX Entry

     @invitedtalk{LorentzWS19benchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-21_LorentzWS19_Benchmarking_Dirk.pdf}, day = {21}, month = {February}, venue = {LorentzWS19}, video = {}, }
104. Dirk Beyer. Correctness Witnesses. Invited talk at LorentzWS19, 22. February 2019. Presentation
     BibTeX Entry

     @invitedtalk{LorentzWS19Witnesses, author = {Dirk Beyer}, title = {Correctness Witnesses}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_LorentzWS19_CorrectnessWitnesses_Dirk.pdf}, day = {22}, month = {February}, venue = {LorentzWS19}, video = {}, }
105. Gidon Ernst. SecCSL. Invited talk at EliteSE, 01. January 2019. Presentation
     BibTeX Entry

     @invitedtalk{EliteSESecCSL, author = {Gidon Ernst}, title = {SecCSL}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-EliteSE.SecCSL.pdf}, day = {01}, month = {January}, venue = {EliteSE}, video = {}, }
106. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Conference talk at Seminar on Software Fuzzing, 10. December 2019. Presentation
     BibTeX Entry

     @conferencetalk{SeminarFuzzing19, author = {Dirk Beyer}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-12-10_Seminar-Fuzzing_Benchmarking_Dirk.pdf}, day = {10}, month = {December}, venue = {Seminar on Software Fuzzing}, video = {}, }
107. 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. 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}, }
108. Dirk Beyer. Cooperative Verification. Conference talk at CPA19-Chiemsee, 01. October 2019. Presentation
     BibTeX Entry

     @conferencetalk{CPA19CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-01_CPA19-Chiemsee_Cooperative-Verification_Dirk.pdf}, day = {01}, month = {October}, venue = {CPA19-Chiemsee}, video = {}, }
109. Gidon Ernst. VerifyThis tasks in sv-benchmarks. Conference talk at CPA19-VerifyThis, 02. October 2019. Presentation
     BibTeX Entry

     @conferencetalk{CPA19VerifyThis, author = {Gidon Ernst}, title = {VerifyThis tasks in sv-benchmarks}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19-VerifyThis_tasks_in_sv-benchmarks.pdf}, day = {02}, month = {October}, venue = {CPA19-VerifyThis}, video = {}, }
110. Philipp Wendler. Current Development Of CPAchecker. Conference talk at CPA19, 02. October 2019. Presentation
     BibTeX Entry

     @conferencetalk{CPA19CPAchecker, author = {Philipp Wendler}, title = {Current Development Of CPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19_CurrentDevelopmentOfCPAchecker_Philipp.pdf}, day = {02}, month = {October}, venue = {CPA19}, video = {}, }
111. 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. 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 = {}, }
112. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at 13th Alpine Verification Meeting (AVM 2019), 09. September 2019. 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 = {}, }
113. Gidon Ernst. SecCSL: Security Concurrent_Separation_Logic. Conference talk at AVM19, 11. September 2019. Presentation
     BibTeX Entry

     @conferencetalk{AVM19SecCSL, author = {Gidon Ernst}, title = {SecCSL: Security Concurrent_Separation_Logic}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-11_AVM19-SecCSL_Security_Concurrent_Separation_Logic.pdf}, day = {11}, month = {September}, venue = {AVM19}, video = {}, }
114. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. 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 = {}, }
115. Thomas Lemberger. Testsuite Validator. Isolated test-suite execution and coverage measurement. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. 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 = {}, }
116. Martin Spiessl. Future Plans with the Witness Format. Conference talk at Huette19, 02. July 2019. Presentation
     BibTeX Entry

     @conferencetalk{Huette19WitnessFormat, author = {Martin Spiessl}, title = {Future Plans with the Witness Format}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-02_Huette19_Future_Plans_With_The_Witness_Format_Martin.pdf}, day = {02}, month = {July}, venue = {Huette19}, video = {}, }
117. Maximilian Wiesholler. CorrectnessWitnessValidationUsingPredicateAnalysis. Conference talk at LMU Munich, 05. June 2019. Presentation
     BibTeX Entry

     @conferencetalk{WieshollerBA, author = {Maximilian Wiesholler}, title = {CorrectnessWitnessValidationUsingPredicateAnalysis}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-05_BA_CorrectnessWitnessValidationUsingPredicateAnalysis_Wiesholler.pdf}, day = {05}, month = {June}, venue = {LMU Munich}, video = {}, }
118. in_SV_Gidon. TT. Conference talk at TYPES, 07. June 2019. Presentation
     BibTeX Entry

     @conferencetalk{TypesInSV, author = {in_SV_Gidon}, title = {TT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-07_TYPES_TT_in_SV_Gidon.pdf}, day = {07}, month = {June}, venue = {TYPES}, video = {}, }
119. Maier. SMTBasedVerificationOfECMAScriptProgramsInCPAchecker. Conference talk at LMU Munich, 26. June 2019. Presentation
     BibTeX Entry

     @conferencetalk{MaierMA, author = {Maier}, title = {SMTBasedVerificationOfECMAScriptProgramsInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-26_MA_SMTBasedVerificationOfECMAScriptProgramsInCPAchecker_Maier.pdf}, day = {26}, month = {June}, venue = {LMU Munich}, video = {}, }
120. Dirk Beyer. DataShowcase. Conference talk at MSR19, 25. May 2019. Presentation
     BibTeX Entry

     @conferencetalk{MSR19, author = {Dirk Beyer}, title = {DataShowcase}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-05-25_MSR19_DataShowcase.pdf}, day = {25}, month = {May}, venue = {MSR19}, video = {}, }
121. Dirk Beyer. SV-COMP19. Conference talk at SV-COMP19, 06. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{SVCOMP19, author = {Dirk Beyer}, title = {SV-COMP19}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_SV-COMP_Dirk.pdf}, day = {06}, month = {April}, venue = {SV-COMP19}, video = {}, }
122. Dirk Beyer. Test-Comp19. Conference talk at Test-Comp19, 06. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{TestComp19, author = {Dirk Beyer}, title = {Test-Comp19}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_Test-Comp_Dirk.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, }
123. Marie-Christine Jakobs. CoVeriTest. Conference talk at Test-Comp19, 06. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{TestComp19CoVeriTest, author = {Marie-Christine Jakobs}, title = {CoVeriTest}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_TestComp19_CoVeriTest_Marie.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, }
124. Thomas Lemberger. PRTest: A plain random tester. Conference talk at Test-Comp19, 06. April 2019. 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 = {}, }
125. Dirk Beyer. SV-COMP at TOOLympics. Conference talk at TOOLympics19, 07. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{TOOLympics-SV-COMP, author = {Dirk Beyer}, title = {SV-COMP at TOOLympics}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-07_TOOLympics-SV-COMP_Dirk.pdf}, day = {07}, month = {April}, venue = {TOOLympics19}, video = {}, }
126. Dirk Beyer. Test-Comp at TOOLympics. Conference talk at TOOLympics19, 07. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{TOOLympics-Test-Comp, author = {Dirk Beyer}, title = {Test-Comp at TOOLympics}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-07_TOOLympics-Test-Comp_Dirk.pdf}, day = {07}, month = {April}, venue = {TOOLympics19}, video = {}, }
127. Dirk Beyer. Software Verification — An Overview of the State of the Art. Conference talk at ETAPS19, 09. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{ETAPS19SoftwareVerification, author = {Dirk Beyer}, title = {Software Verification — An Overview of the State of the Art}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-09_ETAPS19-Software-Verification_Dirk.pdf}, day = {09}, month = {April}, venue = {ETAPS19}, video = {}, }
128. Marie-Christine Jakobs. CoVeriTest. Conference talk at FASE19, 11. April 2019. Presentation
     BibTeX Entry

     @conferencetalk{FASE19, author = {Marie-Christine Jakobs}, title = {CoVeriTest}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-11_FASE19_CoVeriTest_Cooperative_Verifier-Based_Testing_Marie.pdf}, day = {11}, month = {April}, venue = {FASE19}, video = {}, }
129. Thomas Bunk. LtlSoftwareModelChecking. Conference talk at LMU Munich, 27. March 2019. Presentation
     BibTeX Entry

     @conferencetalk{BunkMA, author = {Thomas Bunk}, title = {LtlSoftwareModelChecking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-03-27_MA_LtlSoftwareModelChecking_Bunk.pdf}, day = {27}, month = {March}, venue = {LMU Munich}, video = {}, }
130. Marie-Christine Jakobs. CombiningVerifiersInConditionalModelChecking. Conference talk at SE19, 22. February 2019. Presentation
     BibTeX Entry

     @conferencetalk{SE19, author = {Marie-Christine Jakobs}, title = {CombiningVerifiersInConditionalModelChecking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_SE19_CombiningVerifiersInConditionalModelChecking_Marie.pdf}, day = {22}, month = {February}, venue = {SE19}, video = {}, }
131. Laura Bschor. ModernArchitectureAndImprovedUIforTablesOfBenchExec. Defense at LMU Munich, 06. November 2019. Presentation
     BibTeX Entry

     @defense{BschorBA, author = {Laura Bschor}, title = {ModernArchitectureAndImprovedUIforTablesOfBenchExec}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-06_BA_ModernArchitectureAndImprovedUIforTablesOfBenchExec_Bschor.pdf}, day = {06}, month = {November}, venue = {LMU Munich}, video = {}, }
132. Daniel Baier. Integration of the SMT Solver Boolector into JavaSMT. Defense at LMU Munich, 27. November 2019. Presentation
     BibTeX Entry

     @defense{BaierBA, author = {Daniel Baier}, title = {Integration of the SMT Solver Boolector into JavaSMT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-27_BA_IntegrationBoolectorInJavaSMT_Baier.pdf}, day = {27}, month = {November}, venue = {LMU Munich}, video = {}, }
133. Maximilian Hailer. MeasuringAndOptimizingEnergyConsumptionOfVerificationWork. Defense at LMU Munich, 30. October 2019. Presentation
     BibTeX Entry

     @defense{HailerBA, author = {Maximilian Hailer}, title = {MeasuringAndOptimizingEnergyConsumptionOfVerificationWork}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-30_BA_MeasuringAndOptimizingEnergyConsumptionOfVerificationWork_Hailer.pdf}, day = {30}, month = {October}, venue = {LMU Munich}, video = {}, }
134. Gerlach. NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker. Defense at LMU Munich, 09. January 2019. Presentation
     BibTeX Entry

     @defense{GerlachBA, author = {Gerlach}, title = {NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-01-09_BA_NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker_Gerlach.pdf}, day = {09}, month = {January}, venue = {LMU Munich}, video = {}, }

135. Dirk Beyer. Cooperative Verification. Invited talk at BTU Cottbus, 28. September 2018. Presentation
     BibTeX Entry

     @invitedtalk{CottbusCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-28_BTU-Cottbus_CooperativeVerification_Dirk.pdf}, day = {28}, month = {September}, venue = {BTU Cottbus}, video = {}, }
136. Dirk Beyer. Cooperative Verification. Invited talk at Konstanz-CooperativeVerification, 19. July 2018. Presentation
     BibTeX Entry

     @invitedtalk{KonstanzCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-19_Konstanz-CooperativeVerification_Dirk.pdf}, day = {19}, month = {July}, venue = {Konstanz-CooperativeVerification}, video = {}, }
137. Dirk Beyer. Cooperative Verification. Invited talk at fortiss-CooperativeVerification, 27. July 2018. Presentation
     BibTeX Entry

     @invitedtalk{fortissCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-27_fortiss-CooperativeVerification_Dirk.pdf}, day = {27}, month = {July}, venue = {fortiss-CooperativeVerification}, video = {}, }
138. Dirk Beyer. Cooperative Verification (Keynote). Invited talk at TAP18, 27. June 2018. Presentation
     BibTeX Entry

     @invitedtalk{TAP18CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification (Keynote)}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-06-27_TAP18-Keynote-CooperativeVerification_Dirk.pdf}, day = {27}, month = {June}, venue = {TAP18}, video = {}, }
139. Dirk Beyer. Stateful-and-Witnesses. Invited talk at LMU Munich (FSV2), 23. January 2018. Presentation
     BibTeX Entry

     @invitedtalk{FSV2Witnesses, author = {Dirk Beyer}, title = {Stateful-and-Witnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-All_Stateful-and-Witnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
140. Dirk Beyer. Stateful-Verification. Invited talk at LMU Munich (FSV2), 23. January 2018. Presentation
     BibTeX Entry

     @invitedtalk{FSV2Part1, author = {Dirk Beyer}, title = {Stateful-Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part1_Stateful-Verification.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
141. Dirk Beyer. CorrectnessWitnesses. Invited talk at LMU Munich (FSV2), 23. January 2018. Presentation
     BibTeX Entry

     @invitedtalk{FSV2Part2, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part2_CorrectnessWitnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
142. Dirk Beyer. ExecutionBasedValidation. Invited talk at LMU Munich (FSV2), 23. January 2018. Presentation
     BibTeX Entry

     @invitedtalk{FSV2Part3, author = {Dirk Beyer}, title = {ExecutionBasedValidation}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part3_ExecutionBasedValidation.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
143. Dirk Beyer. Conclusion. Invited talk at LMU Munich (FSV2), 23. January 2018. Presentation
     BibTeX Entry

     @invitedtalk{FSV2Part4, author = {Dirk Beyer}, title = {Conclusion}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part4_Conclusion.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
144. Dirk Beyer. Applying CPAchecker to Large Explicit State Spaces. Conference talk at ISoLA18, 08. November 2018. Presentation
     BibTeX Entry

     @conferencetalk{ISoLA18RersCPAchecker, author = {Dirk Beyer}, title = {Applying CPAchecker to Large Explicit State Spaces}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-08_ISoLA18_RERS-CPAchecker-Participation-Report_Dirk.pdf}, day = {08}, month = {November}, venue = {ISoLA18}, video = {}, }
145. Dirk Beyer. In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. Conference talk at ISoLA18, 06. November 2018. Presentation
     BibTeX Entry

     @conferencetalk{ISoLA18Bam, author = {Dirk Beyer}, title = {In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-06_ISoLA18_BAM-CoW-Refinement_Dirk.pdf}, day = {06}, month = {November}, venue = {ISoLA18}, video = {}, }
146. Dirk Beyer. Strategy Selection. Conference talk at ISoLA18, 05. November 2018. Presentation
     BibTeX Entry

     @conferencetalk{ISoLA18StrategySelection, author = {Dirk Beyer}, title = {Strategy Selection}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-05_ISoLA18_StrategySelection_Dirk.pdf}, day = {05}, month = {November}, venue = {ISoLA18}, video = {}, }
147. Martin Spiessl. Slicing Abstractions. Conference talk at CPA18, 26. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{CPA18SlicingAbstractions, author = {Martin Spiessl}, title = {Slicing Abstractions}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-26_CPA18_SlicingAbstractions_Martin.pdf}, day = {26}, month = {September}, venue = {CPA18}, video = {}, }
148. Thomas Lemberger. CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Conference talk at ASE18, 07. September 2018. 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 = {}, }
149. Karlheinz Friedberger. Domain-Independent Multi-threaded Software Model Checking. Conference talk at ASE18, 07. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{ASE18Bam, author = {Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-07_ASE18_ParallelBAM_Karlheinz.pdf}, day = {07}, month = {September}, venue = {ASE18}, video = {}, }
150. Marie-Christine Jakobs. CooperativeTestCaseGeneration. Conference talk at CPA18, 25. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{CPA18CoVeriTest, author = {Marie-Christine Jakobs}, title = {CooperativeTestCaseGeneration}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_CooperativeTestCaseGeneration_Marie.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
151. Philipp Wendler. New Developments In BenchExec. Conference talk at CPA18, 25. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{CPA18Benchexec, author = {Philipp Wendler}, title = {New Developments In BenchExec}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_NewDevelopmentsInBenchExec_Philipp.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
152. Karlheinz Friedberger. Domain-Independent Multi-threaded Software Model Checking. Conference talk at CPA18, 25. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{CPA18Bam, author = {Karlheinz Friedberger}, title = {Domain-Independent Multi-threaded Software Model Checking}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_ParallelBAM_Karlheinz.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
153. Dirk Beyer. Reducer-Based Construction of Conditional Model Checkers. Conference talk at CPA18, 25. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{CPA18Reducers, author = {Dirk Beyer}, title = {Reducer-Based Construction of Conditional Model Checkers}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_ReducerBasedConstruction_Dirk.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
154. Matthias Dangl. StrategySelection. Conference talk at CPA18, 25. September 2018. Presentation
     BibTeX Entry

     @conferencetalk{CPA18StrategySelection, author = {Matthias Dangl}, title = {StrategySelection}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_StrategySelection_Matthias.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
155. Thomas Lemberger. Incremental Slicing. CEGAR + Program Slicing. Conference talk at CPA18, 26. September 2018. 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 = {}, }
156. Marie-Christine Jakobs. ReducerBasedConstructionOfConditionalVerifiers. Conference talk at ICSE18, 01. June 2018. Presentation
     BibTeX Entry

     @conferencetalk{ICSE18, author = {Marie-Christine Jakobs}, title = {ReducerBasedConstructionOfConditionalVerifiers}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-06-01_ICSE18_ReducerBasedConstructionOfConditionalVerifiers_Marie.pdf}, day = {01}, month = {June}, venue = {ICSE18}, video = {}, }
157. Philipp Wendler. Beiträge Zu Praktikabler Prädikatenanalyse. Conference talk at GiDiss, 08. May 2018. Presentation
     BibTeX Entry

     @conferencetalk{GiDissWendler, author = {Philipp Wendler}, title = {Beiträge Zu Praktikabler Prädikatenanalyse}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-08_GiDiss_BeitraegeZuPraktikablerPraedikatenanalyse.pdf}, day = {08}, month = {May}, venue = {GiDiss}, video = {}, }
158. Dirk Beyer. CPAchecker. Conference talk at SSFT Summer School18, 23. May 2018. Presentation
     BibTeX Entry

     @conferencetalk{SSFTSummerSchoolPart1, author = {Dirk Beyer}, title = {CPAchecker}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-23_SSFTSummerSchoolPart1_CPAchecker.pdf}, day = {23}, month = {May}, venue = {SSFT Summer School18}, video = {}, }
159. Dirk Beyer. AlgorithmsSMT. Conference talk at SSFT Summer School18, 23. May 2018. Presentation
     BibTeX Entry

     @conferencetalk{SSFTSummerSchoolPart2, author = {Dirk Beyer}, title = {AlgorithmsSMT}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-23_SSFTSummerSchoolPart2_AlgorithmsSMT.pdf}, day = {23}, month = {May}, venue = {SSFT Summer School18}, video = {}, }
160. Dirk Beyer. CMC-Reducers. Conference talk at SSFT Summer School18, 24. May 2018. Presentation
     BibTeX Entry

     @conferencetalk{SSFTSummerSchoolPart3, author = {Dirk Beyer}, title = {CMC-Reducers}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-24_SSFTSummerSchoolPart3_CMC-Reducers.pdf}, day = {24}, month = {May}, venue = {SSFT Summer School18}, video = {}, }
161. Dirk Beyer. CorrectnessWitnesses. Conference talk at SSFT Summer School18, 24. May 2018. Presentation
     BibTeX Entry

     @conferencetalk{SSFTSummerSchoolPart4, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-24_SSFTSummerSchoolPart4_CorrectnessWitnesses.pdf}, day = {24}, month = {May}, venue = {SSFT Summer School18}, video = {}, }
162. Dirk Beyer. TestsFromWitnesses. Conference talk at SSFT Summer School18, 24. May 2018. Presentation
     BibTeX Entry

     @conferencetalk{SSFTSummerSchoolPart5, author = {Dirk Beyer}, title = {TestsFromWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-05-24_SSFTSummerSchoolPart5_TestsFromWitnesses.pdf}, day = {24}, month = {May}, venue = {SSFT Summer School18}, video = {}, }
163. Dirk Beyer. CPAchecker. Conference talk at RiSE-Winterschool18, 08. February 2018. Presentation
     BibTeX Entry

     @conferencetalk{RiSEWinterSchoolPart1, author = {Dirk Beyer}, title = {CPAchecker}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part1_CPAchecker.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, }
164. Dirk Beyer. LazyAbstraction. Conference talk at RiSE-Winterschool18, 08. February 2018. Presentation
     BibTeX Entry

     @conferencetalk{RiSEWinterSchoolPart2, author = {Dirk Beyer}, title = {LazyAbstraction}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part2_LazyAbstraction.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, }
165. Dirk Beyer. AlgorithmsSMT. Conference talk at RiSE-Winterschool18, 08. February 2018. Presentation
     BibTeX Entry

     @conferencetalk{RiSEWinterSchoolPart3, author = {Dirk Beyer}, title = {AlgorithmsSMT}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part3_AlgorithmsSMT.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, }
166. Dirk Beyer. Stateful-Verification. Conference talk at RiSE-Winterschool18, 08. February 2018. Presentation
     BibTeX Entry

     @conferencetalk{RiSEWinterSchoolPart4, author = {Dirk Beyer}, title = {Stateful-Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-02-08_RiSE-WinterSchool-Part4_Stateful-Verification.pdf}, day = {08}, month = {February}, venue = {RiSE-Winterschool18}, video = {}, }

167. Dirk Beyer. Repositories Group: Best Practices on Artifact Integration. Invited talk at ACM TaskForce on Reproducibility, 07. December 2017. doi:10.5281/zenodo.7296608 Publisher's Version Presentation
     BibTeX Entry

     @invitedtalk{ACM-WS-Repro17, author = {Dirk Beyer}, title = {Repositories Group: Best Practices on Artifact Integration}, year = {2017}, doi = {10.5281/zenodo.7296608}, presentation = {https://www.sosy-lab.org/research/prs/2017-12-07_ACM-WS-Repro_BestPracticesOnArtifactIntegration_Dirk.pdf}, day = {07}, month = {December}, venue = {ACM TaskForce on Reproducibility}, video = {}, }
168. Dirk Beyer. Predicate-Analysis. Invited talk at LMU Munich (FSV2), 28. November 2017. Presentation
     BibTeX Entry

     @invitedtalk{FSV2Predicate, author = {Dirk Beyer}, title = {Predicate-Analysis}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-28_FSV2_Predicate-Analysis.pdf}, day = {28}, month = {November}, venue = {LMU Munich (FSV2)}, video = {}, }
169. 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. 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 = {}, }
170. Philipp Wendler. Towards Practical Predicate Analysis. Defense at University of Passau, 20. November 2017. Presentation
     BibTeX Entry

     @defense{RigorosumWendler, author = {Philipp Wendler}, title = {Towards Practical Predicate Analysis}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-20_RigorosumWendler_TowardsPracticalPredicateAnalysis.pdf}, day = {20}, month = {November}, venue = {University of Passau}, video = {}, }

171. Dirk Beyer. SymbolicExecutionWithCegar. Conference talk at ISoLA16, 10. October 2016. Presentation
     BibTeX Entry

     @conferencetalk{ISoLA16, author = {Dirk Beyer}, title = {SymbolicExecutionWithCegar}, year = {2016}, presentation = {https://www.sosy-lab.org/research/prs/2016-10-10_ISoLA16_SymbolicExecutionWithCegar_Dirk.pdf}, day = {10}, month = {October}, venue = {ISoLA16}, video = {}, }

172. Philipp Wendler. Reliable Benchmarking of Software Verification in the Cloud. Conference talk at HPI Potsdam Future SOC Lab Day (Spring 2015), 15. April 2015. Keyword(s): Benchmarking, Cloud-Based Software Verification Presentation
     BibTeX Entry

     @conferencetalk{HPI15VerifierCloud, author = {Philipp Wendler}, title = {Reliable Benchmarking of Software Verification in the Cloud}, year = {2015}, presentation = {https://www.sosy-lab.org/research/prs/2015-04-15_HPI_Reliable_Benchmarking_of_Software_Verification_in_the_Cloud_Philipp.pdf}, keyword = {Benchmarking, Cloud-Based Software Verification}, day = {15}, field = {Computer Science}, month = {April}, venue = {<a href="https://hpi.de/forschung/future-soc-lab.html">HPI Potsdam Future SOC Lab</a> Day (Spring 2015)}, }

173. Philipp Wendler. Conference talk at Dagstuhl 2014, April 2014. Keyword(s): Software Model Checking, CPAchecker Presentation
     BibTeX Entry

     @conferencetalk{FASE13ExplicitStateMC, author = {Philipp Wendler}, title = {}, year = {2014}, presentation = {https://www.sosy-lab.org/research/prs/2014-04_Dagstuhl_PredAbs_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {}, field = {Computer Science}, month = {April}, venue = {Dagstuhl 2014}, }

174. Stefan Löwe. Explicit State Software Model Checking Based on CEGAR and Interpolation. Conference talk at FASE 2013, 20. March 2013. Keyword(s): Software Model Checking, CPAchecker Presentation
     BibTeX Entry

     @conferencetalk{FASE13ExplicitStateMC, author = {Stefan Löwe}, title = {Explicit State Software Model Checking Based on CEGAR and Interpolation}, year = {2013}, presentation = {https://www.sosy-lab.org/research/prs/2013-03-20_FASE13_Explicit_State_Software_Model_Checking_Based_on_CEGAR_and_Interpolation_Stefan.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {20}, field = {Computer Science}, month = {March}, venue = {FASE 2013}, }
175. Andreas Stahlbauer. InformationReuse. Conference talk at ESOP13, 21. March 2013. Presentation
     BibTeX Entry

     @conferencetalk{ESOP13, author = {Andreas Stahlbauer}, title = {InformationReuse}, year = {2013}, presentation = {https://www.sosy-lab.org/research/prs/2013-03-21_ESOP13_InformationReuse_Andreas.pdf}, day = {21}, month = {March}, venue = {ESOP13}, video = {}, }

176. Stefan Löwe. Explicit State Model Checking Based on CEGAR and Interpolation. Conference talk at ISoLA 2012, 15. October 2012. Keyword(s): Software Model Checking, CPAchecker Presentation
     BibTeX Entry

     @conferencetalk{ISOLA12ExplicitStateMC, author = {Stefan Löwe}, title = {Explicit State Model Checking Based on CEGAR and Interpolation}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-10-15_ISOLA12-LDV_Explicit_State_Model_Checking_Based_on_CEGAR_and_Interpolation_Stefan.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {October}, venue = {ISoLA 2012}, }
177. Philipp Wendler. Conditional Model Checking. Conference talk at FSE12, 15. November 2012. Keyword(s): Software Model Checking, CPAchecker Presentation
     BibTeX Entry

     @conferencetalk{FSE12CMC, author = {Philipp Wendler}, title = {Conditional Model Checking}, year = {2012}, presentation = {https://www.sosy-lab.org/research/prs/2012-11-15_FSE12_Conditional_Model_Checking_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {FSE12}, }

178. Dirk Beyer. DepDegree. Conference talk 01. June 2010. Presentation
     BibTeX Entry

     @conferencetalk{DepDegree, author = {Dirk Beyer}, title = {DepDegree}, year = {2010}, presentation = {https://www.sosy-lab.org/research/prs/2010-06_DepDegree.pdf}, day = {01}, month = {June}, venue = {}, video = {}, }

179. Dirk Beyer. CPAplus. Invited talk at UCB, 16. April 2009. Presentation
     BibTeX Entry

     @invitedtalk{UCB, author = {Dirk Beyer}, title = {CPAplus}, year = {2009}, presentation = {https://www.sosy-lab.org/research/prs/2009-04-16_UCB_CPAplus.pdf}, day = {16}, month = {April}, venue = {UCB}, video = {}, }

180. Dirk Beyer. BLAST. Invited talk at EPFL, 08. May 2008. Presentation
     BibTeX Entry

     @invitedtalk{EPFL, author = {Dirk Beyer}, title = {BLAST}, year = {2008}, presentation = {https://www.sosy-lab.org/research/prs/2008-05-08_EPFL_BLAST_Dirk.pdf}, day = {08}, month = {May}, venue = {EPFL}, video = {}, }

181. Dirk Beyer. Configurable-Program-Analysis. Conference talk at CAV07, 07. July 2007. Presentation
     BibTeX Entry

     @conferencetalk{CAV07, author = {Dirk Beyer}, title = {Configurable-Program-Analysis}, year = {2007}, presentation = {https://www.sosy-lab.org/research/prs/2007-07-07_CAV07_Configurable-Program-Analysis.pdf}, day = {07}, month = {July}, venue = {CAV07}, video = {}, }