We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
2 papers accepted at ASE 2024: BenchCloud and CoVeriTeam GUI

Talks

2024

  1. Tobias Maget. Evaluation of JVM Garbage Collectors for CPAchecker. 23. October 2024. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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. Link to this entry 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}, }

2023

  1. Benedikt Damböck. Verification of Java Programs with Exceptions with CPAchecker. 12. December 2023. Link to this entry 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}, }
  2. 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. Link to this entry 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>}, }
  3. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at AVM, 13. September 2023. Link to this entry 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}, }
  4. Thomas Lemberger. Real-World Software Verification with CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry 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>}, }
  5. Po-Chun Chien. CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. Conference talk at ASE, 13. September 2023. Link to this entry 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}, }
  6. Dirk Beyer. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. Conference talk at AVM, 13. September 2023. Link to this entry 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}, }
  7. Philipp Wendler. Handling Flaky Regression Tests in CPAchecker. Conference talk at 8th International Workshop on CPAchecker (CPA 2023), 11. September 2023. Link to this entry 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>}, }
  8. Dirk Beyer. Software Model Checking: 20 Years and Beyond. Conference talk at CPAchecker, 11. September 2023. Link to this entry 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}, }
  9. 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. Link to this entry 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>}, }
  10. Dirk Beyer. Cooperative Verification. Conference talk at Dagstuhl on Abstract Interpretation, 11. July 2023. Link to this entry 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}, }
  11. Dirk Beyer. 5th Competition on Software Testing. Conference talk at FASE 2023, 27. April 2023. Link to this entry 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}, }
  12. Dirk Beyer. 5th Competition on Software Testing. Conference talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 26. April 2023. Link to this entry 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>}, }
  13. Dirk Beyer. 12th Competition on Software Verification. Conference talk at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software, 26. April 2023. Link to this entry 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>}, }
  14. 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. Link to this entry 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>}, }
  15. Po-Chun Chien. Bridging Hardware and Software Analysis with Btor2C: A Word-Level-Circuit-to-C Translator. Conference talk at TACAS, 26. April 2023. Link to this entry 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}, }
  16. Dirk Beyer. 12th Competition on Software Verification. Conference talk at TACAS 2023, 24. April 2023. Link to this entry 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}, }
  17. Dirk Beyer. 12th Competition on Software Verification. Conference talk at TACAS 2023, 24. April 2023. Link to this entry 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}, }
  18. 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. Link to this entry 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}, }
  19. Dirk Beyer. 5th Competition on Software Testing (TEST-COMP ’23). Conference talk at FASE 2023, 24. April 2023. Link to this entry 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}, }
  20. Dirk Beyer. A Library of Formal-Methods Tools. Conference talk at COOP 2023, 23. April 2023. Link to this entry 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}, }
  21. 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. Link to this entry 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>}, }
  22. Philipp Wendler. Reliable Benchmarking: Requirements and Solutions. Conference talk at RRRR 2023 – 2nd Workshop on Reproducibility and Replication of Research Results, 22. April 2023. Link to this entry 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>}, }
  23. Dirk Beyer. Benchmarking in Computer Science and Competition on Software Verification. Conference talk at Masaryk University, Brno, 21. March 2023. Link to this entry 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}, }
  24. Dirk Beyer. Verification Tools, Exchange Formats, and Combination Approaches. Conference talk at Euro Proof Net WG3 Cost Action 2023, 08. February 2023. Link to this entry 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}, }
  25. 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. Link to this entry 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}, }
  26. Daniel Raffler. Adding the SMT solver OpenSMT2 to the JavaSMT Framework and Evaluation using CPAchecker. Defense at LMU Munich, 13. September 2023. Link to this entry 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}, }
  27. 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. Link to this entry 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}, }

