We are hiring new student research assistants and tutors. Apply now!
4 papers accepted at SPIN 2024!

Talks of year 2020

Guest lectures, invited talks, and tutorials

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

Conference and other Presentations

  1. 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 = {}, }
  2. 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 = {}, }
  3. Dirk Beyer. Reliable Benchmarking: Requirements and Solutions. Conference talk at VMCAI Winter School 2020, 17. January 2020. Link to this entry Presentation
    BibTeX Entry
    @conferencetalk{SeminarFuzzing19, author = {Dirk Beyer}, title = {Reliable Benchmarking: Requirements and Solutions}, year = {2020}, presentation = {https://www.sosy-lab.org/research/prs/2020-01-17_VMCAI-WinterSchool_Benchmarking_Dirk.pdf}, day = {17}, month = {January}, venue = {VMCAI Winter School 2020}, video = {}, }

Thesis defenses

  1. Martin Zehendner. Software Verification with Numerical Domains in CPAchecker. Defense at LMU Munich, 25. November 2020. Link to this entry Keyword(s): Software Model Checking, CPAchecker
    BibTeX Entry
    @defense{ZehendnerBA, author = {Martin Zehendner}, title = {Software Verification with Numerical Domains in CPAchecker}, year = {2020}, keyword = {Software Model Checking, CPAchecker}, day = {25}, month = {November}, venue = {LMU Munich}, }
  2. 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 = {}, }
  3. 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 = {}, }
  4. 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 = {}, }
  5. 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 = {}, }
  6. 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 = {}, }
  7. 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}, }
  8. 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 = {}, }
  9. 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 = {}, }
  10. 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 = {}, }
  11. 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 = {}, }
  12. 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 = {}, }
  13. 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 = {}, }

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: Thu Mar 28 02:04:40 2024 UTC