Falsification of Hybrid Systems Using Adaptive Probabilistic Search.

Talks

2021
  1. 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 = {}, }
  2. 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 = {}, }
  3. 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}, }
  4. 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}, }
  5. 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 = {}, }
  6. Frederic Schoenberger. Converting_Test_Goals_to_Condition_Automata. Defense at LMU Munich, 13. January 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{SchoenbergerBA, author = {Frederic Schoenberger}, title = {Converting_Test_Goals_to_Condition_Automata}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-01-13_BA_Converting_Test_Goals_to_Condition_Automata_Schoenberger.pdf}, day = {13}, month = {January}, venue = {LMU Munich}, video = {}, }
  7. Sven Umbricht. Converting.Between.ACSL.Annotations.and.Witness.Invariants. Defense at LMU Munich, 10. February 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{UmbrichtBA, author = {Sven Umbricht}, title = {Converting.Between.ACSL.Annotations.and.Witness.Invariants}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-02-10_BA_Converting.Between.ACSL.Annotations.and.Witness.Invariants_Umbricht.pdf}, day = {10}, month = {February}, venue = {LMU Munich}, video = {}, }
  8. Sebastian Tschoepel. Implementation and Evaluation of a Simple Taint Analysis for CPAchecker. Defense at LMU Munich, 28. Juli 2021. Link to this entry
    BibTeX Entry
    @defense{TschoepelBA, author = {Sebastian Tschoepel}, title = {Implementation and Evaluation of a Simple Taint Analysis for CPAchecker}, year = {2021}, day = {28}, month = {Juli}, venue = {LMU Munich}, video = {}, }
  9. Dennis Simon. Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec. Defense at LMU Munich, 28. April 2021. Link to this entry Presentation
    BibTeX Entry
    @defense{SimonBA, author = {Dennis Simon}, title = {Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec}, year = {2021}, presentation = {https://www.sosy-lab.org/research/prs/2021-04-28_BA_ShareableBenchmarkingReportsWithEnhancedFiltersAndDynamicStatisticsForBenchExec_Simon.pdf}, day = {28}, month = {April}, venue = {LMU Munich}, }

2020
  1. Thomas Lemberger. Difference Verification with Conditions. Invited talk at DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY), 24. July 2020. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{ConVeYDifferenceVerification, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-24_ConVeY_Difference_Verification_with_Conditions_Thomas.pdf}, day = {24}, month = {July}, venue = {DFG Research Training Group on Continuous Verification of CYber-Physical Systems (ConVeY)}, video = {}, }
  2. Thomas Lemberger. Difference Verification with Conditions. Conference talk at 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), 17. September 2020. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{SEFM20, author = {Thomas Lemberger}, title = {Difference Verification with Conditions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-17_SEFM20_DifferenceVerificationWithConditions_Thomas.pdf}, day = {17}, month = {September}, venue = {18th International Conference on Software Engineering and Formal Methods (SEFM 2020)}, video = {}, }
  3. Thomas Lemberger. Fault Localization with CPAchecker. Conference talk at 5th International Workshop on CPAchecker (CPA 2020), 28. September 2020. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA20FaultLocalization, author = {Thomas Lemberger}, title = {Fault Localization with CPAchecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-28_CPA20_FaultLocalizationWithCPAchecker_Thomas.pdf}, day = {28}, month = {September}, venue = {5th International Workshop on CPAchecker (CPA 2020)}, video = {}, }
  4. Alexander Ried. Design and Implementation of a Cluster-based Approach for Software Verification. Defense at LMU Munich, 29. January 2020. Link to this entry
    BibTeX Entry
    @defense{RiedBA, author = {Alexander Ried}, title = {Design and Implementation of a Cluster-based Approach for Software Verification}, year = {2020}, presentation = {}, day = {29}, month = {January}, venue = {LMU Munich}, video = {}, }
  5. Bernhard Poettinger. RelyGuaranteeSeparationLogic. Defense at LMU Munich, 29. January 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{PraktikumPoettinger, author = {Bernhard Poettinger}, title = {RelyGuaranteeSeparationLogic}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-01-29_PR_RelyGuaranteeSeparationLogic_Poettinger.pdf}, day = {29}, month = {January}, venue = {LMU Munich}, video = {}, }
  6. Michael Obermeier. Extending the Framework JavaSMT with the SMT Solver Yices2. Defense at LMU Munich, 13. May 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{ObermeierBA, author = {Michael Obermeier}, title = {Extending the Framework JavaSMT with the SMT Solver Yices2}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-05-13_BA_IntegrationYices2InJavaSMT_Obermeier.pdf}, day = {13}, month = {May}, venue = {LMU Munich}, video = {}, }
  7. Adrian Leimeister. IdePluginForCpachecker. Defense at LMU Munich, 15. July 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{LeimeisterBA, author = {Adrian Leimeister}, title = {IdePluginForCpachecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-15_BA_IdePluginForCpachecker_Leimeister.pdf}, day = {15}, month = {July}, venue = {LMU Munich}, video = {}, }
  8. Sonja Muenchow. WebFrontendForVisualizationOfComputationStepsInCpachecker. Defense at LMU Munich, 15. July 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{MuenchowBA, author = {Sonja Muenchow}, title = {WebFrontendForVisualizationOfComputationStepsInCpachecker}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-15_BA_WebFrontendForVisualizationOfComputationStepsInCpachecker_Muenchow.pdf}, day = {15}, month = {July}, venue = {LMU Munich}, video = {}, }
  9. Matthias Kettl. FaultLocalizationWithUnsatCores. Defense at LMU Munich, 22. July 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{KettlBA, author = {Matthias Kettl}, title = {FaultLocalizationWithUnsatCores}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-07-22_BA_FaultLocalizationWithUnsatCores_Kettl.pdf}, day = {22}, month = {July}, venue = {LMU Munich}, video = {}, }
  10. Schindar Ali. FaultLocalizationWithTestBasedDistanceMetrics. Defense at LMU Munich, 02. September 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{AliBA, author = {Schindar Ali}, title = {FaultLocalizationWithTestBasedDistanceMetrics}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-02_BA_FaultLocalizationWithTestBasedDistanceMetrics_Ali.pdf}, day = {02}, month = {September}, venue = {LMU Munich}, video = {}, }
  11. Moritz Beck. SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic. Defense at MA, 16. September 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{BeckMA, author = {Moritz Beck}, title = {SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-16_MA_SolverBasedAnalysisOfMemorySafetyUsingSeparationLogic_Beck.pdf}, day = {16}, month = {September}, venue = {MA}, video = {}, }
  12. Angelos Kafounis. FaultLocalizationWithDistanceMetrics. Defense at LMU Munich, 29. September 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{KafounisBA, author = {Angelos Kafounis}, title = {FaultLocalizationWithDistanceMetrics}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-09-29_BA_FaultLocalizationWithDistanceMetrics_Kafounis.pdf}, day = {29}, month = {September}, venue = {LMU Munich}, video = {}, }
  13. Niedner. Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker. Defense at LMU Munich, 30. September 2020. Link to this entry
    BibTeX Entry
    @defense{NienderBA, author = {Niedner}, title = {Integration_und_Evaluation_von_verketteten_Entscheidungsdiagrammen_in_PJBDD_und_CPAchecker}, year = {2020}, day = {30}, month = {September}, venue = {LMU Munich}, }
  14. Simon Lund. Complexity Measures in Software Engineering. Defense at LMU Munich, 21. October 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{LundBA, author = {Simon Lund}, title = {Complexity Measures in Software Engineering}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-10-21_BA_Complexity_Measures_in_Software_Engineering_Lund.pdf}, day = {21}, month = {October}, venue = {LMU Munich}, video = {}, }
  15. Jakob Selberg. TestHarnessesForPointerBasedCPrograms. Defense at LMU Munich, 21. October 2020. Link to this entry Presentation
    BibTeX Entry
    @defense{SelbergBA, author = {Jakob Selberg}, title = {TestHarnessesForPointerBasedCPrograms}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-10-21_BA_TestHarnessesForPointerBasedCPrograms_Selberg.pdf}, day = {21}, month = {October}, venue = {LMU Munich}, video = {}, }