2022

  1. Maximilian Hailer. New Approaches and Visualization for Verification Coverage. 15. June 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @misc{HailerVerificationCoverage, author = {Maximilian Hailer}, title = {New Approaches and Visualization for Verification Coverage}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-06-16_MA_New_Approaches_and_Visualization_for_Verification_Coverage_Hailer.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {June}, }
  2. Tobias Kleinert. Developing a Verifier Based on Parallel Portfolio with CoVeriTeam. 16. March 2022. Link to this entry Keyword(s): Benchmarking Presentation
    BibTeX Entry
    @misc{KleinertParPortfolioCoVeriTeam, author = {Tobias Kleinert}, title = {Developing a Verifier Based on Parallel Portfolio with CoVeriTeam}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-16_BA_Parallel_Portfolio_CoVeriTeam.pdf}, keyword = {Benchmarking}, day = {16}, field = {Computer Science}, month = {March}, }
  3. Robin Gloster. Cgroups v2 Support for BenchExec. 9. March 2022. Link to this entry Keyword(s): Benchmarking Presentation
    BibTeX Entry
    @misc{GlosterCgroupsV2, author = {Robin Gloster}, title = {Cgroups v2 Support for BenchExec}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-09_BA_Cgroups_v2_Support_for_BenchExec_Gloster.pdf}, keyword = {Benchmarking}, day = {9}, field = {Computer Science}, month = {March}, }
  4. Dirk Beyer. Cooperative Verification. Invited talk at SBMF 2022, 09. December 2022. Link to this entry Keyword(s): Cooperative Verification Presentation
    BibTeX Entry
    @invitedtalk{SBMF22, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-09_SBMF22_CooperativeVerification_Dirk.pdf}, keyword = {Cooperative Verification}, day = {09}, field = {Computer Science}, month = {December}, venue = {SBMF 2022}, }
  5. Dirk Beyer. Cooperative Verification: Towards Reliable Safety-Critical Systems. Invited talk at FTSCS 2022, 07. December 2022. Link to this entry Keyword(s): Cooperative Verification Presentation
    BibTeX Entry
    @invitedtalk{FTSCS22, author = {Dirk Beyer}, title = {Cooperative Verification: Towards Reliable Safety-Critical Systems}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-07_FTSCS22_CooperativeVerificationTowardsReliableSafety-CriticalSystems_Dirk.pdf}, keyword = {Cooperative Verification}, day = {07}, field = {Computer Science}, month = {December}, venue = {FTSCS 2022}, }
  6. Dirk Beyer. Cooperative Software Verification: Combination Approaches that Share Information. Invited talk at Research Seminar at University of Wellington, 18. November 2022. Link to this entry Keyword(s): Cooperative Verification Presentation
    BibTeX Entry
    @invitedtalk{UWellington-Visit22, author = {Dirk Beyer}, title = {Cooperative Software Verification: Combination Approaches that Share Information}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-11-18_UWellington-Visit_CooperativeVerification_Dirk.pdf}, keyword = {Cooperative Verification}, day = {18}, field = {Computer Science}, month = {November}, venue = {Research Seminar at University of Wellington}, }
  7. Dirk Beyer. Software Verification and Verification Witnesses. Invited talk at Huawei Workshop 2022, 11. October 2022. Link to this entry Keyword(s): Cooperative Verification, Verification Witnesses, Competition on Software Verification Presentation
    BibTeX Entry
    @invitedtalk{Huawei22, author = {Dirk Beyer}, title = {Software Verification and Verification Witnesses}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-11_Huawei22_SV-COMP-Witnesses_Dirk.pdf}, keyword = {Cooperative Verification, Verification Witnesses, Competition on Software Verification}, day = {11}, field = {Computer Science}, month = {October}, venue = {Huawei Workshop 2022}, }
  8. Dirk Beyer. Modular Model Checking (Frameworks). Invited talk at Research Seminar at Iowa State University, Online, 29. March 2022. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{Iowa22-ModularMC, author = {Dirk Beyer}, title = {Modular Model Checking (Frameworks)}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-29_Modular-SW-MC_Dirk.pdf}, day = {29}, month = {March}, venue = {Research Seminar at Iowa State University, Online}, video = {}, }
  9. Dirk Beyer. Case Study on Verification-Witness Validators: Where We Are and Where We Go. Conference talk at SAS 2022, 05. December 2022. Link to this entry Keyword(s): Verification Witnesses Presentation
    BibTeX Entry
    @conferencetalk{SAS22, author = {Dirk Beyer}, title = {Case Study on Verification-Witness Validators: Where We Are and Where We Go}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-05_SAS22_CaseStudyOnVerificationWitnessValidators_Dirk.pdf}, keyword = {Verification Witnesses}, day = {05}, field = {Computer Science}, month = {December}, venue = {SAS 2022}, }
  10. Dirk Beyer. Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization. Conference talk at ESEC/FSE 2022, 15. November 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{FSE22, author = {Dirk Beyer}, title = {Domain-Independent Interprocedural Program Analysis using Block-Abstraction Memoization}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-11-15_FSE2022_BAM-Interprocedural_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {15}, field = {Computer Science}, month = {November}, venue = {ESEC/FSE 2022}, }
  11. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at CPA 2022 – 7th International Workshop on CPAchecker, 05. October 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{CPA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-05_CPA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {05}, field = {Computer Science}, month = {October}, venue = {<a href="https://uol.de/en/computingscience/groups/formal-methods/forschung/7th-international-workshop-on-cpachecker-cpa-22">CPA 2022 – 7th International Workshop on CPAchecker</a>}, }
  12. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at AVM 2022 – 14th Alpine Verification Meeting, 14. September 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{AVM22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-14_AVM22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {14}, field = {Computer Science}, month = {September}, venue = {<a href="https://avm.sosy-lab.org/2022/">AVM 2022 – 14th Alpine Verification Meeting</a>}, }
  13. Philipp Wendler. Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification. Conference talk at iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications, 11. August 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{iPRA22IMC, author = {Philipp Wendler}, title = {Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-08-11_iPRA22_Interpolation_and_SAT-Based_Model_Checking_Revisited.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {August}, venue = {<a href="https://ipra-2022.bitbucket.io/">iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications</a>}, }
  14. Philipp Wendler. “Late Merges” in CPAchecker. Conference talk at Hüttenseminar SoSy-Lab, 11. July 2022. Link to this entry Keyword(s): Software Model Checking, CPAchecker Presentation
    BibTeX Entry
    @conferencetalk{Huette22LateMerges, author = {Philipp Wendler}, title = {“Late Merges” in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-07-11_Huette22_Late_Merges_in_CPAchecker_Philipp.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {11}, field = {Computer Science}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, }
  15. Matthias Kettl. The Static Analyzer Infer in SV-COMP. Conference talk at LMU Munich, 7. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{InferTACAS, author = {Matthias Kettl}, title = {The Static Analyzer Infer in SV-COMP}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-07_TACAS_Infer.pdf}, day = {7}, month = {April}, venue = {LMU Munich}, video = {}, }
  16. Sudeep Kanav. CoVeriTeam: On-Demand Composition of Cooperative Verification Systems. Conference talk at TACAS, 6. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TACAS22, author = {Sudeep Kanav}, title = {{CoVeriTeam}: {O}n-Demand Composition of Cooperative Verification Systems}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-06_TACAS22_CoVeriTeam_Sudeep.pdf}, day = {6}, month = {April}, venue = {TACAS}, }
  17. Cedric Richter. Construction of Verifier Combinations Based on Off-the-Shelf Verifiers. Conference talk at FASE, 4. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{FASE22, author = {Cedric Richter}, title = {Construction of Verifier Combinations Based on Off-the-Shelf Verifiers}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-04_FASE22-CoVeriTeam-Combinations_Cedric.pdf}, day = {4}, month = {April}, venue = {FASE}, }
  18. Thomas Lemberger. Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR. Conference talk at COOP 2022, 03. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{COOP22CCegar, author = {Thomas Lemberger}, title = {Decomposing Software Verification into Off-the-Shelf Components. An Application to CEGAR}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-03_COOP22_Decomposing_Software_Verification_Thomas.pdf}, day = {03}, month = {April}, venue = {COOP 2022}, video = {}, }
  19. Thomas Lemberger. TestCov: Robust Test-Suite Execution and Coverage Measurement. Conference talk at Test-Comp 2022, 04. April 2022. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TestComp22TestCov, author = {Thomas Lemberger}, title = {{TestCov}: Robust Test-Suite Execution and Coverage Measurement}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-04-04_TestComp22_TestCov_Thomas.pdf}, day = {04}, month = {April}, venue = {Test-Comp 2022}, video = {}, }
  20. Thomas Lemberger. Towards Cooperative Software Verification with Test Generation and Formal Verification. Defense at LMU Munich, 12. December 2022. Link to this entry Keyword(s): Software Model Checking, Cooperative Verification, CPAchecker Presentation
    BibTeX Entry
    @defense{LembergerPhd, author = {Thomas Lemberger}, title = {Towards Cooperative Software Verification with Test Generation and Formal Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-12_PhD_TowardsCooperativeSoftwareVerification_Thomas.pdf}, keyword = {Software Model Checking, Cooperative Verification, CPAchecker}, day = {12}, field = {Computer Science}, month = {December}, venue = {LMU Munich}, }
  21. Daniel Baier. Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker. Defense at LMU Munich, 28. September 2022. Link to this entry Keyword(s): Software Model Checking, Symbolic Memory Graphs, CPAchecker Presentation
    BibTeX Entry
    @defense{BaierMA, author = {Daniel Baier}, title = {Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-09-28_MA_Implementation_of_Value_Analysis_over_Symbolic_Memory_Graphs_in_CPAchecker_Baier.pdf}, keyword = {Software Model Checking, Symbolic Memory Graphs, CPAchecker}, day = {28}, field = {Computer Science}, month = {September}, venue = {LMU Munich}, }
  22. Matthias Kettl. Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification. Defense at LMU Munich, 24. February 2022. Link to this entry Presentation
    BibTeX Entry
    @defense{KettlMA, author = {Matthias Kettl}, title = {Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-02-24_MA_Adjustable_Block_Analysis.pdf}, day = {24}, month = {February}, venue = {LMU Munich}, video = {}, }

