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

Talks of Dirk Beyer

Guest lectures, invited talks, and tutorials
  1. 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>}, }
  2. 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}, }
  3. 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}, }
  4. 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}, }
  5. 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}, }
  6. 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 = {}, }
  7. 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 = {}, }
  8. 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 = {}, }
  9. 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 = {}, }
  10. 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 = {}, }
  11. 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 = {}, }
  12. 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 = {}, }
  13. 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 = {}, }
  14. 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 = {}, }
  15. 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 = {}, }
  16. 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 = {}, }
  17. 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 = {}, }
  18. 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 = {}, }
  19. 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 = {}, }
  20. 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 = {}, }
  21. 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 = {}, }
  22. 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 = {}, }
  23. 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 = {}, }
  24. 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 = {}, }
  25. Dirk Beyer. CPAchecker. Invited talk . Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{CPAchecker, author = {Dirk Beyer}, title = {CPAchecker}, presentation = {https://www.sosy-lab.org/research/prs/Latest_CPAchecker.pdf}, }
  26. Dirk Beyer. Reliable Benchmarking. Invited talk . Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{ReliableBenchmarking, author = {Dirk Beyer}, title = {Reliable Benchmarking}, presentation = {https://www.sosy-lab.org/research/prs/Latest_ReliableBenchmarking.pdf}, }
  27. Dirk Beyer. Unifying View on SMT-based Software Verification. Invited talk . Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{UnifyingViewSmtBasedSV, author = {Dirk Beyer}, title = {Unifying View on SMT-based Software Verification}, presentation = {https://www.sosy-lab.org/research/prs/Latest_UnifyingViewSmtBasedSoftwareVerification.pdf}, }

Conference and other Presentations
  1. 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}, }
  2. 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>}, }
  3. 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}, }
  4. 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}, }
  5. 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}, }
  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. 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}, }
  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. 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}, }
  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, 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}, }
  15. 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}, }
  16. 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}, }
  17. 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}, }
  18. 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}, }
  19. 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}, }
  20. 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}, }
  21. 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}, }
  22. 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 = {}, }
  23. 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 = {}, }
  24. 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 = {}, }
  25. 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 = {}, }
  26. 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 = {}, }
  27. 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 = {}, }
  28. 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 = {}, }
  29. 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 = {}, }
  30. 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 = {}, }
  31. 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 = {}, }
  32. 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 = {}, }
  33. 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 = {}, }
  34. 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 = {}, }
  35. 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 = {}, }
  36. 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 = {}, }
  37. 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 = {}, }
  38. 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 = {}, }
  39. 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 = {}, }
  40. 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 = {}, }
  41. 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 = {}, }
  42. 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 = {}, }
  43. 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 = {}, }
  44. 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 = {}, }
  45. 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 = {}, }
  46. 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 = {}, }
  47. 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 = {}, }
  48. 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 = {}, }
  49. 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 = {}, }
  50. 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 = {}, }
  51. 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 = {}, }
  52. 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 = {}, }
  53. 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: Tue Dec 17 10:40:26 2024 UTC