2019
  1. 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 = {}, }
  2. 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 = {}, }
  3. Dirk Beyer. CorrectnessWitnesses. Invited talk at LorentzWS19, 22. February 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{LorentzWS19Witnesses, author = {Dirk Beyer}, title = {CorrectnessWitnesses}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_LorentzWS19_CorrectnessWitnesses_Dirk.pdf}, day = {22}, month = {February}, venue = {LorentzWS19}, video = {}, }
  4. 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 = {}, }
  5. 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 = {}, }
  6. Gidon Ernst. SecCSL. Invited talk at EliteSE, 01. January 2019. Link to this entry Presentation
    BibTeX Entry
    @invitedtalk{EliteSESecCSL, author = {Gidon Ernst}, title = {SecCSL}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-EliteSE.SecCSL.pdf}, day = {01}, month = {January}, venue = {EliteSE}, video = {}, }
  7. 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 = {}, }
  8. 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 = {}, }
  9. 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 = {}, }
  10. 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 = {}, }
  11. 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 = {}, }
  12. 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 = {}, }
  13. 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 = {}, }
  14. 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 = {}, }
  15. Dirk Beyer. Dirk Beyer. Conference talk at ETAPS19, 09. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ETAPS19SoftwareVerification, author = {Dirk Beyer}, title = {Dirk Beyer}, 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 = {}, }
  16. 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 = {}, }
  17. 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 = {}, }
  18. Maximilian Wiesholler. CorrectnessWitnessValidationUsingPredicateAnalysis. Conference talk at LMU Munich, 05. June 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{WieshollerBA, author = {Maximilian Wiesholler}, title = {CorrectnessWitnessValidationUsingPredicateAnalysis}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-05_BA_CorrectnessWitnessValidationUsingPredicateAnalysis_Wiesholler.pdf}, day = {05}, month = {June}, venue = {LMU Munich}, video = {}, }
  19. in_SV_Gidon. TT. Conference talk at TYPES, 07. June 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TypesInSV, author = {in_SV_Gidon}, title = {TT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-07_TYPES_TT_in_SV_Gidon.pdf}, day = {07}, month = {June}, venue = {TYPES}, video = {}, }
  20. Maier. SMTBasedVerificationOfECMAScriptProgramsInCPAchecker. Conference talk at LMU Munich, 26. June 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{MaierMA, author = {Maier}, title = {SMTBasedVerificationOfECMAScriptProgramsInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-26_MA_SMTBasedVerificationOfECMAScriptProgramsInCPAchecker_Maier.pdf}, day = {26}, month = {June}, venue = {LMU Munich}, video = {}, }
  21. 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 = {}, }
  22. 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 = {}, }
  23. 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 = {}, }
  24. 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 = {}, }
  25. 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 = {}, }
  26. 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 = {}, }
  27. 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 = {}, }
  28. 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 = {}, }
  29. 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 = {}, }
  30. 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}, }
  31. Gerlach. NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker. Defense at LMU Munich, 09. January 2019. Link to this entry Presentation
    BibTeX Entry
    @defense{GerlachBA, author = {Gerlach}, title = {NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-01-09_BA_NewtonRefinementAsAlternativeToCraigInterpolationInCPAchecker_Gerlach.pdf}, day = {09}, month = {January}, venue = {LMU Munich}, video = {}, }
  32. Maximilian Hailer. MeasuringAndOptimizingEnergyConsumptionOfVerificationWork. Defense at LMU Munich, 30. October 2019. Link to this entry Presentation
    BibTeX Entry
    @defense{HailerBA, author = {Maximilian Hailer}, title = {MeasuringAndOptimizingEnergyConsumptionOfVerificationWork}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-30_BA_MeasuringAndOptimizingEnergyConsumptionOfVerificationWork_Hailer.pdf}, day = {30}, month = {October}, venue = {LMU Munich}, video = {}, }
  33. Laura Bschor. ModernArchitectureAndImprovedUIforTablesOfBenchExec. Defense at LMU Munich, 06. November 2019. Link to this entry Presentation
    BibTeX Entry
    @defense{BschorBA, author = {Laura Bschor}, title = {ModernArchitectureAndImprovedUIforTablesOfBenchExec}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-06_BA_ModernArchitectureAndImprovedUIforTablesOfBenchExec_Bschor.pdf}, day = {06}, month = {November}, venue = {LMU Munich}, video = {}, }
  34. Daniel Baier. Integration of the SMT Solver Boolector into JavaSMT. Defense at LMU Munich, 27. November 2019. Link to this entry Presentation
    BibTeX Entry
    @defense{BaierBA, author = {Daniel Baier}, title = {Integration of the SMT Solver Boolector into JavaSMT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-27_BA_IntegrationBoolectorInJavaSMT_Baier.pdf}, day = {27}, month = {November}, venue = {LMU Munich}, video = {}, }