2021

  1. Simon Antonischki. A CPA for String Analysis for Java Programs in CPAchecker. 9. March 2021. Link to this entry Keyword(s): Software Model Checking, CPAchecker
    BibTeX Entry
    @misc{AntonischkiStringCPA, author = {Simon Antonischki}, title = {A CPA for String Analysis for Java Programs in CPAchecker}, year = {2021}, keyword = {Software Model Checking, CPAchecker}, day = {9}, field = {Computer Science}, month = {March}, }
  2. Thomas Lemberger. Program Transformations with CPAchecker. Conference talk at 6th International Workshop on CPAchecker (CPA 2021), 01. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA21ProgramTransformation, author = {Thomas Lemberger}, title = {Program Transformations with CPAchecker}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-01_CPA21_Program_Transformations_with_CPAchecker_Thomas.pdf}, day = {01}, month = {October}, venue = {6th International Workshop on CPAchecker (CPA 2021)}, video = {}, }
  3. Dirk Beyer. Software Verification: Historical Landmarks and Current Developments. Conference talk at 6th International Workshop on CPAchecker (CPA 2021), 1. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA21History, author = {Dirk Beyer}, title = {Software Verification: Historical Landmarks and Current Developments}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-01_CPA21_SoftwareVerificationHistoricalLandmarksAndCurrentDevelopments_Dirk.pdf}, day = {1}, month = {October}, venue = {6th International Workshop on CPAchecker (CPA 2021)}, video = {}, }
  4. Dirk Beyer. CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components. Conference talk at ConVeY Retreat (ConVeY 2021), 22. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CONVEY21CoVeriTeam, author = {Dirk Beyer}, title = {CoVeriTeam: Cooperative Verification via Off-the-Shelf-Components}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-22_CONVEY21_CoVeriTeam_Dirk.pdf}, day = {22}, month = {October}, venue = {ConVeY Retreat (ConVeY 2021)}, video = {}, }
  5. Nico Weise. An Infrastructure for Cooperative Software Verification. Conference talk at ConVeY Retreat (ConVeY 2021), 22. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CONVEY21CoopVeriInfra, author = {Nico Weise}, title = {An Infrastructure for Cooperative Software Verification}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-22_CONVEY21_An_Infrastructure_for_Cooperative_Software_Verification_Nico_Weise.pdf}, day = {22}, month = {October}, venue = {ConVeY Retreat (ConVeY 2021)}, video = {}, }
  6. Dirk Beyer. Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker. Conference talk at ISoLA 2021, 25. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISOLA21ValidationMultiThreaded, author = {Dirk Beyer}, title = {Violation Witnesses and Result Validation for Multi-threaded Programs: Implementation and Evaluation with CPAchecker}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-25_ISOLA21_ValidationMultiThreaded_Dirk.pdf}, day = {25}, month = {October}, venue = {ISoLA 2021}, video = {}, }
  7. Dirk Beyer. Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework. Conference talk at ISoLA 2021, 29. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISOLA21VerificationArtifacts, author = {Dirk Beyer}, title = {Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-29_ISOLA21_VerificationArtifacts_Dirk.pdf}, day = {29}, month = {October}, venue = {ISoLA 2021}, video = {}, }
  8. Dirk Beyer. An Interface Theory for Program Verification. Conference talk at ISoLA 2021, 29. October 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISOLA21VerificationInterfaces, author = {Dirk Beyer}, title = {An Interface Theory for Program Verification}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-10-29_ISOLA21_VerificationInterfaces_Dirk.pdf}, day = {29}, month = {October}, venue = {ISoLA 2021}, video = {}, }
  9. Thomas Lemberger. PRTest: A plain random tester. Conference talk at 3rd International Competition on Software Testing (Test-Comp 2021), 01. April 2021. Link to this entry Presentation Video
    BibTeX Entry
    @conferencetalk{TestComp21PRTest, author = {Thomas Lemberger}, title = {PRTest: A plain random tester}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-01_TestComp21_PRTest_Thomas.pdf}, day = {01}, month = {April}, venue = {3rd International Competition on Software Testing (Test-Comp 2021)}, video = {https://youtu.be/Ih1tVdZJH2M}, }
  10. Thomas Lemberger. TestCov. Test Execution and Coverage Measurement in Test-Comp. Conference talk at 3rd International Competition on Software Testing (Test-Comp 2021), 01. April 2021. Link to this entry Presentation Video
    BibTeX Entry
    @conferencetalk{TestComp21TestCov, author = {Thomas Lemberger}, title = {TestCov. Test Execution and Coverage Measurement in Test-Comp}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-01_TestComp21_TestCov_Thomas.pdf}, day = {01}, month = {April}, venue = {3rd International Competition on Software Testing (Test-Comp 2021)}, video = {https://youtu.be/pvePmeSJEwM}, }
  11. Dirk Beyer. CPU-Energy-Meter. Conference talk at TACAS20, 31. March 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TACAS20CpuEnergyMeter, author = {Dirk Beyer}, title = {CPU-Energy-Meter}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-03-31_TACAS20_CPU-Energy-Meter_Dirk.pdf}, day = {31}, month = {March}, venue = {TACAS20}, video = {}, }
  12. Dirk Beyer. PDR-for-Software. Conference talk at TACAS20, 31. March 2021. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TACAS20Pdr, author = {Dirk Beyer}, title = {PDR-for-Software}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-03-31_TACAS20_PDR-for-Software_Dirk.pdf}, day = {31}, month = {March}, venue = {TACAS20}, video = {}, }
  13. Ludwig Glückstadt. Genetic Programming in Software Verification. Defense at LMU Munich, 10. November 2021. Link to this entry
    BibTeX Entry
    @defense{GlueckstadtBA, author = {Ludwig Glückstadt}, title = {Genetic Programming in Software Verification}, year = {2021}, day = {10}, month = {November}, venue = {LMU Munich}, video = {}, }
  14. Sebastian Tschoepel. Implementation and Evaluation of a Simple Taint Analysis for CPAchecker. Defense at LMU Munich, 28. July 2021. Link to this entry
    BibTeX Entry
    @defense{TschoepelBA, author = {Sebastian Tschoepel}, title = {Implementation and Evaluation of a Simple Taint Analysis for CPAchecker}, year = {2021}, day = {28}, month = {July}, venue = {LMU Munich}, video = {}, }
  15. Dennis Simon. Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec. Defense at LMU Munich, 28. April 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{SimonBA, author = {Dennis Simon}, title = {Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-28_BA_ShareableBenchmarkingReportsWithEnhancedFiltersAndDynamicStatisticsForBenchExec_Simon.pdf}, day = {28}, month = {April}, venue = {LMU Munich}, }
  16. Sven Umbricht. Converting.Between.ACSL.Annotations.and.Witness.Invariants. Defense at LMU Munich, 10. February 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{UmbrichtBA, author = {Sven Umbricht}, title = {Converting.Between.ACSL.Annotations.and.Witness.Invariants}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-02-10_BA_Converting.Between.ACSL.Annotations.and.Witness.Invariants_Umbricht.pdf}, day = {10}, month = {February}, venue = {LMU Munich}, video = {}, }
  17. Frederic Schoenberger. Converting_Test_Goals_to_Condition_Automata. Defense at LMU Munich, 13. January 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{SchoenbergerBA, author = {Frederic Schoenberger}, title = {Converting_Test_Goals_to_Condition_Automata}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-01-13_BA_Converting_Test_Goals_to_Condition_Automata_Schoenberger.pdf}, day = {13}, month = {January}, venue = {LMU Munich}, video = {}, }

