Talks by year
2025
-
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.
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>}, } -
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.
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>}, } -
The Transformation Game: Joining Forces for Verification (Lecture 2).
Invited talk
at Summer School on Fuzzing and Security,
28.
May
2025.
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>}, } -
Software Verification with CPAchecker (Lecture 1).
Invited talk
at Summer School on Fuzzing and Security,
28.
May
2025.
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>}, } -
A Unifying View on SMT-Based Software Verification (Guest Lecture).
Invited talk
at NTU Course,
22.
April
2025.
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
-
Reliable Benchmarking: Requirements and Solutions.
Invited talk
at Johannes Keppler University Linz,
25.
October
2024.
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}, } -
Towards Scalable and Distributed Software Verification.
Invited talk
at Huawei Workshop on Formal Methods,
18.
September
2024.
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}, } -
Towards Scalable and Distributed Software Verification.
Invited talk
at Alpine Verification Meeting,
04.
September
2024.
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}, } -
Reliable Benchmarking: Requirements and Solutions.
Invited talk
at Guest lecture at KIT,
03.
September
2024.
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}, } -
Distributed Automatic Contract Construction.
Invited talk
at Keynote at the KeY Symposium 2025,
31.
July
2024.
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
-
Explicit-State Software Model Checking Based on CEGAR and Interpolation (Test-of-Time Award Presentation).
Invited talk
at ETAPS 2023 – European Joint Conferences on Theory and Practice of Software,
27.
April
2023.
Keyword(s): Software Model Checking, CPAchecker
Presentation
BibTeX Entry
@invitedtalk{ETAPS23ExplicitState, author = {Dirk Beyer}, title = {Explicit-State Software Model Checking Based on CEGAR and Interpolation (Test-of-Time Award Presentation)}, year = {2023}, presentation = {https://www.sosy-lab.org/research/prs/2023-04-27_ETAPS23-TestOfTimeAward_Explicit_State_Software_Model_Checking_Based_on_CEGAR_and_Interpolation_Dirk.pdf}, keyword = {Software Model Checking, CPAchecker}, day = {27}, field = {Computer Science}, month = {April}, venue = {<a href="https://etaps.org/2023/">ETAPS 2023 – European Joint Conferences on Theory and Practice of Software</a>}, }
2022
-
Cooperative Verification.
Invited talk
at SBMF 2022,
09.
December
2022.
Keyword(s): Cooperative Verification
Presentation
BibTeX Entry
@invitedtalk{SBMF22, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-09_SBMF22_CooperativeVerification_Dirk.pdf}, keyword = {Cooperative Verification}, day = {09}, field = {Computer Science}, month = {December}, venue = {SBMF 2022}, } -
Cooperative Verification: Towards Reliable Safety-Critical Systems.
Invited talk
at FTSCS 2022,
07.
December
2022.
Keyword(s): Cooperative Verification
Presentation
BibTeX Entry
@invitedtalk{FTSCS22, author = {Dirk Beyer}, title = {Cooperative Verification: Towards Reliable Safety-Critical Systems}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-12-07_FTSCS22_CooperativeVerificationTowardsReliableSafety-CriticalSystems_Dirk.pdf}, keyword = {Cooperative Verification}, day = {07}, field = {Computer Science}, month = {December}, venue = {FTSCS 2022}, } -
Cooperative Software Verification: Combination Approaches that Share Information.
Invited talk
at Research Seminar at University of Wellington,
18.
November
2022.
Keyword(s): Cooperative Verification
Presentation
BibTeX Entry
@invitedtalk{UWellington-Visit22, author = {Dirk Beyer}, title = {Cooperative Software Verification: Combination Approaches that Share Information}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-11-18_UWellington-Visit_CooperativeVerification_Dirk.pdf}, keyword = {Cooperative Verification}, day = {18}, field = {Computer Science}, month = {November}, venue = {Research Seminar at University of Wellington}, } -
Software Verification and Verification Witnesses.
Invited talk
at Huawei Workshop 2022,
11.
October
2022.
Keyword(s): Cooperative Verification, Verification Witnesses, Competition on Software Verification
Presentation
BibTeX Entry
@invitedtalk{Huawei22, author = {Dirk Beyer}, title = {Software Verification and Verification Witnesses}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-10-11_Huawei22_SV-COMP-Witnesses_Dirk.pdf}, keyword = {Cooperative Verification, Verification Witnesses, Competition on Software Verification}, day = {11}, field = {Computer Science}, month = {October}, venue = {Huawei Workshop 2022}, } -
Modular Model Checking (Frameworks).
Invited talk
at Research Seminar at Iowa State University, Online,
29.
March
2022.
Presentation
BibTeX Entry
@invitedtalk{Iowa22-ModularMC, author = {Dirk Beyer}, title = {Modular Model Checking (Frameworks)}, year = {2022}, presentation = {https://www.sosy-lab.org/research/prs/2022-03-29_Modular-SW-MC_Dirk.pdf}, day = {29}, month = {March}, venue = {Research Seminar at Iowa State University, Online}, video = {}, }
2020
-
Difference Verification with Conditions.
Invited talk
at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY),
24.
July
2020.
Presentation
BibTeX Entry
@invitedtalk{ConVeYDifferenceVerification, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-24_ConVeY_Difference_Verification_with_Conditions_Thomas.pdf}, day = {24}, month = {July}, venue = {DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY)}, video = {}, }
2019
-
Benchmarking.
Invited talk
at ConVeY,
24.
October
2019.
Presentation
BibTeX Entry
@invitedtalk{ConVeYBenchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_Benchmarking_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, } -
SV-COMP.
Invited talk
at ConVeY,
24.
October
2019.
Presentation
BibTeX Entry
@invitedtalk{ConVeYSVComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-24_ConVeY_SV-COMP_Dirk.pdf}, day = {24}, month = {October}, venue = {ConVeY}, video = {}, } -
SV-COMP.
Invited talk
at LorentzWS19,
18.
February
2019.
Presentation
BibTeX Entry
@invitedtalk{LorentzWS19SvComp, author = {Dirk Beyer}, title = {SV-COMP}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-18_LorentzWS19_SV-COMP_Dirk.pdf}, day = {18}, month = {February}, venue = {LorentzWS19}, video = {}, } -
Benchmarking.
Invited talk
at LorentzWS19,
21.
February
2019.
Presentation
BibTeX Entry
@invitedtalk{LorentzWS19benchmarking, author = {Dirk Beyer}, title = {Benchmarking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-21_LorentzWS19_Benchmarking_Dirk.pdf}, day = {21}, month = {February}, venue = {LorentzWS19}, video = {}, } -
Correctness Witnesses.
Invited talk
at LorentzWS19,
22.
February
2019.
Presentation
BibTeX Entry
@invitedtalk{LorentzWS19Witnesses, author = {Dirk Beyer}, title = {Correctness Witnesses}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_LorentzWS19_CorrectnessWitnesses_Dirk.pdf}, day = {22}, month = {February}, venue = {LorentzWS19}, video = {}, } -
SecCSL.
Invited talk
at EliteSE,
01.
January
2019.
Presentation
BibTeX Entry
@invitedtalk{EliteSESecCSL, author = {Gidon Ernst}, title = {SecCSL}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-EliteSE.SecCSL.pdf}, day = {01}, month = {January}, venue = {EliteSE}, video = {}, }
2018
-
Cooperative Verification.
Invited talk
at BTU Cottbus,
28.
September
2018.
Presentation
BibTeX Entry
@invitedtalk{CottbusCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-28_BTU-Cottbus_CooperativeVerification_Dirk.pdf}, day = {28}, month = {September}, venue = {BTU Cottbus}, video = {}, } -
Cooperative Verification.
Invited talk
at Konstanz-CooperativeVerification,
19.
July
2018.
Presentation
BibTeX Entry
@invitedtalk{KonstanzCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-19_Konstanz-CooperativeVerification_Dirk.pdf}, day = {19}, month = {July}, venue = {Konstanz-CooperativeVerification}, video = {}, } -
Cooperative Verification.
Invited talk
at fortiss-CooperativeVerification,
27.
July
2018.
Presentation
BibTeX Entry
@invitedtalk{fortissCooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-07-27_fortiss-CooperativeVerification_Dirk.pdf}, day = {27}, month = {July}, venue = {fortiss-CooperativeVerification}, video = {}, } -
Cooperative Verification (Keynote).
Invited talk
at TAP18,
27.
June
2018.
Presentation
BibTeX Entry
@invitedtalk{TAP18CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification (Keynote)}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-06-27_TAP18-Keynote-CooperativeVerification_Dirk.pdf}, day = {27}, month = {June}, venue = {TAP18}, video = {}, } -
Stateful-and-Witnesses.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Witnesses, author = {Dirk Beyer}, title = {Stateful-and-Witnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-All_Stateful-and-Witnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
Stateful-Verification.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part1, author = {Dirk Beyer}, title = {Stateful-Verification}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part1_Stateful-Verification.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
CorrectnessWitnesses.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part2, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part2_CorrectnessWitnesses.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
ExecutionBasedValidation.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part3, author = {Dirk Beyer}, title = {ExecutionBasedValidation}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part3_ExecutionBasedValidation.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, } -
Conclusion.
Invited talk
at LMU Munich (FSV2),
23.
January
2018.
Presentation
BibTeX Entry
@invitedtalk{FSV2Part4, author = {Dirk Beyer}, title = {Conclusion}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-01-23_FSV2-Part4_Conclusion.pdf}, day = {23}, month = {January}, venue = {LMU Munich (FSV2)}, video = {}, }
2017
-
Repositories Group: Best Practices on Artifact Integration.
Invited talk
at ACM TaskForce on Reproducibility,
07.
December
2017.
doi:10.5281/zenodo.7296608
Publisher's Version
Presentation
BibTeX Entry
@invitedtalk{ACM-WS-Repro17, author = {Dirk Beyer}, title = {Repositories Group: Best Practices on Artifact Integration}, year = {2017}, doi = {10.5281/zenodo.7296608}, presentation = {https://www.sosy-lab.org/research/prs/2017-12-07_ACM-WS-Repro_BestPracticesOnArtifactIntegration_Dirk.pdf}, day = {07}, month = {December}, venue = {ACM TaskForce on Reproducibility}, video = {}, } -
Predicate-Analysis.
Invited talk
at LMU Munich (FSV2),
28.
November
2017.
Presentation
BibTeX Entry
@invitedtalk{FSV2Predicate, author = {Dirk Beyer}, title = {Predicate-Analysis}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-28_FSV2_Predicate-Analysis.pdf}, day = {28}, month = {November}, venue = {LMU Munich (FSV2)}, video = {}, }
2009
-
CPAplus.
Invited talk
at UCB,
16.
April
2009.
Presentation
BibTeX Entry
@invitedtalk{UCB, author = {Dirk Beyer}, title = {CPAplus}, year = {2009}, presentation = {https://www.sosy-lab.org/research/prs/2009-04-16_UCB_CPAplus.pdf}, day = {16}, month = {April}, venue = {UCB}, video = {}, }
2008
-
BLAST.
Invited talk
at EPFL,
08.
May
2008.
Presentation
BibTeX Entry
@invitedtalk{EPFL, author = {Dirk Beyer}, title = {BLAST}, year = {2008}, presentation = {https://www.sosy-lab.org/research/prs/2008-05-08_EPFL_BLAST_Dirk.pdf}, day = {08}, month = {May}, venue = {EPFL}, video = {}, }
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.