We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Btor2-Select accepted at CAV 2025

Talks by year

2025

  1. Dirk Beyer. The Transformation Game: Joining Forces for Verification (Keynote). Invited talk at 46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025), 25. June 2025. Link to this entry Keyword(s): Software Model Checking, Transformations Presentation
    BibTeX Entry
    @invitedtalk{PetriNets25-Transformations, author = {Dirk Beyer}, title = {The Transformation Game: Joining Forces for Verification (Keynote)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-06-25_PetriNets25-Transformations_Dirk.pdf}, keyword = {Software Model Checking, Transformations}, day = {25}, field = {Computer Science}, month = {June}, venue = {<a href="https://petrinets25.github.io/web/speakers/">46th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2025)</a>}, }
  2. Dirk Beyer. FM-Tools: A Library of Tools for Formal Methods — Find, Use, Conserve, Execute (Lecture 3). Invited talk at Summer School on Fuzzing and Security, 28. May 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{FuzzingSchool25-3-FM-Tools-Library, author = {Dirk Beyer}, title = {FM-Tools: A Library of Tools for Formal Methods — Find, Use, Conserve, Execute (Lecture 3)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part3-FM-Tools-Library_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, }
  3. Dirk Beyer. The Transformation Game: Joining Forces for Verification (Lecture 2). Invited talk at Summer School on Fuzzing and Security, 28. May 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{FuzzingSchool25-2-Transformations, author = {Dirk Beyer}, title = {The Transformation Game: Joining Forces for Verification (Lecture 2)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part2-Transformations_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, }
  4. Dirk Beyer. Software Verification with CPAchecker (Lecture 1). Invited talk at Summer School on Fuzzing and Security, 28. May 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{FuzzingSchool25-1-CPAchecker, author = {Dirk Beyer}, title = {Software Verification with CPAchecker (Lecture 1)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-05-28_FuzzingSchool25-Part1-CPAchecker_Dirk.pdf}, keyword = {Software Model Checking}, day = {28}, field = {Computer Science}, month = {May}, venue = {<a href="">Summer School on Fuzzing and Security</a>}, }
  5. Dirk Beyer. A Unifying View on SMT-Based Software Verification (Guest Lecture). Invited talk at NTU Course, 22. April 2025. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{NTU-GuestLectureNTU-UnifyingViewSMT, author = {Dirk Beyer}, title = {A Unifying View on SMT-Based Software Verification (Guest Lecture)}, year = {2025}, presentation = {https://www.sosy-lab.org/research/prs/2025-04-22_GuestLectureNTU_UnifyingViewSMT_Dirk.pdf}, keyword = {Software Model Checking}, day = {22}, field = {Computer Science}, month = {April}, venue = {<a href="">NTU Course</a>}, }

2024

  1. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Invited talk at Johannes Keppler University Linz, 25. October 2024. Link to this entry Keyword(s): Benchmarking Presentation
    BibTeX Entry
    @invitedtalk{JKU24_Benchmarking, author = {Dirk Beyer}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-10-25_JKU24_Benchmarking_Dirk.pdf}, keyword = {Benchmarking}, day = {25}, field = {Computer Science}, month = {October}, venue = {Johannes Keppler University Linz}, }
  2. Dirk Beyer. Towards Scalable and Distributed Software Verification. Invited talk at Huawei Workshop on Formal Methods, 18. September 2024. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{HuaweiWS24, author = {Dirk Beyer}, title = {Towards Scalable and Distributed Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-18_HuaweiWS24_Towards_Scalable_and_Distributed_Software_Verification_Dirk.pdf}, keyword = {Software Model Checking}, day = {18}, field = {Computer Science}, month = {September}, venue = {Huawei Workshop on Formal Methods}, }
  3. Dirk Beyer. Towards Scalable and Distributed Software Verification. Invited talk at Alpine Verification Meeting, 04. September 2024. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{AVM24-DSS, author = {Dirk Beyer}, title = {Towards Scalable and Distributed Software Verification}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-04_AVM24_Towards_Scalable_and_Distributed_Software_Verification_Dirk.pdf}, keyword = {Software Model Checking}, day = {04}, field = {Computer Science}, month = {September}, venue = {Alpine Verification Meeting}, }
  4. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Invited talk at Guest lecture at KIT, 03. September 2024. Link to this entry Keyword(s): Benchmarking Presentation
    BibTeX Entry
    @invitedtalk{KIT04-GuestLecture, author = {Dirk Beyer}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-09-03_KIT24_Benchmarking_Dirk.pdf}, keyword = {Benchmarking}, day = {03}, field = {Computer Science}, month = {September}, venue = {Guest lecture at KIT}, }
  5. Dirk Beyer. Distributed Automatic Contract Construction. Invited talk at Keynote at the KeY Symposium 2025, 31. July 2024. Link to this entry Keyword(s): Software Model Checking Presentation
    BibTeX Entry
    @invitedtalk{KeY25-DSS, author = {Dirk Beyer}, title = {Distributed Automatic Contract Construction}, year = {2024}, presentation = {https://www.sosy-lab.org/research/prs/2024-07-31_KeY25_Distributed_Automatic_Contract_Construction_Dirk.pdf}, keyword = {Software Model Checking}, day = {31}, field = {Computer Science}, month = {July}, venue = {Keynote at the KeY Symposium 2025}, }

2023

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

2022

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

2020

  1. Thomas Lemberger. Difference Verification with Conditions. Invited talk at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY), 24. July 2020. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{ConVeYDifferenceVerification, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-24_ConVeY_Difference_Verification_with_Conditions_Thomas.pdf}, day = {24}, month = {July}, venue = {DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY)}, video = {}, }