2020

  1. Thomas Lemberger. Difference Verification with Conditions. Invited talk at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY), 24. July 2020. Link to this entry 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 = {}, }
  2. Thomas Lemberger. Difference Verification with Conditions. Conference talk at 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), 17. September 2020. Link to this entry 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 = {}, }
  3. Thomas Lemberger. Fault Localization with CPAchecker. Conference talk at 5th International Workshop on CPAchecker (CPA 2020), 28. September 2020. Link to this entry 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 = {}, }
  4. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Conference talk at VMCAI Winter School 2020, 17. January 2020. Link to this entry 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 = {}, }
  5. Martin Zehendner. Software Verification with Numerical Domains in CPAchecker. Defense at LMU Munich, 25. November 2020. Link to this entry 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}, }
  6. Simon Lund. Complexity Measures in Software Engineering. Defense at LMU Munich, 21. October 2020. Link to this entry 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 = {}, }
  7. Jakob Selberg. TestHarnessesForPointerBasedCPrograms. Defense at LMU Munich, 21. October 2020. Link to this entry 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 = {}, }
  8. Schindar Ali. FaultLocalizationWithTestBasedDistanceMetrics. Defense at LMU Munich, 02. September 2020. Link to this entry 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 = {}, }
  9. Moritz Beck. SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic. Defense at MA, 16. September 2020. Link to this entry 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 = {}, }
  10. Angelos Kafounis. FaultLocalizationWithDistanceMetrics. Defense at LMU Munich, 29. September 2020. Link to this entry 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 = {}, }
  11. Niedner. Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker. Defense at LMU Munich, 30. September 2020. Link to this entry
    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}, }
  12. Adrian Leimeister. IdePluginForCpachecker. Defense at LMU Munich, 15. July 2020. Link to this entry 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 = {}, }
  13. Sonja Muenchow. WebFrontendForVisualizationOfComputationStepsInCpachecker. Defense at LMU Munich, 15. July 2020. Link to this entry 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 = {}, }
  14. Matthias Kettl. FaultLocalizationWithUnsatCores. Defense at LMU Munich, 22. July 2020. Link to this entry 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 = {}, }
  15. Michael Obermeier. Extending the Framework JavaSMT with the SMT Solver Yices2. Defense at LMU Munich, 13. May 2020. Link to this entry 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 = {}, }
  16. Bernhard Poettinger. RelyGuaranteeSeparationLogic. Defense at LMU Munich, 29. January 2020. Link to this entry 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 = {}, }
  17. Alexander Ried. Design and Implementation of a Cluster-based Approach for Software Verification. Defense at LMU Munich, 29. January 2020. Link to this entry
    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 = {}, }

