Student and Research Talks at SoSy-Lab

Download or Import ICal Feed

• 2024-07-17 15:00
  • 2024-07-17 15:00–30

    CPA-Bridge: A Language Server Protocol Implementation for CPAchecker

    Bachelor-Thesis Final Talk Severin Heidrich (Henrik Wachowitz)
    Raum: F003 Organisator: SoSy-Lab
• 2024-07-17 14:00
  • 2024-07-17 14:00–10

    Concolic Executions with Generational Search in CPAchecker

    Master-Thesis Introductory Talk Marcel Bernert (Prof. Dr. Marie-Christine Jakobs/Max Barth)
    Raum: F003 Organisator: SoSy-Lab
• 2024-07-17 14:15
  • 2024-07-17 14:15–40

    SMT Workhsop Rehearsal Max

    Rehearsal Max Barth (Prof. Dr. Marie-Christine Jakobs)
    Raum: F003 Organisator: SoSy-Lab
• 2024-07-10 14:45
  • 2024-07-10 14:45–10

    Verifikation des internen Verhaltens von Programmen mit Temporallogik

    Bachelor-Thesis Introductory Talk Florian Freiberger (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-07-10 14:00
  • 2024-07-10 14:00–30

    Witness Modifications for Program Transformations: A Case Study on Side-Effect Removal

    Bachelor-Thesis Final Talk Anna Ovezova (Prof. Dr. Dirk Beyer/Marian Lingsch-Rosenfeld)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-26 14:45
  • 2024-06-26 14:45–10

    Learning Unbounded Symbolic System Specifications from Examples

    Bachelor-Thesis Introductory Talk Felipe Kutschat Cunha (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-26 14:30
  • 2024-06-26 14:30–10

    Verifying Concurrent Programs with Assumptions: A Case Study on Deadlock Detection

    Bachelor-Thesis Introductory Talk Norman Lohrer (Prof. Dr. Dirk Beyer/Marian Lingsch-Rosenfeld)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-26 14:00
  • 2024-06-26 14:00–30

    Auswahl der Zeitlimits für CoVeriTest mittels boolescher Merkmale

    Bachelor-Thesis Final Talk Iurii Irkha (Prof. Dr. Marie-Christine Jakobs)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-19 14:45
  • 2024-06-19 14:45–25

    Formal Verification of Interactive Visual Novels

    Master-Thesis Final Talk Elisabeth Lempa (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-19 14:30
  • 2024-06-19 14:30–10

    Automatic Code Summarization and Abstraction in Separation Logic

    Master-Thesis Introductory Talk Lukas Rieger (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-19 14:15
  • 2024-06-19 14:15–10

    Python OOP Support in Cuvée

    Master-Thesis Introductory Talk Simon Antonischki (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-12 14:00
  • 2024-06-12 14:00–10

    Implementing Solver Independent Interpolation Procedures in JavaSMT with subsequent Evaluation

    Bachelor-Thesis Introductory Talk Stefanie Sinner (Prof. Dr. D. Beyer/Daniel Baier)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-12 14:45
  • 2024-06-12 14:45–25

    Analyse und Vergleich von Authentifizierungsmethoden

    Bachelor-Thesis Final Talk Mana Jaqoubi (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-12 14:15
  • 2024-06-12 14:15–10

    Improving Distributed Summary Synthesis Using Data-Flow Analysis

    Bachelor-Thesis Introductory Talk Sara Ruckstuhl (Prof. Dr. Dirk Beyer/Matthias Kettl)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-12 14:30
  • 2024-06-12 14:30–10

    A Horn Solver for Arrays and Lists with Abstract Interpretation

    Master-Thesis Introductory Talk Laura Schröder (Prof. Dr. Gidon Ernst)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-05 14:40
  • 2024-06-05 14:40–15

    Inferring Predicates using Machine Learning

    Master-Thesis Introductory Talk Maximilian Beer (Prof. Dr. Dirk Beyer/Marian Lingsch-Rosenfeld)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-05 14:30
  • 2024-06-05 14:30–10

    Finding Semantically Equivalent Correctness Witnesses

    Bachelor-Thesis Introductory Talk Moritz Auer (Prof. Dr. Dirk Beyer/Marian Lingsch-Rosenfeld)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-05 14:20
  • 2024-06-05 14:20–10

    Empowering BenchExec with Autogenerated Tool-Info-Modules through Few-Shot-Learning

    Bachelor-Thesis Introductory Talk Simon Engstler (Prof. Dirk Beyer/Henrik Wachowitz)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-05 14:10
  • 2024-06-05 14:10–10

    A JSON Export For Control-Flow Automata

    Bachelor-Thesis Introductory Talk Felix Lindenmeier (Prof. Dirk Beyer/Thomas Lemberger)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-05 14:00
  • 2024-06-05 14:00–10

    Modular Partial Order Reduction

    Bachelor-Thesis Introductory Talk Noah König (Prof. Dr. Dirk Beyer/Marian Lingsch-Rosenfeld)
    Raum: F003 Organisator: SoSy-Lab
• 2024-06-04 16:00
  • 2024-06-04 16:00–60

    A Symbolic Approach to Exact Quantum Circuit Simulation and Verification

    Invited Talk Prof. Jie-Hong Roland Jiang (National Taiwan University)
    Raum: F003 Organisator: SoSy-Lab (Nian-Ze Lee)
• 2024-05-23 9:00
  • 2024-05-23 9:00–10

    Performance on Software Projects: A Case Study on UAutomizer, Mopsa, Goblint and PredatorHP

    Bachelor-Thesis Introductory Talk Qingshi Liu (Prof. Dr. Dirk Beyer/Marian Lingsch-Rosenfeld)
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-23 9:00
  • 2024-05-23 9:00–10

    Reconstruction of Verification Witnesses in DSS

    Bachelor-Thesis Introductory Talk Omar Zakzouk (Prof. Dr. Dirk Beyer/Matthias Kettl)
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-22 14:30
  • 2024-05-22 14:30–60

    Invited Talk, Title TBA

    Invited Talk Jan Strejček
    Raum: 061 Organisator: SoSy-Lab
• 2024-05-22 14:00
  • 2024-05-22 14:00–10

    Implementing Solver Independent Interpolation Procedures in JavaSMT with subsequent Evaluation

    Bachelor-Thesis Introductory Talk Stefanie Sinner (Prof. Dr. D. Beyer/Daniel Baier)
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-15 16:00
  • 2024-05-15 16:00–60

    Thinking Aloud: Feedback on the Usability of the CPAchecker LSP

    Hands-On Session Severin Heidrich
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-15 14:00
  • 2024-05-15 14:00–10

    Karbonat Report: An Interactive HTML Report for Karbonat Runs

    Bachelor-Thesis Introductory Talk Samuel Sacher
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-30 11:00
  • 2024-04-30 11:00–10

    Validating Error Invariants

    Bachelor-Thesis Introductory Talk Oz Katz
    Raum: https://lmu-munich.zoom.us/j/6384510333?pwd=VExkb2YzcndMRnU4Rlk4K05KbkJOUT09 Organisator: SoSy-Lab
• 2024-05-08 14:00
  • 2024-05-08 14:00–10

    Reconstruction of Verification Witnesses in DSS

    Bachelor-Thesis Introductory Talk Omar Zakzouk
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-08 14:15
  • 2024-05-08 14:15–10

    Performance on Real-World Programs: A Case Study on CPAchecker and CBMC

    Bachelor-Thesis Introductory Talk Antoine Krull
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-15 14:20
  • 2024-05-15 14:20–10

    Abstrakte Arrayanalyse mithilfe des FunArrays in Java

    Bachelor-Thesis Introductory Talk Maximilian Hofstetter
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-15 15:00
  • 2024-05-15 15:00–25

    Inferring Loop Summaries with Quantifiers over Arrays (tentative)

    Bachelor-Thesis Final Talk Hannah Coenen
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-15 14:40
  • 2024-05-15 14:40–10

    A Maven Plugin for Software Verification

    Bachelor-Thesis Introductory Talk Yannick Martin
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-22 13:00
  • 2024-04-22 13:00–10

    Assessing Witness Validators with Behavior-Invariant Program Variants

    Master-Thesis Introductory Talk Sophia Hans
    Raum: Online: https://lmu-munich.zoom-x.de/j/65355304171?pwd=TG5tOC95OEkrc0k4MUZJblllSUVwQT09 Organisator: SoSy-Lab
• 2024-05-15 14:30
  • 2024-05-15 14:30–10

    Algorithm Selection for Btor2 Verification Tasks using Syntactic Features

    Bachelor-Thesis Introductory Talk Xue Tian
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-08 15:15
  • 2024-05-08 15:15–30

    Auswahl des Testalgorithmus mittels boolescher Merkmale

    Bachelor-Thesis Defense Khrystyna Reichel
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-08 15:00
  • 2024-05-08 15:00–10

    Condition Reuse for Incremental Conditional Model Checking

    Master-Thesis Introductory Talk Alexander Lankheit
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-24 15:15
  • 2024-04-24 15:15–30

    O2R: Reduction of No-Overflow Property of C Programs to Unreach-Call Property

    Bachelor-Thesis Defense Xiyue Zheng
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-08 14:30
  • 2024-05-08 14:30–25

    Verification of Micro Services based on OpenAPI Contracts

    Master-Thesis Defense Daniel Bilic
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-24 14:50
  • 2024-04-24 14:50–25

    Verification of Micro Services based on Pact API Contracts

    Bachelor-Thesis Defense Robin Mattis
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-24 14:30
  • 2024-04-24 14:30–10

    Detection of Sensitive Data Exposure in Java Programs with Bidirectional Text Correlation Analysis

    Master-Thesis Introductory Talk Leonard Ganz
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-24 14:40
  • 2024-04-24 14:40–10

    Building a Gradle Verification Plugin

    Bachelor-Thesis Introductory Talk Ella Dubchak
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-03 15:00
  • 2024-04-03 15:00–10

    Transformation of Reachability YAML Witnesses to No Overflow YAML Witnesses

    Bachelor-Thesis Introductory Talk Tim Kriegelsteiner
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-03 14:45
  • 2024-04-03 14:45–10

    Adding Algebraic Decision Diagrams to PJBDD with Subsequent Evaluation

    Bachelor-Thesis Introductory Talk Simon Roßmair
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-03 13:00
  • 2024-04-03 13:00–60

    Test-Case Generation with Automata-based Software Model Checking

    Rehearsal Talk for SPIN 2024 Max Barth
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-03 14:00
  • 2024-04-03 14:00–60

    Tighter Construction of Tight Büchi Automata

    Rehearsal Talk for FoSSaCS 2024 Marek Jankola
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-03 13:00
  • 2024-04-03 13:00–60

    Software Verification Witnesses 2.0

    Rehearsal Talk for SPIN 2024 Marian Lingsch-Rosenfeld
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-02 14:00
  • 2024-04-02 14:00–60

    Augmenting Interpolation-Based Model Checking with Auxiliary Invariants

    Rehearsal Talk for SPIN 2024 Po-Chun Chien
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-02 15:00
  • 2024-04-02 15:00–60

    Btor2-Cert: A Certifying Hardware-Verification Framework Using Software Analyzers

    Rehearsal Talk for TACAS 2024 Nian-Ze Lee
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-02 16:00
  • 2024-04-02 16:00–60

    Fault Localization on Verification Witnesses

    Rehearsal Talk for SPIN 2024 Matthias Kettl
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-03 14:30
  • 2024-04-03 14:30–10

    Evaluation of JVM Garbage Collectors for CPAchecker

    BA Antrittsvortrag Tobias Maget
    Raum: F003 Organisator: SoSy-Lab
• 2024-03-20 14:00
  • 2024-03-20 14:00–45

    T2R: Reduction of Termination of C Programs to Reachability-Safety Problem

    BA Abschlussvortrag Tian Xia
    Raum: F003 Organisator: SoSy-Lab
• 2024-04-24 15:45
  • 2024-04-24 15:45–20

    Formal Verification of Different Properties of a Random Forest Model

    Bachelor-Thesis Introductory Talk Nina Vucenovic
    Raum: F003 Organisator: SoSy-Lab
• 2024-05-08 15:45
  • 2024-05-08 15:45–20

    Formal Verification of Different Properties of a Random Forest Model

    Bachelor-Thesis Introductory Talk Jakob Lukas Schleicher
    Raum: F003 Organisator: SoSy-Lab
• 2024-03-13 14:30
  • 2024-03-13 14:30–40

    A Library for Unit Verification

    BA Abschlussvortrag Marko Ristic
    Raum: F003 Organisator: SoSy-Lab
• 2024-02-28 14:30
  • 2024-02-28 14:30–25

    Security Specifications for Dafny

    MA Abschlussvortrag Maximilian Doods
    Raum: F003 Organisator: SoSy-Lab
• 2024-02-21 14:30
  • 2024-02-21 14:30–25

    Evaluating Tools for Automated Penetration Testing of Web Applications

    BA Abschlussvortrag Tolga Engin
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-31 14:00
  • 2024-01-31 14:00–10

    Witness Modifications for Program Transformations: A Case Study on Side-Effect Removal

    Bachelor-Thesis Introductory Talk Anna Ovezova
    Raum: F003 Organisator: SoSy-Lab
• 2024-03-06 14:30
  • 2024-03-06 14:30–10

    Exploring Nested Containerized Compositions in CoVeriTeam

    BA Antrittsvortrag Tim Edelmann
    Raum: F003 Organisator: SoSy-Lab
• 2024-03-06 15:00
  • 2024-03-06 15:00–10

    Chalk: A Practical Application of CPAchecker as Linter

    BA Antrittsvortrag Jon Mikel Penas Candina
    Raum: <a href="https://lmu-munich.zoom-x.de/j/61467043406?pwd=bkg4dFVROGd2SGRwT3orRXVqeWQ3UT09">Zoom</a> Organisator: SoSy-Lab
• 2024-01-31 14:30
  • 2024-01-31 14:30–25

    Case Studies for Formal Verification

    BA Abschlussvortrag Moritz Kliemke
    Raum: F003 Organisator: SoSy-Lab
• 2024-02-07 14:30
  • 2024-02-07 14:30–10

    CPAchecker LSP: CPAchecker integration into VS Code

    BA Antrittsvortrag Severin Heidrich
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 10:00
  • 2024-01-24 10:00–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 10:20
  • 2024-01-24 10:20–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 10:40
  • 2024-01-24 10:40–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 11:00
  • 2024-01-24 11:00–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 11:20
  • 2024-01-24 11:20–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 14:00
  • 2024-01-24 14:00–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 14:20
  • 2024-01-24 14:20–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 14:40
  • 2024-01-24 14:40–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 15:00
  • 2024-01-24 15:00–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 15:20
  • 2024-01-24 15:20–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 15:40
  • 2024-01-24 15:40–20

    BSc Thesis on the Software Verification of memcached

    Bachelor-Thesis Final Talk TBA
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 16:10
  • 2024-01-24 16:10–20

    Automated Verification of the C Implementation of memcached with ESBMC

    Bachelor-Thesis Final Talk Mark-Andre Duesing
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 16:30
  • 2024-01-24 16:30–20

    Automated Verification of Real-World C Code with AFL++ on the Example of memcached

    Bachelor-Thesis Final Talk Rigon Ajdini
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 16:50
  • 2024-01-24 16:50–20

    Verification of memcached with CPAchecker and Predicate Abstraction

    Bachelor-Thesis Final Talk Anastasia Dudrina
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 17:10
  • 2024-01-24 17:10–20

    Automated Verification of the C Implementation of Memcached with Facebook Infer

    Bachelor-Thesis Final Talk Shunyu Han
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-24 17:30
  • 2024-01-24 17:30–20

    Automated Verification of the C Implementation of Memcached with CBMC

    Bachelor-Thesis Final Talk Guanghao Jin
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-18 13:00
  • 2024-01-18 13:00–15

    Selection of Time Limits for CoVeriTest via Boolean Features

    Bachelor-Thesis Introductory Talk Iurii Irkha
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-10 14:30
  • 2024-01-10 14:30–25

    Extending the JavaSMT Framework with the Apron Library for Numerical Abstract Domain with subsequent Usability Assessment

    Bachelor-Thesis Final Talk Winnie Ros
    Raum: F003 Organisator: SoSy-Lab
• 2024-01-10 15:00
  • 2024-01-10 15:00–25

    Implementing a Solver-Independent SMT-LIB2 Parser-Interpreter and Code-Generator for JavaSMT with Subsequent Evaluation

    Bachelor-Thesis Final Talk Janelle King
    Raum: F003 Organisator: SoSy-Lab
• 2023-12-20 12:00
  • 2023-12-20 12:00–20

    Differential Fuzzing with AFL and JQF

    Bachelor-Thesis Final Talk Marta Gołaszewska
    Raum: F003 Organisator: SoSy-Lab
• 2023-12-06 16:00
  • 2023-12-06 16:00–15

    O2R: Reduction of No-Overflow Property of C Programs to Unreach-Call Property

    Bachelor-Thesis Introductory Talk Xiyue Zheng (Mentor: Marek Jankola)
    Raum: F003 Organisator: SoSy-Lab
• 2023-12-06 15:15
  • 2023-12-06 15:15–25

    Inferenz von Vorbedingungen für den Vergleich rekursiver Funktionen über ADTs

    Bachelor-Thesis Final Talk Robin Sögtrop
    Raum: F003 Organisator: SoSy-Lab
• 2023-12-06 14:30
  • 2023-12-06 14:30–25

    Verification of Java Programs with Exceptions with CPAchecker

    Master-Thesis Final Talk Benedikt Damböck
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-29 14:30
  • 2023-11-29 14:30–25

    Case Studies in the Dynamic Logic of Communicating Hybrid Programs

    Bachelor-Thesis Final Talk Aileen Chen
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-29 15:00
  • 2023-11-29 15:00–25

    Scaling Formal Verification: Parallel Analysis of Functions in CPAchecker

    Bachelor-Thesis Final Talk Jens Linden
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-22 15:10
  • 2023-11-22 15:10–10

    Verification of Micro Services Based on Pact API Contracts

    Bachelor-Thesis Introductory Talk Robin Mattis
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-22 14:30
  • 2023-11-22 14:30–25

    Certifying Software Violation Witnesses for Hardware Verification Tasks via Simulation-Based Validation

    Bachelor-Thesis Final Talk Nils Sirrenberg
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-08 15:00
  • 2023-11-08 15:00–15

    T2R: Reduction of Termination of C programs to Reachability-Safety Problem

    Bachelor-Thesis Introductory Talk Tian Xia (Mentor: Marek Jankola)
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-08 14:30
  • 2023-11-08 14:30–25

    Detection of Performance Deviation in CPAchecker Using Microbenchmarking

    Bachelor's Thesis Defense Talk Josef Feger (Mentor: Martin Spiessl)
    Raum: F003 Organisator: SoSy-Lab
• 2023-11-08 15:15
  • 2023-11-08 15:15–25

    Adding the SMT Solver Bitwuzla to the JavaSMT Framework and Evaluation using CPAchecker

    Bachelor's Thesis Defense Talk Heinrich Lindner (Mentor: Daniel Baier)
    Raum: F003 Organisator: SoSy-Lab
• 2023-10-31 11:00
  • 2023-10-31 11:00–15

    Test Algorithm Selection via Boolean Features

    Bachelor-Thesis Introductory Talk Khrystyna Reichel (Mentor: Marie-Christine Jakobs)
    Raum: F003 Organisator: SoSy-Lab
• 2023-10-18 14:30
  • 2023-10-18 14:30–15

    Adding Assertions for Undefined Behavior to Programs

    Bachelor-Thesis Introductory Talk Karim Triki (Mentor: Thomas Lemberger)
    Raum: F003 Organisator: SoSy-Lab
• 2023-10-16 10:00
  • 2023-10-16 10:00–30

    Adding the SMT Solver OpenSMT2 to the JavaSMT Framework and subsequent Evaluation

    Bachelor-Thesis Final Talk Daniel Raffler (Mentor: Daniel Baier)
    Raum: F003 Organisator: SoSy-Lab
• 2023-10-11 15:00
  • 2023-10-11 15:00–15

    Building a Unit-Verification Library

    Bachelor-Thesis Introductory Talk Marko Ristic (Mentor: Thomas Lemberger)
    Raum: F003 Organisator: SoSy-Lab
• 2023-10-11 14:30
  • 2023-10-11 14:30–15

    Verification of Java Micro-Services based on OpenAPI

    Master-Thesis Introductory Talk Daniel Bilic (Mentor: Thomas Lemberger)
    Raum: F003 Organisator: SoSy-Lab
• 2023-09-20 15:15
  • 2023-09-20 15:15–15

    Adding Assertions for Undefined Behavior to Programs

    Bachelor-Thesis Introductory Talk Karim Triki
    Raum: F003 Organisator: SoSy-Lab
• 2023-09-20 14:30
  • 2023-09-20 14:30–20

    Synthesizing a GUI for CoVeriTeam from its Source Code

    Bachelor-Thesis Defense Talk Jasmin Krenz
    Raum: F003 Organisator: SoSy-Lab
• 2023-08-30 15:00
  • 2023-08-30 15:00–25

    Designing and Assessing a Benchmark Set for Fault Localization Using Fault Injection

    Bachelor-Thesis Defense Talk Moritz Bierwirth
    Raum: F003 Organisator: SoSy-Lab
• 2023-08-30 14:30
  • 2023-08-30 14:30–25

    Improving the Encoding of Arrays in Btor2-to-C Translation

    Bachelor-Thesis Defense Talk Salih Ates
    Raum: F003 Organisator: SoSy-Lab
• 2023-08-23 14:30
  • 2023-08-23 14:30–25

    Using Time-Independent Resource Limits to Improve the Reproducibility of CPAchecker

    Bachelor-Thesis Defense Talk Ludwig Dinter
    Raum: F003 Organisator: SoSy-Lab
• 2023-08-02 13:00
  • 2023-08-02 13:00–30

    How Good Are Your Invariants: Witness Validation for Hardware via Circuit Instrumentation with Software Invariants

    Internship final talk Zsófi Ádám, BME, Hungary
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-25 13:30
  • 2023-07-25 13:30–10

    Differential Fuzzing with AFL and JQF

    Bachelor-Thesis Introductory Talk Marta Gołaszewska
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-04 14:00
  • 2023-07-04 14:00–45

    Threats to Reproducibility in Software Engineering

    Habil Antrittsvortrag Stefan Winter
    Raum: F003 Organisator: Stefan Winter
• 2023-07-05 13:00
  • 2023-07-05 13:00–30

    Test Interference Detection for C Projects

    Student talk Florian Eder
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-12 15:00
  • 2023-07-12 15:00–10

    Violation Witness Translation from C to Btor2

    Bachelor-thesis introductory talk Nils Sirrenberg
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-07 11:00
  • 2023-07-07 11:00–30

    Experiments with Rapidly-exploring Random Trees over Trajectories

    Research Talk Jiří Fejlek
    Raum: F003/hybrid Organisator: SoSy-Lab
• 2023-07-07 13:00
  • 2023-07-07 13:00–25

    Updating the BenchExec Core Assignment for Modern CPU Architecture

    BA Abschlussvortrag Charlotte Gall
    Raum: (online) Organisator: SoSy-Lab
• 2023-07-12 14:30
  • 2023-07-12 14:30–25

    Ethik-basierte Anforderungsanalyse für eine Triage-Software: eine Fallstudie

    BA Abschlussvortrag Dusica Weisbarth
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-19 14:30
  • 2023-07-19 14:30–25

    Learning Systems as Automata with Unbounded State Space

    BA Abschlussvortrag Bastian Beuttel
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-05 14:50
  • 2023-07-05 14:50–10

    Security Specifications for Dafny

    MA Antrittsvortrag Maximilian Doods
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-05 14:30
  • 2023-07-05 14:30–10

    Formal Verification of Interactive Visual Novels

    MA Antrittsvortrag Elisabeth Lempa
    Raum: F003 Organisator: SoSy-Lab
• 2023-07-04 11:00
  • 2023-07-04 11:00–60

    Theta Tool Introduction and Validation-via-Verification for Hardware Btor2 Circuits

    Student talk Zsófi Ádám, BME, Hungary
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-29 11:00
  • 2023-06-29 11:00–60

    Data-Driven Formal Methods: Oxymoron or Panacea?

    Invited talk Raphael Jungers, UCLouvain, Belgium
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-28 14:15
  • 2023-06-28 14:15–10

    Implementing a solver-independent SMTLIB2 parser und generator for JavaSMT with subsequent evaluation

    Bachelor-thesis introductory talk Janelle King
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-28 14:30
  • 2023-06-28 14:30–10

    Scaling Formal Verification: Parallel Analysis of Functions in CPAchecker

    BA Antrittsvortrag Jens Linden
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-28 13:00
  • 2023-06-28 13:00–60

    Omitting types theorem in hybrid dynamic first-order logic with rigid symbols

    Invited talk Guillermo Badia, University of Queensland
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-27 17:00
  • 2023-06-27 17:00–10

    Extending the Framework JavaSMT with the Apron Library for Abstract Numeric Domains with subsequent Evaluation using CPAchecker

    BA Antrittsvortrag Winnie Ros
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-21 14:50
  • 2023-06-21 14:50–25

    Changes of flakiness in a combined test suite

    BA Abschlussvortrag Lorenz Leithäuser
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-21 14:30
  • 2023-06-21 14:30–10

    Extending the Framework JavaSMT with the Apron Library for Abstract Numeric Domains with subsequent Evaluation using CPAchecker

    BA Antrittsvortrag Winnie Ros
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-14 13:00
  • 2023-06-14 13:00–40

    SafeSens: A systematic approach for determining safety-related limitations of perception architectures under consideration of uncertainty

    Doc Antrittsvortrag Iwo Kurzidem, Fraunhofer IKS
    Raum: F003 Organisator: SoSy-Lab
• 2023-06-14 14:45
  • 2023-06-14 14:45–10

    Supporting the family of scanf functions in CPAchecker

    BA Antrittsvortrag Nils Sirrenberg
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-31 15:45
  • 2023-05-31 15:45–10

    Synthesizing a GUI for CoVeriTeam from its source code

    BA Antrittsvortrag Jasmin Krenz
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-31 15:30
  • 2023-05-31 15:30–10

    Verification of Java Programs with Exceptions with CPAchecker

    MA Antrittsvortrag Benedikt Damböck
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-31 15:15
  • 2023-05-31 15:15–10

    Inferring loop summaries with quantifiers over arrays

    BA Antrittsvortrag Hannah Knie
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-31 14:30
  • 2023-05-31 14:30–30

    A Framework for Sampling-Based Invariant Generation

    MA Abschlussvortrag Sven Umbricht
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-17 14:30
  • 2023-05-17 14:30–10

    Implementing a solver-independent SMTLIB2 parser und composer for JavaSMT with subsequent evaluation

    Bachelor-thesis introductory talk Janelle King
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-03 14:45
  • 2023-05-03 14:45–10

    Extending the SMT solver framework JavaSMT with Bitwuzla

    Bachelor-thesis introductory talk Heinrich Lindner
    Raum: F003 Organisator: SoSy-Lab
• 2023-05-03 14:30
  • 2023-05-03 14:30–10

    Improving the Encoding of Arrays in Btor2-to-C Translation

    Bachelor-thesis introductory talk Salih Ates
    Raum: F003 Organisator: SoSy-Lab
• 2023-03-15 14:45
  • 2023-03-15 14:45–10

    CPAchecker Result Reproducibility Through Micro Benchmarking

    BA Antrittsvortrag Josef Feger
    Raum: F003 Organisator: SoSy-Lab
• 2023-03-15 14:40
  • 2023-03-15 14:40–10

    Adding support for OpenSMT2 to the JavaSMT Framework

    BA Antrittsvortrag Daniel Raffler
    Raum: F003 Organisator: SoSy-Lab
• 2023-02-09 11:00
  • 2023-02-09 11:00–30

    Fuzzing Strategies and Optimization in Legion/SymCC

    BA Abschlussvortrag Lukas Ederer
    Raum: (online) Organisator: SoSy-Lab
• 2023-02-01 14:30
  • 2023-02-01 14:30–10

    Updating the BenchExec Core Assignment for Modern CPU Architectures

    BA Antrittsvortrag Charlotte Gall
    Raum: (online) Organisator: SoSy-Lab
• 2023-01-18 14:30
  • 2023-01-18 14:30–10

    Improving Resource Limits for CPAchecker

    BA Antrittsvortrag Ludwig Dinter
    Raum: (online) Organisator: SoSy-Lab
• 2022-10-19 14:30
  • 2022-10-19 14:30–10

    A Framework for Invariant Learning in Software Verification

    MA Antrittsvortrag Sven Umbricht
    Raum: (online) Organisator: SoSy-Lab
• 2022-09-28 16:00
  • 2022-09-28 16:00–30

    Implementation of Value Analysis over Symbolic Memory Graphs in CPAchecker

    MA Abschlussvortrag Daniel Baier
    Raum: (online) Organisator: SoSy-Lab
• 2022-09-28 15:15
  • 2022-09-28 15:15–20

    Consistency Assessment for Publication Metadata

    BA Abschlussvortrag Elhassan Ould El Moustapha
    Raum: (online) Organisator: SoSy-Lab
• 2022-09-28 14:30
  • 2022-09-28 14:30–20

    Prevalence and Structure of External Validity Discussions in FSE Articles

    BA Abschlussvortrag Benedikt Wiederrecht
    Raum: (online) Organisator: SoSy-Lab
• 2022-08-31 15:15
  • 2022-08-31 15:15–30

    Prevalence and Structure of External Validity Discussions in Experimental and Empirical Software Engineering Research

    BA Abschlussvortrag Emine Hakani
    Raum: (online) Organisator: SoSy-Lab
• 2022-08-31 16:00
  • 2022-08-31 16:00–15

    Predicting the future of CPAchecker tests

    BA Antrittsvortrag Thai Le
    Raum: (online) Organisator: SoSy-Lab
• 2022-08-31 14:30
  • 2022-08-31 14:30–30

    A New Spin on Verification with Symbolic Execution: Symbolic Execution as Formula-Based Predicate Analysis in CPAchecker

    MA Abschlussvortrag Martin Pletl
    Raum: (online) Organisator: SoSy-Lab
• 2022-07-27 14:30
  • 2022-07-27 14:30–30

    Juristische und technische Betrachtung von IT-Sicherheit bei Cloud Computing

    BA Abschlussvortrag Johannes Eykman
    Raum: (online) Organisator: SoSy-Lab
• 2022-07-20 14:30
  • 2022-07-20 14:30–30

    Program Transformation in CPAchecker: Design and Implementation of a Source-Respecting Translation from Control-Flow Automata to C Code

    BA Abschlussvortrag Klara Cimbalnik
    Raum: (online) Organisator: SoSy-Lab
• 2022-06-15 14:30
  • 2022-06-15 14:30–30

    New Approaches and Visualization for Verification Coverage

    MA Abschlussvortrag Maximilian Hailer
    Raum: (online) Organisator: SoSy-Lab
• 2022-05-11 14:30
  • 2022-05-11 14:30–10

    Technische und juristische Betrachtung von IT-Sicherheit bei XaaS

    BA Antrittsvortrag Johannes Eykman
    Raum: (online) Organisator: SoSy-Lab
• 2022-03-30 14:30
  • 2022-03-30 14:30–10

    Prevalence and Structure of External Validity Discussions in Experimental and Empirical Software Engineering Research

    BA Antrittsvortrag Emine Hakani
    Raum: (online) Organisator: SoSy-Lab
• 2022-03-30 14:45
  • 2022-03-30 14:45–10

    Order-Dependent Flaky Test Analysis for C Programs

    BA Antrittsvortrag Florian Eder
    Raum: (online) Organisator: SoSy-Lab
• 2022-03-16 14:30
  • 2022-03-16 14:30–25

    Developing a Verifier Based on Parallel Portfolio with CoVeriTeam

    BA Abschlussvortrag Tobias Kleinert
    Raum: (online) Organisator: SoSy-Lab
• 2022-03-09 14:15
  • 2022-03-09 14:15–10

    Impact of Mutation Operators on Defect Detection

    BA Antrittsvortrag Sophia Hans
    Raum: (online) Organisator: SoSy-Lab
• 2022-03-09 14:30
  • 2022-03-09 14:30–25

    Cgroups v2 Support for BenchExec

    BA Abschlussvortrag Robin Gloster
    Raum: (online) Organisator: SoSy-Lab
• 2022-03-09 14:30
  • 2022-03-09 14:30–25

    A CPA for String Analysis for Java Programs in CPAchecker

    BA Abschlussvortrag Simon Antonischki
    Raum: (online) Organisator: SoSy-Lab
• 2022-02-24 09:00
  • 2022-02-24 09:00–35

    Adjustable Block Analysis: Actor-Based Creation of Block Summaries for Scaling Formal Verification

    MA Abschlussvortrag Matthias Kettl
    Raum: (online) Organisator: SoSy-Lab
• 2022-02-23 14:30
  • 2022-02-23 14:30–20

    Idiom Mining for Software Verification

    MA Antrittsvortrag Valentin Port
    Raum: (online) Organisator: SoSy-Lab
• 2022-02-16 14:30
  • 2022-02-16 14:30–20

    Staying true to the original in the face of change: Comprehensible code transformation

    BA Antrittsvortrag Klara Cimbalnik
    Raum: (online) Organisator: SoSy-Lab
• 2022-02-09 14:30
  • 2022-02-09 14:30–35

    Concurrent Software Verification through Block-based Task Partitioning and Continuous Summary Refinement

    MA Abschlussvortrag Philipp Waldinger
    Raum: (online) Organisator: SoSy-Lab
• 2022-02-02 14:30
  • 2022-02-02 14:30–20

    Integration of Symbolic Execution into Predicate Analysis

    MA Antrittsvortrag Martin Pletl
    Raum: (online) Organisator: SoSy-Lab
• 2022-01-19 14:30
  • 2022-01-19 14:30–20

    SMG Analysis in CPAchecker

    MA Antrittsvortrag Daniel Baier
    Raum: (online) Organisator: SoSy-Lab
• 2021-12-22 14:30
  • 2021-12-22 14:30–20

    SMG Analysis in CPAchecker

    MA Antrittsvortrag Daniel Baier
    Raum: (online) Organisator: SoSy-Lab
• 2021-11-10 14:30
  • 2021-11-10 14:30–20

    New Approaches and Visualization for Verification Coverage

    MA Antrittsvortrag Maximilian Hailer
    Raum: (online) Organisator: SoSy-Lab
• 2021-11-10 14:50
  • 2021-11-10 14:50–35

    SV-COMP Benchmarks for Weak Memory Models

    BA Abschlussvortrag Korab Zogu
    Raum: (online) Organisator: SoSy-Lab
• 2021-11-10 15:35
  • 2021-11-10 15:35–35

    Genetic Programming in Software Verification

    BA Abschlussvortrag Ludwig Glückstadt
    Raum: (online) Organisator: SoSy-Lab
• 2021-11-03 15:00
  • 2021-11-03 15:00–45

    Effcient Software Model Checking with Block-Abstraction Memoization

    Disputation Karlheinz Friedberger
    Raum: Hauptgebäude A120 and online via Zoom Organisator: SoSy-Lab
• 2021-10-20 15:30
  • 2021-10-20 15:30–30

    Leveraging Curricula to Explore Pareto Fronts in Multi-Objective Reinforcement Learning

    BA Abschlussvortrag Philip Adamczyk
    Raum: (online) Organisator: SoSy-Lab
• 2021-10-20 15:00
  • 2021-10-20 15:00–30

    Linear Interpolation of Multiple Objectives

    BA Abschlussvortrag Mario Quitt
    Raum: (online) Organisator: SoSy-Lab
• 2021-10-20 14:30
  • 2021-10-20 14:30–30

    Iterated Prisoner's Dilemma with Players Learning to Provide Unpaid and Paid Incentives to Others

    BA Abschlussvortrag Xiyue Sun
    Raum: (online) Organisator: SoSy-Lab
• 2021-10-13 14:30
  • 2021-10-13 14:30–35

    CWE-Ids for Software Analysis in CPAchecker

    BA Abschlussvortrag Clara Sofie Goldmann
    Raum: (online) Organisator: SoSy-Lab
• 2021-09-22 15:15
  • 2021-09-22 15:15–15

    Adjustable Block Analysis: Actor-based block summaries for scaling formal verification

    MA Antrittsvortrag Matthias Kettl
    Raum: (online) Organisator: SoSy-Lab
• 2021-09-22 14:30
  • 2021-09-22 14:30–35

    Implementation and Evaluation of tagged BDDs in PJBDD

    BA Abschlussvortrag Simon Raths
    Raum: (online) Organisator: SoSy-Lab
• 2021-07-28 14:30
  • 2021-07-28 14:30–10

    A CPA for String Analysis for Java Programs in CPAchecker

    BA Antrittsvortrag Simon Antonischki
    Raum: (online) Organisator: SoSy-Lab
• 2021-07-28 14:50
  • 2021-07-28 14:50–10

    Use cgroups v2 for BenchExec to improve container isolation

    BA Antrittsvortrag Robin Gloster
    Raum: (online) Organisator: SoSy-Lab
• 2021-07-28 15:10
  • 2021-07-28 15:10–25

    Implementation and Evaluation of a Simple Taint Analysis for CPAchecker

    BA Abschlussvortrag Sebastian Tschöpel
    Raum: (online) Organisator: SoSy-Lab
• 2021-05-26 14:30
  • 2021-05-26 14:30–10

    Verification of Timed Automata with BDDs

    BA Antrittsvortrag Jingchen Wang
    Raum: (online) Organisator: SoSy-Lab
• 2021-04-28 14:30
  • 2021-04-28 14:30–25

    Shareable Benchmarking Reports with Enhanced Filters and Dynamic Statistics for BenchExec

    BA Abschlussvortrag Dennis Simon
    Raum: (online) Organisator: SoSy-Lab
• 2021-02-03 12:30
  • 2021-02-03 12:30–30

    Fuzzing/Legion in CPAchecker

    MA Abschlussvortrag Christoph Girstenbrei
    Raum: (online) Organisator: SoSy-Lab
• 2021-02-17 14:30
  • 2021-02-17 14:30–25

    Improve Analysis of Java Programs in CPAchecker

    BA Abschlussvortrag Sven Masard
    Raum: (online) Organisator: SoSy-Lab
• 2021-02-10 15:15
  • 2021-02-10 15:15–25

    Verification Witnesses: from Llvm to C

    BA Abschlussvortrag Yun Zhang
    Raum: (online) Organisator: SoSy-Lab
• 2021-02-10 14:30
  • 2021-02-10 14:30–25

    Converting between ACSL Annotations and Witness Invariants

    BA Abschlussvortrag Sven Umbricht
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-27 14:30
  • 2021-01-27 14:30–25

    Implementierung und Evaluation von einfacher Schleifenabstraktion für das CPAchecker-Framework

    BA Abschlussvortrag Benedikt Damböck
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-27 15:30
  • 2021-01-27 15:30–10

    Genetic Programming in Software Verification

    BA Antrittsvortrag Ludwig Glückstadt
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-20 12:30
  • 2021-01-20 12:30–25

    Information Flow Testing of a PGP Key Server

    BA Abschlussvortrag Lukas Rieger
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-20 13:15
  • 2021-01-20 13:15–25

    SMT-based Checking and Synthesis of Formal Refinements

    MA Abschlussvortrag Tillmann Gaida
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-13 12:30
  • 2021-01-13 12:30–25

    Converting Test Goals to Condition Automata

    BA Abschlussvortrag Frederic Schönberger
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-13 13:30
  • 2021-01-13 13:30–10

    Taint Analysis for CPAchecker

    BA Antrittsvortrag Sebastian Tschöpel
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-13 13:50
  • 2021-01-13 13:50–10

    Unityped functional programs and proofs

    MA Antrittsvortrag Lucas Hoffmann
    Raum: (online) Organisator: SoSy-Lab
• 2021-01-13 14:10
  • 2021-01-13 14:10–10

    Invariant Generation through Sampling for CPAchecker

    BA Antrittsvortrag Daniel Mössner
    Raum: (online) Organisator: SoSy-Lab
• 2020-12-16 12:30
  • 2020-12-16 12:30–25

    Verification of Timed Automata with CPAchecker

    MA Abschlussvortrag Nico Weise
    Raum: (online) Organisator: SoSy-Lab
• 2020-12-09 13:30
  • 2020-12-09 13:30–25

    SMT-based Model Checking of Concurrent Programs

    BA Abschlussvortrag Vladyslav Kolesnykov
    Raum: (online) Organisator: SoSy-Lab
• 2020-12-09 12:30
  • 2020-12-09 12:30–25

    Domain Types for Predicate Analysis in CPAchecker

    BA Abschlussvortrag Yannick Adams
    Raum: (online) Organisator: SoSy-Lab
• 2020-11-25 12:30
  • 2020-11-25 12:30–25

    Fuzzing with CMA-ES

    BA Abschlussvortrag Hyunsung Kim
    Raum: (online) Organisator: SoSy-Lab
• 2020-11-25 13:30
  • 2020-11-25 13:30–25

    Software Verification with Numerical Domains in CPAchecker

    BA Abschlussvortrag Martin Zehendner
    Raum: (online) Organisator: SoSy-Lab
• 2020-11-18 12:30
  • 2020-11-18 12:30–15

    Domain-independent Function Summaries

    MA Antrittsvortrag Philipp Waldinger
    Raum: (online) Organisator: SoSy-Lab
• 2020-11-11 12:30
  • 2020-11-11 12:30–15

    A Python Frontend for Cuvée

    BA Antrittsvortrag Maximilian Doods
    Raum: (online) Organisator: SoSy-Lab
• 2020-11-04 13:45
  • 2020-11-04 13:45–10

    Verification Witnesses: from Llvm to C

    BA Antrittsvortrag Yun Zhang
    Raum: (online) Organisator: SoSy-Lab
• 2020-11-04 12:30
  • 2020-11-04 12:30–30

    Real-World Requirements for Software Analysis

    BA Abschlussvortrag Amena Abdulla
    Raum: (online) Organisator: SoSy-Lab
• 2020-10-21 13:20
  • 2020-10-21 13:20–30

    Code-complexity analysis on the component level

    BA Abschlussvortrag Simon Lund
    Raum: (online) Organisator: SoSy-Lab
• 2020-10-21 12:30
  • 2020-10-21 12:30–30

    Test-Harness Generation with Non-deterministic Pointers

    BA Abschlussvortrag Jakob Selberg
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-30 13:20
  • 2020-09-30 13:20–30

    For The Win (FTW) Agent

    Abschlussvortrag Praktikum zur Entwicklung eines groesseren Softwaresystems Johannes Tochtermann
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-30 14:15
  • 2020-09-30 14:15–30

    Integration und Evaluation von verketteten Entscheidungsdiagrammen in PJBDD und CPAchecker

    BA Abschlussvortrag Sebastian Niedner
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-30 12:30
  • 2020-09-30 12:30–30

    Fault Localization in Model Checking. Implementation and Evaluation of Fault-Localization Techniques with Distance Metrics

    BA Abschlussvortrag Angelos Kafounis
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-16 13:35
  • 2020-09-16 13:35–45

    Solver-based Analysis of Memory Safety using Separation Logic

    MA Abschlussvortrag Moritz Beck
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-16 12:50
  • 2020-09-16 12:50–30

    Interval-based Optimization for SMT Solvers

    BA Abschlussvortrag Radu Rusanu
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-16 12:30
  • 2020-09-16 12:30–10

    CWE-IDs for Software Analysis in CPAchecker and SV-COMP

    BA Antrittsvortrag Clara Goldmann
    Raum: (online) Organisator: SoSy-Lab
• 2020-09-02 12:30
  • 2020-09-02 12:30–45

    Test-based Fault Localization in the Context of Formal Verification: Implementation and Evaluation of the Tarantula Algorithm in CPAchecker

    BA Abschlussvortrag Schindar Ali
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-22 13:15
  • 2020-07-22 13:15–45

    Energy Consumption Prediction of Verification Work

    BA Abschlussvortrag Petros Isaakidis
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-22 12:30
  • 2020-07-22 12:30–45

    Fault Localization in CPAchecker with Error Invariants and UNSAT-Cores

    BA Abschlussvortrag Matthias Kettl
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-15 12:30
  • 2020-07-15 12:30–10

    A Booge Frontend for Cuvee

    BA Antrittsvortrag Marius Funk
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-15 13:30
  • 2020-07-15 13:30–45

    An IDE Plugin for CPAchecker

    BA Abschlussvortrag Adrian Leimeister
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-15 12:45
  • 2020-07-15 12:45–45

    A Web Frontend for Visualization of Computation Steps and their Results in CPAchecker

    BA Abschlussvortrag Sonja Münchow
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-01 13:00
  • 2020-07-01 13:00–15

    Kombination der ThreadingCPA mit SMT-basierter Analyse

    BA Antrittsvortrag Vladyslav Kolesnykov
    Raum: (online) Organisator: SoSy-Lab
• 2020-07-01 12:30
  • 2020-07-01 12:30–15

    Interactive Verification Debugging in VS Code

    MA Antrittsvortrag Johannes Blau
    Raum: (online) Organisator: SoSy-Lab
• 2020-06-17 12:45
  • 2020-06-17 12:45–15

    Converting Test Goals to Condition Automata

    BA Antrittsvortrag Frederic Schoenberger
    Raum: (online) Organisator: SoSy-Lab
• 2020-06-17 12:30
  • 2020-06-17 12:30–15

    Fuzzing with Stochastic Optimization

    BA Antrittsvortrag Hyunsung Kim
    Raum: (online) Organisator: SoSy-Lab
• 2020-06-10 12:45
  • 2020-06-10 12:45–45

    Implementation of interpolation-based model checking in CPAchecker

    PhD Project Presentation Nian-Ze Lee
    Raum: (online) Organisator: SoSy-Lab
• 2020-06-10 12:30
  • 2020-06-10 12:30–10

    Interval-based Optimization for SMT Solvers

    BA Antrittsvortrag Radu Rusanu
    Raum: (online) Organisator: SoSy-Lab
• 2020-05-13 12:30
  • 2020-05-13 12:30–45

    Extending the Framework JavaSMT with the SMT Solver Yices2

    BA Abschlussvortrag Michael Obermeier
    Raum: (online) Organisator: SoSy-Lab
• 2020-05-13 13:15
  • 2020-05-13 13:15–15

    Code-Complexity Analysis on the Example of CPAchecker

    BA Antrittsvortrag Simon Lund
    Raum: (online) Organisator: SoSy-Lab
• 2020-05-13 13:30
  • 2020-05-13 13:30–15

    Support for Invariant Annotations from Correctness Witnesses in CPAchecker

    BA Antrittsvortrag Sven Umbricht
    Raum: (online) Organisator: SoSy-Lab
• 2020-03-18 12:30
  • 2020-03-18 12:30–40

    Improving the Energy Consumption Prediction of Verification Work

    BA Abschlussvortrag Petros Isaakidis
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-05-06 12:30
  • 2020-05-06 12:30–10

    Fuzzing/Legion in CPAchecker

    MA Antrittsvortrag Christoph Girstenbrei
    Raum: (online) Organisator: SoSy-Lab
• 2020-03-11 13:00
  • 2020-03-11 13:00–10

    Fault Localization with Tarantula

    BA Antrittsvortrag Schindar Ali
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-03-18 12:30
  • 2020-03-18 12:30–45

    Loop Contracts for Boogie and Dafny

    Masterprojekt Abschlusspraesentation Johannes Blau
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-01-29 14:00
  • 2020-01-29 14:00–25

    Design and Implementation of a Cluster Based Approach for Software Verification

    BA Presentation Alexander Ried
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-02-05 12:30
  • 2020-02-05 12:30–10

    Improve usability of summary tab for HTML tables of BenchExec

    BA Antrittsvortrag Dennis Simon
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-02-12 12:30
  • 2020-02-12 12:30–30

    SMT-based checking and synthesis of formal refinements

    MA Antrittsvortrag Tillmann Gaida
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-01-29 12:30
  • 2020-01-29 12:30–45

    Rely/Guarantee for Separation Logic in SecC

    Masterprojekt Abschlusspraesentation Bernhard Pöttinger
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-01-29 13:30
  • 2020-01-29 13:30–30

    Fault Localization with Error Invariants

    BA Antrittsvortrag Matthias Kettl
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-01-22 13:15
  • 2020-01-22 13:15–30

    Information Flow Testing für ein Modell eines PGP Servers

    BA Antrittsvortrag Lukas Rieger
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-01-22 12:30
  • 2020-01-22 12:30–30

    Real-World Requirements for Software Analysis

    BA Antrittsvortrag Amena Abdalla
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab
• 2020-01-14 10:00
  • 2020-01-14 10:00–30

    Octagon Analysis in CPAchecker (with ELINA)

    BA Antrittsvortrag Martin Zehendner
    Raum: F003, Oettingenstr. 67 Organisator: SoSy-Lab