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 year 2019

Guest lectures, invited talks, and tutorials
  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 = {}, }

Conference and other Presentations
  1. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Conference talk at Seminar on Software Fuzzing, 10. December 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{SeminarFuzzing19, author = {Dirk Beyer}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-12-10_Seminar-Fuzzing_Benchmarking_Dirk.pdf}, day = {10}, month = {December}, venue = {Seminar on Software Fuzzing}, video = {}, }
  2. Thomas Lemberger. TestCov: Robust Test-Suite Execution and Coverage Measurement. Conference talk at 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), 12. November 2019. Link to this entry Presentation Video
    BibTeX Entry
    @conferencetalk{ASE19, author = {Thomas Lemberger}, title = {TestCov: Robust Test-Suite Execution and Coverage Measurement}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-11-12_ASE19_TestCov_Thomas_Lemberger.pdf}, day = {12}, month = {November}, venue = {34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)}, video = {https://youtu.be/sBv7eMpS6JM}, }
  3. Dirk Beyer. Cooperative Verification. Conference talk at CPA19-Chiemsee, 01. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA19CooperativeVerification, author = {Dirk Beyer}, title = {Cooperative Verification}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-01_CPA19-Chiemsee_Cooperative-Verification_Dirk.pdf}, day = {01}, month = {October}, venue = {CPA19-Chiemsee}, video = {}, }
  4. Gidon Ernst. VerifyThis tasks in sv-benchmarks. Conference talk at CPA19-VerifyThis, 02. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA19VerifyThis, author = {Gidon Ernst}, title = {VerifyThis tasks in sv-benchmarks}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19-VerifyThis_tasks_in_sv-benchmarks.pdf}, day = {02}, month = {October}, venue = {CPA19-VerifyThis}, video = {}, }
  5. Philipp Wendler. Current Development Of CPAchecker. Conference talk at CPA19, 02. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{CPA19CPAchecker, author = {Philipp Wendler}, title = {Current Development Of CPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-02_CPA19_CurrentDevelopmentOfCPAchecker_Philipp.pdf}, day = {02}, month = {October}, venue = {CPA19}, video = {}, }
  6. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019), 29. October 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ATVA19, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-10-29_ATVA19_Conditional_Testing_Thomas_Lemberger.pdf}, day = {29}, month = {October}, venue = {17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)}, video = {}, }
  7. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at 13th Alpine Verification Meeting (AVM 2019), 09. September 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{AVM19ConditionalTesting, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-09_AVM19_Conditional_Testing_Thomas.pdf}, day = {09}, month = {September}, venue = {13th Alpine Verification Meeting (AVM 2019)}, video = {}, }
  8. Gidon Ernst. SecCSL: Security Concurrent_Separation_Logic. Conference talk at AVM19, 11. September 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{AVM19SecCSL, author = {Gidon Ernst}, title = {SecCSL: Security Concurrent_Separation_Logic}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-09-11_AVM19-SecCSL_Security_Concurrent_Separation_Logic.pdf}, day = {11}, month = {September}, venue = {AVM19}, video = {}, }
  9. Thomas Lemberger. Conditional Testing. Off-the-Shelf Combination of Test-Case Generators. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{Huette19ConditionalTesting, author = {Thomas Lemberger}, title = {Conditional Testing. Off-the-Shelf Combination of Test-Case Generators}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-01_Huette19_Conditional_Testing_Thomas_Lemberger.pdf}, day = {01}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, video = {}, }
  10. Thomas Lemberger. Testsuite Validator. Isolated test-suite execution and coverage measurement. Conference talk at Hüttenseminar SoSy-Lab, 01. July 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{Huette19TestCov, author = {Thomas Lemberger}, title = {Testsuite Validator. Isolated test-suite execution and coverage measurement}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-01_Huette19_Testsuite_Validator_Thomas_Lemberger.pdf}, day = {01}, month = {July}, venue = {H{\"u}ttenseminar SoSy-Lab}, video = {}, }
  11. Martin Spiessl. Future Plans with the Witness Format. Conference talk at Huette19, 02. July 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{Huette19WitnessFormat, author = {Martin Spiessl}, title = {Future Plans with the Witness Format}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-07-02_Huette19_Future_Plans_With_The_Witness_Format_Martin.pdf}, day = {02}, month = {July}, venue = {Huette19}, video = {}, }
  12. Maximilian Wiesholler. CorrectnessWitnessValidationUsingPredicateAnalysis. Conference talk at LMU Munich, 05. June 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{WieshollerBA, author = {Maximilian Wiesholler}, title = {CorrectnessWitnessValidationUsingPredicateAnalysis}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-05_BA_CorrectnessWitnessValidationUsingPredicateAnalysis_Wiesholler.pdf}, day = {05}, month = {June}, venue = {LMU Munich}, video = {}, }
  13. in_SV_Gidon. TT. Conference talk at TYPES, 07. June 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TypesInSV, author = {in_SV_Gidon}, title = {TT}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-07_TYPES_TT_in_SV_Gidon.pdf}, day = {07}, month = {June}, venue = {TYPES}, video = {}, }
  14. Maier. SMTBasedVerificationOfECMAScriptProgramsInCPAchecker. Conference talk at LMU Munich, 26. June 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{MaierMA, author = {Maier}, title = {SMTBasedVerificationOfECMAScriptProgramsInCPAchecker}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-06-26_MA_SMTBasedVerificationOfECMAScriptProgramsInCPAchecker_Maier.pdf}, day = {26}, month = {June}, venue = {LMU Munich}, video = {}, }
  15. Dirk Beyer. DataShowcase. Conference talk at MSR19, 25. May 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{MSR19, author = {Dirk Beyer}, title = {DataShowcase}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-05-25_MSR19_DataShowcase.pdf}, day = {25}, month = {May}, venue = {MSR19}, video = {}, }
  16. Dirk Beyer. SV-COMP19. Conference talk at SV-COMP19, 06. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{SVCOMP19, author = {Dirk Beyer}, title = {SV-COMP19}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_SV-COMP_Dirk.pdf}, day = {06}, month = {April}, venue = {SV-COMP19}, video = {}, }
  17. Dirk Beyer. Test-Comp19. Conference talk at Test-Comp19, 06. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TestComp19, author = {Dirk Beyer}, title = {Test-Comp19}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_Test-Comp_Dirk.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, }
  18. Marie-Christine Jakobs. CoVeriTest. Conference talk at Test-Comp19, 06. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TestComp19CoVeriTest, author = {Marie-Christine Jakobs}, title = {CoVeriTest}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_TestComp19_CoVeriTest_Marie.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, }
  19. Thomas Lemberger. PRTest: A plain random tester. Conference talk at Test-Comp19, 06. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TestComp19PRTest, author = {Thomas Lemberger}, title = {PRTest: A plain random tester}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-06_TestComp19_PRTest_Thomas.pdf}, day = {06}, month = {April}, venue = {Test-Comp19}, video = {}, }
  20. Dirk Beyer. SV-COMP at TOOLympics. Conference talk at TOOLympics19, 07. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TOOLympics-SV-COMP, author = {Dirk Beyer}, title = {SV-COMP at TOOLympics}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-07_TOOLympics-SV-COMP_Dirk.pdf}, day = {07}, month = {April}, venue = {TOOLympics19}, video = {}, }
  21. Dirk Beyer. Test-Comp at TOOLympics. Conference talk at TOOLympics19, 07. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{TOOLympics-Test-Comp, author = {Dirk Beyer}, title = {Test-Comp at TOOLympics}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-07_TOOLympics-Test-Comp_Dirk.pdf}, day = {07}, month = {April}, venue = {TOOLympics19}, video = {}, }
  22. Dirk Beyer. Software Verification — An Overview of the State of the Art. Conference talk at ETAPS19, 09. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{ETAPS19SoftwareVerification, author = {Dirk Beyer}, title = {Software Verification — An Overview of the State of the Art}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-09_ETAPS19-Software-Verification_Dirk.pdf}, day = {09}, month = {April}, venue = {ETAPS19}, video = {}, }
  23. Marie-Christine Jakobs. CoVeriTest. Conference talk at FASE19, 11. April 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{FASE19, author = {Marie-Christine Jakobs}, title = {CoVeriTest}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-04-11_FASE19_CoVeriTest_Cooperative_Verifier-Based_Testing_Marie.pdf}, day = {11}, month = {April}, venue = {FASE19}, video = {}, }
  24. Thomas Bunk. LtlSoftwareModelChecking. Conference talk at LMU Munich, 27. March 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{BunkMA, author = {Thomas Bunk}, title = {LtlSoftwareModelChecking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-03-27_MA_LtlSoftwareModelChecking_Bunk.pdf}, day = {27}, month = {March}, venue = {LMU Munich}, video = {}, }
  25. Marie-Christine Jakobs. CombiningVerifiersInConditionalModelChecking. Conference talk at SE19, 22. February 2019. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{SE19, author = {Marie-Christine Jakobs}, title = {CombiningVerifiersInConditionalModelChecking}, year = {2019}, presentation = {https://www.sosy-lab.org/research/prs/2019-02-22_SE19_CombiningVerifiersInConditionalModelChecking_Marie.pdf}, day = {22}, month = {February}, venue = {SE19}, video = {}, }

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

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