2019

  1. Dirk Beyer. Benchmarking. Invited talk at ConVeY, 24. October 2019. Link to this entry 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 = {}, }
  2. Dirk Beyer. SV-COMP. Invited talk at ConVeY, 24. October 2019. Link to this entry 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 = {}, }
  3. Dirk Beyer. SV-COMP. Invited talk at LorentzWS19, 18. February 2019. Link to this entry 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 = {}, }
  4. Dirk Beyer. Benchmarking. Invited talk at LorentzWS19, 21. February 2019. Link to this entry 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 = {}, }
  5. Dirk Beyer. Correctness Witnesses. Invited talk at LorentzWS19, 22. February 2019. Link to this entry 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 = {}, }
  6. Gidon Ernst. SecCSL. Invited talk at EliteSE, 01. January 2019. Link to this entry 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 = {}, }
  7. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Conference talk at Seminar on Software Fuzzing, 10. December 2019. Link to this entry 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 = {}, }
  8. 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. Link to this entry 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}, }
  9. Dirk Beyer. Cooperative Verification. Conference talk at CPA19-Chiemsee, 01. October 2019. Link to this entry 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 = {}, }
  10. Gidon Ernst. VerifyThis tasks in sv-benchmarks. Conference talk at CPA19-VerifyThis, 02. October 2019. Link to this entry 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 = {}, }
  11. Philipp Wendler. Current Development Of CPAchecker. Conference talk at CPA19, 02. October 2019. Link to this entry 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 = {}, }
  12. 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. Link to this entry 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 = {}, }
  13. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at 13th Alpine Verification Meeting (AVM 2019), 09. September 2019. Link to this entry 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 = {}, }
  14. Gidon Ernst. SecCSL: Security Concurrent_Separation_Logic. Conference talk at AVM19, 11. September 2019. Link to this entry 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 = {}, }
  15. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. Link to this entry 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 = {}, }
  16. Thomas Lemberger. Testsuite Validator. Isolated test-suite execution and coverage measurement. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. Link to this entry 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 = {}, }
  17. Martin Spiessl. Future Plans with the Witness Format. Conference talk at Huette19, 02. July 2019. Link to this entry 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 = {}, }
  18. Maximilian Wiesholler. CorrectnessWitnessValidationUsingPredicateAnalysis. Conference talk at LMU Munich, 05. June 2019. Link to this entry 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 = {}, }
  19. in_SV_Gidon. TT. Conference talk at TYPES, 07. June 2019. Link to this entry 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 = {}, }
  20. Maier. SMTBasedVerificationOfECMAScriptProgramsInCPAchecker. Conference talk at LMU Munich, 26. June 2019. Link to this entry 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 = {}, }
  21. Dirk Beyer. DataShowcase. Conference talk at MSR19, 25. May 2019. Link to this entry 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 = {}, }
  22. Dirk Beyer. SV-COMP19. Conference talk at SV-COMP19, 06. April 2019. Link to this entry 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 = {}, }
  23. Dirk Beyer. Test-Comp19. Conference talk at Test-Comp19, 06. April 2019. Link to this entry 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 = {}, }
  24. Marie-Christine Jakobs. CoVeriTest. Conference talk at Test-Comp19, 06. April 2019. Link to this entry 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 = {}, }
  25. Thomas Lemberger. PRTest: A plain random tester. Conference talk at Test-Comp19, 06. April 2019. Link to this entry 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 = {}, }
  26. Dirk Beyer. SV-COMP at TOOLympics. Conference talk at TOOLympics19, 07. April 2019. Link to this entry 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 = {}, }
  27. Dirk Beyer. Test-Comp at TOOLympics. Conference talk at TOOLympics19, 07. April 2019. Link to this entry 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 = {}, }
  28. Dirk Beyer. Software Verification — An Overview of the State of the Art. Conference talk at ETAPS19, 09. April 2019. Link to this entry 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 = {}, }
  29. Marie-Christine Jakobs. CoVeriTest. Conference talk at FASE19, 11. April 2019. Link to this entry 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 = {}, }
  30. Thomas Bunk. LtlSoftwareModelChecking. Conference talk at LMU Munich, 27. March 2019. Link to this entry 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 = {}, }
  31. Marie-Christine Jakobs. CombiningVerifiersInConditionalModelChecking. Conference talk at SE19, 22. February 2019. Link to this entry 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 = {}, }
  32. Laura Bschor. ModernArchitectureAndImprovedUIforTablesOfBenchExec. Defense at LMU Munich, 06. November 2019. Link to this entry 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 = {}, }
  33. Daniel Baier. Integration of the SMT Solver Boolector into JavaSMT. Defense at LMU Munich, 27. November 2019. Link to this entry 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 = {}, }
  34. Maximilian Hailer. MeasuringAndOptimizingEnergyConsumptionOfVerificationWork. Defense at LMU Munich, 30. October 2019. Link to this entry 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 = {}, }
  35. Gerlach. NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker. Defense at LMU Munich, 09. January 2019. Link to this entry 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 = {}, }