2018
  1. 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 = {}, }
  2. 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 = {}, }
  3. 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 = {}, }
  4. 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 = {}, }
  5. 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 = {}, }
  6. 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 = {}, }
  7. 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 = {}, }
  8. 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 = {}, }
  9. 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 = {}, }
  10. 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 = {}, }
  11. 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 = {}, }
  12. 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 = {}, }
  13. 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 = {}, }
  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. 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 = {}, }
  21. 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 = {}, }
  22. 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 = {}, }
  23. 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 = {}, }
  24. 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 = {}, }
  25. 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 = {}, }
  26. Dirk Beyer. ReducerBasedConstruction. Conference talk at CPA18, 25. September 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA18Reducers, author = {Dirk Beyer}, title = {ReducerBasedConstruction}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-25_CPA18_ReducerBasedConstruction_Dirk.pdf}, day = {25}, month = {September}, venue = {CPA18}, video = {}, }
  27. 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 = {}, }
  28. 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 = {}, }
  29. Martin Spiessl. SlicingAbstractions. Conference talk at CPA18, 26. September 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA18SlicingAbstractions, author = {Martin Spiessl}, title = {SlicingAbstractions}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-09-26_CPA18_SlicingAbstractions_Martin.pdf}, day = {26}, month = {September}, venue = {CPA18}, video = {}, }
  30. Dirk Beyer. StrategySelection. Conference talk at ISoLA18, 05. November 2018. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISoLA18StrategySelection, author = {Dirk Beyer}, title = {StrategySelection}, year = {2018}, presentation = {https://www.sosy-lab.org/research/prs/2018-11-05_ISoLA18_StrategySelection_Dirk.pdf}, day = {05}, month = {November}, venue = {ISoLA18}, video = {}, }
  31. 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 = {}, }
  32. 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 = {}, }