2019

  1. Dirk Beyer. Benchmarking. Invited talk at ConVeY, 24. October 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{ConVeYBenchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_Benchmarking_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, }
  2. Dirk Beyer. SV-COMP. Invited talk at ConVeY, 24. October 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{ConVeYSVComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_SV-COMP_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, }
  3. Dirk Beyer. SV-COMP. Invited talk at LorentzWS19, 18. February 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{LorentzWS19SvComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-18_LorentzWS19_SV-COMP_Dirk.pdf}, day = {18}, month = {February}, venue = {LorentzWS19}, video = {}, }
  4. Dirk Beyer. Benchmarking. Invited talk at LorentzWS19, 21. February 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{LorentzWS19benchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-21_LorentzWS19_Benchmarking_Dirk.pdf}, day = {21}, month = {February}, venue = {LorentzWS19}, video = {}, }
  5. Dirk Beyer. Correctness Witnesses. Invited talk at LorentzWS19, 22. February 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{LorentzWS19Witnesses, author = {Dirk Beyer}, title = {Correctness Witnesses}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_LorentzWS19_CorrectnessWitnesses_Dirk.pdf}, day = {22}, month = {February}, venue = {LorentzWS19}, video = {}, }
  6. Gidon Ernst. SecCSL. Invited talk at EliteSE, 01. January 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{EliteSESecCSL, author = {Gidon Ernst}, title = {SecCSL}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-EliteSE.SecCSL.pdf}, day = {01}, month = {January}, venue = {EliteSE}, video = {}, }

2018

  1. Dirk Beyer. Cooperative Verification. Invited talk at BTU Cottbus, 28. September 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{CottbusCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-28_BTU-Cottbus_CooperativeVerification_Dirk.pdf}, day = {28}, month = {September}, venue = {BTU Cottbus}, video = {}, }
  2. Dirk Beyer. Cooperative Verification. Invited talk at Konstanz-CooperativeVerification, 19. July 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{KonstanzCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-19_Konstanz-CooperativeVerification_Dirk.pdf}, day = {19}, month = {July}, venue = {Konstanz-CooperativeVerification}, video = {}, }
  3. Dirk Beyer. Cooperative Verification. Invited talk at fortiss-CooperativeVerification, 27. July 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{fortissCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-27_fortiss-CooperativeVerification_Dirk.pdf}, day = {27}, month = {July}, venue = {fortiss-CooperativeVerification}, video = {}, }
  4. Dirk Beyer. Cooperative Verification (Keynote). Invited talk at TAP18, 27. June 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{TAP18CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification (Keynote)}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-06-27_TAP18-Keynote-CooperativeVerification_Dirk.pdf}, day = {27}, month = {June}, venue = {TAP18}, video = {}, }
  5. Dirk Beyer. Stateful-and-Witnesses. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{FSV2Witnesses, author = {Dirk Beyer}, title = {Stateful-and-Witnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-All_Stateful-and-Witnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
  6. Dirk Beyer. Stateful-Verification. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{FSV2Part1, author = {Dirk Beyer}, title = {Stateful-Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part1_Stateful-Verification.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
  7. Dirk Beyer. CorrectnessWitnesses. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{FSV2Part2, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part2_CorrectnessWitnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
  8. Dirk Beyer. ExecutionBasedValidation. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{FSV2Part3, author = {Dirk Beyer}, title = {ExecutionBasedValidation}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part3_ExecutionBasedValidation.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
  9. Dirk Beyer. Conclusion. Invited talk at LMU Munich (FSV2), 23. January 2018. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{FSV2Part4, author = {Dirk Beyer}, title = {Conclusion}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part4_Conclusion.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }

2017

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

2009

  1. Dirk Beyer. CPAplus. Invited talk at UCB, 16. April 2009. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{UCB, author = {Dirk Beyer}, title = {CPAplus}, year = {2009}, presentation = {https://www.sosy-lab.org/research/prs/2009-04-16_UCB_CPAplus.pdf}, day = {16}, month = {April}, venue = {UCB}, video = {}, }

2008

  1. Dirk Beyer. BLAST. Invited talk at EPFL, 08. May 2008. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{EPFL, author = {Dirk Beyer}, title = {BLAST}, year = {2008}, presentation = {https://www.sosy-lab.org/research/prs/2008-05-08_EPFL_BLAST_Dirk.pdf}, day = {08}, month = {May}, venue = {EPFL}, video = {}, }

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: Wed Jun 25 15:41:23 2025 UTC