2018

  1. Dirk Beyer. Cooperative Verification. Invited talk at BTU Cottbus, 28. September 2018. Link to this entry 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 = {}, }
  2. Dirk Beyer. Cooperative Verification. Invited talk at Konstanz-CooperativeVerification, 19. July 2018. Link to this entry 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 = {}, }
  3. Dirk Beyer. Cooperative Verification. Invited talk at fortiss-CooperativeVerification, 27. July 2018. Link to this entry 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 = {}, }
  4. Dirk Beyer. Cooperative Verification (Keynote). Invited talk at TAP18, 27. June 2018. Link to this entry 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 = {}, }
  5. Dirk Beyer. Stateful-and-Witnesses. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry 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 = {}, }
  6. Dirk Beyer. Stateful-Verification. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry 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 = {}, }
  7. Dirk Beyer. CorrectnessWitnesses. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry 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 = {}, }
  8. Dirk Beyer. ExecutionBasedValidation. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry 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 = {}, }
  9. Dirk Beyer. Conclusion. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry 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 = {}, }
  10. Dirk Beyer. Applying CPAchecker to Large Explicit State Spaces. Conference talk at ISoLA18, 08. November 2018. Link to this entry 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 = {}, }
  11. Dirk Beyer. In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching. Conference talk at ISoLA18, 06. November 2018. Link to this entry 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 = {}, }
  12. Dirk Beyer. Strategy Selection. Conference talk at ISoLA18, 05. November 2018. Link to this entry 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 = {}, }
  13. Martin Spiessl. Slicing Abstractions. Conference talk at CPA18, 26. September 2018. Link to this entry 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 = {}, }
  14. Thomas Lemberger. CPA-SymExec: Efficient Symbolic Execution in CPAchecker. Conference talk at ASE18, 07. September 2018. Link to this entry 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 = {}, }
  15. Karlheinz Friedberger. Domain-Independent Multi-threaded Software Model Checking. Conference talk at ASE18, 07. September 2018. Link to this entry 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 = {}, }
  16. Marie-Christine Jakobs. CooperativeTestCaseGeneration. Conference talk at CPA18, 25. September 2018. Link to this entry 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 = {}, }
  17. Philipp Wendler. New Developments In BenchExec. Conference talk at CPA18, 25. September 2018. Link to this entry 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 = {}, }
  18. Karlheinz Friedberger. Domain-Independent Multi-threaded Software Model Checking. Conference talk at CPA18, 25. September 2018. Link to this entry 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 = {}, }
  19. Dirk Beyer. Reducer-Based Construction of Conditional Model Checkers. Conference talk at CPA18, 25. September 2018. Link to this entry 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 = {}, }
  20. Matthias Dangl. StrategySelection. Conference talk at CPA18, 25. September 2018. Link to this entry 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 = {}, }
  21. Thomas Lemberger. Incremental Slicing. CEGAR + Program Slicing. Conference talk at CPA18, 26. September 2018. Link to this entry 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 = {}, }
  22. Marie-Christine Jakobs. ReducerBasedConstructionOfConditionalVerifiers. Conference talk at ICSE18, 01. June 2018. Link to this entry 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 = {}, }
  23. Philipp Wendler. Beiträge Zu Praktikabler Prädikatenanalyse. Conference talk at GiDiss, 08. May 2018. Link to this entry 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 = {}, }
  24. Dirk Beyer. CPAchecker. Conference talk at SSFT Summer School18, 23. May 2018. Link to this entry 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 = {}, }
  25. Dirk Beyer. AlgorithmsSMT. Conference talk at SSFT Summer School18, 23. May 2018. Link to this entry 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 = {}, }
  26. Dirk Beyer. CMC-Reducers. Conference talk at SSFT Summer School18, 24. May 2018. Link to this entry 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 = {}, }
  27. Dirk Beyer. CorrectnessWitnesses. Conference talk at SSFT Summer School18, 24. May 2018. Link to this entry 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 = {}, }
  28. Dirk Beyer. TestsFromWitnesses. Conference talk at SSFT Summer School18, 24. May 2018. Link to this entry 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 = {}, }
  29. Dirk Beyer. CPAchecker. Conference talk at RiSE-Winterschool18, 08. February 2018. Link to this entry 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 = {}, }
  30. Dirk Beyer. LazyAbstraction. Conference talk at RiSE-Winterschool18, 08. February 2018. Link to this entry 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 = {}, }
  31. Dirk Beyer. AlgorithmsSMT. Conference talk at RiSE-Winterschool18, 08. February 2018. Link to this entry 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 = {}, }
  32. Dirk Beyer. Stateful-Verification. Conference talk at RiSE-Winterschool18, 08. February 2018. Link to this entry 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 = {}, }