2017
  1. 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 = {}, }
  2. 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 = {}, }
  3. Philipp Wendler. Towards Practical Predicate Analysis. Defense at University of Passau, 20. November 2017. Link to this entry Presentation
    BibTeX Entry
    @defense{RigorosumWendler, author = {Philipp Wendler}, title = {Towards Practical Predicate Analysis}, year = {2017}, presentation = {https://www.sosy-lab.org/research/prs/2017-11-20_RigorosumWendler_TowardsPracticalPredicateAnalysis.pdf}, day = {20}, month = {November}, venue = {University of Passau}, video = {}, }

2016
  1. Dirk Beyer. SymbolicExecutionWithCegar. Conference talk at ISoLA16, 10. October 2016. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ISoLA16, author = {Dirk Beyer}, title = {SymbolicExecutionWithCegar}, year = {2016}, presentation = {https://www.sosy-lab.org/research/prs/2016-10-10_ISoLA16_SymbolicExecutionWithCegar_Dirk.pdf}, day = {10}, month = {October}, venue = {ISoLA16}, video = {}, }

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

2010
  1. Dirk Beyer. DepDegree. Conference talk 01. June 2010. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{DepDegree, author = {Dirk Beyer}, title = {DepDegree}, year = {2010}, presentation = {https://www.sosy-lab.org/research/prs/2010-06_DepDegree.pdf}, day = {01}, month = {June}, venue = {}, video = {}, }

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

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

2007
  1. Dirk Beyer. Configurable-Program-Analysis. Conference talk at CAV07, 07. July 2007. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CAV07, author = {Dirk Beyer}, title = {Configurable-Program-Analysis}, year = {2007}, presentation = {https://www.sosy-lab.org/research/prs/2007-07-07_CAV07_Configurable-Program-Analysis.pdf}, day = {07}, month = {July}, venue = {CAV07}, video = {}, }

Disclaimer:

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

Last modified: Sat Oct 23 23:51:15 2021