We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
2 papers accepted at FSE 2024!

Talks by year

2024
  1. 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}, }
  2. 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}, }
  3. 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)}, }
  4. 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}, }
  5. 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. 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}, }
  2. 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>}, }
  3. 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}, }
  4. 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}, }
  5. 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>}, }
  6. 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}, }
  7. 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>}, }
  8. 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}, }
  9. 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}, }
  10. 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>}, }
  11. 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>}, }
  12. 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>}, }
  13. 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}, }
  14. 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}, }
  15. 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}, }
  16. 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}, }
  17. 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}, }
  18. 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}, }
  19. 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>}, }
  20. 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>}, }
  21. 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}, }
  22. 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}, }

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

2021
  1. 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 = {}, }
  2. 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 = {}, }
  3. 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 = {}, }
  4. 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 = {}, }
  5. 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 = {}, }
  6. 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 = {}, }
  7. 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 = {}, }
  8. 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}, }
  9. 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}, }
  10. 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 = {}, }
  11. 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 = {}, }

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

2019
  1. 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 = {}, }
  2. 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}, }
  3. 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 = {}, }
  4. 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 = {}, }
  5. 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 = {}, }
  6. 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 = {}, }
  7. 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 = {}, }
  8. 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 = {}, }
  9. 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 = {}, }
  10. 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 = {}, }
  11. 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 = {}, }
  12. 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 = {}, }
  13. 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 = {}, }
  14. 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 = {}, }
  15. 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 = {}, }
  16. 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 = {}, }
  17. 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 = {}, }
  18. 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 = {}, }
  19. 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 = {}, }
  20. 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 = {}, }
  21. 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 = {}, }
  22. 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 = {}, }
  23. 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 = {}, }
  24. 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 = {}, }
  25. 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 = {}, }

2018
  1. 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 = {}, }
  2. 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 = {}, }
  3. 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 = {}, }
  4. 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 = {}, }
  5. 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 = {}, }
  6. 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 = {}, }
  7. 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 = {}, }
  8. 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 = {}, }
  9. 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 = {}, }
  10. 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 = {}, }
  11. 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 = {}, }
  12. 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 = {}, }
  13. 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 = {}, }
  14. 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 = {}, }
  15. 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 = {}, }
  16. 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 = {}, }
  17. 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 = {}, }
  18. 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 = {}, }
  19. 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 = {}, }
  20. 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 = {}, }
  21. 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 = {}, }
  22. 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 = {}, }
  23. 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. 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 = {}, }

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 = {}, }

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: Sat Apr 27 01:04:43 2024 UTC