2017

  1. Dirk Beyer. Repositories Group: Best Practices on Artifact Integration. Invited talk at ACM TaskForce on Reproducibility, 07. December 2017. doi:10.5281/zenodo.7296608 Link to this entry 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 = {}, }
  2. Dirk Beyer. Predicate-Analysis. Invited talk at LMU Munich (FSV2), 28. November 2017. Link to this entry 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 = {}, }
  3. 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. Link to this entry 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 = {}, }
  4. Philipp Wendler. Towards Practical Predicate Analysis. Defense at University of Passau, 20. November 2017. Link to this entry 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 = {}, }

2016

  1. Dirk Beyer. SymbolicExecutionWithCegar. Conference talk at ISoLA16, 10. October 2016. Link to this entry 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 = {}, }

2015

  1. Philipp Wendler. Reliable Benchmarking of Software Verification in the Cloud. Conference talk at HPI Potsdam Future SOC Lab Day (Spring 2015), 15. April 2015. Link to this entry 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)}, }

2014

  1. Philipp Wendler. Conference talk at Dagstuhl 2014, April 2014. Link to this entry 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}, }

2013

  1. Stefan Löwe. Explicit State Software Model Checking Based on CEGAR and Interpolation. Conference talk at FASE 2013, 20. March 2013. Link to this entry 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}, }
  2. Andreas Stahlbauer. InformationReuse. Conference talk at ESOP13, 21. March 2013. Link to this entry 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 = {}, }

2012

  1. Stefan Löwe. Explicit State Model Checking Based on CEGAR and Interpolation. Conference talk at ISoLA 2012, 15. October 2012. Link to this entry 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}, }
  2. Philipp Wendler. Conditional Model Checking. Conference talk at FSE12, 15. November 2012. Link to this entry 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}, }

2010

  1. Dirk Beyer. DepDegree. Conference talk 01. June 2010. Link to this entry 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 = {}, }

2009

  1. Dirk Beyer. CPAplus. Invited talk at UCB, 16. April 2009. Link to this entry 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 = {}, }

2008

  1. Dirk Beyer. BLAST. Invited talk at EPFL, 08. May 2008. Link to this entry 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 = {}, }

2007

  1. Dirk Beyer. Configurable-Program-Analysis. Conference talk at CAV07, 07. July 2007. Link to this entry 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 = {}, }

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Last modified: Fri Nov 01 09:20:02 2024 UTC