Upcoming talks
| Date | Room | Title | Speaker |
|---|---|---|---|
| 31.08., 13:00 | seminar room of i2 (E1, room 4201b) | Bachelor thesis presentation: SMT-based planning for autonomous robot fleets |
Leonard Korp |
| 29.09., 11:00 | seminar room of i2 (E1, room 4201b) | Master thesis presentation: Model Checking Markov Chain Families: Parameterised Structure and Probabilistic Reachability |
Sven Deserno |
Past Talks
| 2017 | |
|---|---|
| Feng Yijun. CTMC model checking against multi-clock DTA specifications using PDE method, Talk at RWTH Aachen University, 2017. | |
| Sebastian Kruse. Model Checking a Wireless Token-Passing Protocol, Master thesis presentation at RWTH Aachen University, 2017. | |
| Benjamin Lucien Kaminski. A Weakest Pre-Expectation Semantics for Mixed-Sign Expectations, Talk at RWTH Aachen University, 2017. | |
| Hao Wu. Industrial Applications of Probabilistic Model Checking

, Talk at RWTH Aachen University, 2017. | |
| Daniel Cloerkes. A Cyclic Proof System for Graph Grammar Inclusion, Bachelor thesis presentation at RWTH Aachen University, 2017. | |
| Tom Janson. Integrating Machine Learning and Model Checking for Model Repair, Talk at RWTH Aachen University, 2017. | |
| Tim Cramer. Analyzing Memory Accesses for Performance and Correctness of Parallel Programs, Talk at RWTH Aachen University, 2017. | |
| Arnd Hartmanns. Time- and Reward-Bounded Probabilistic Model Checking Techniques, Talk at RWTH Aachen University, 2017. | |
 | Mickael Randour. Rich behavioral models: illustration on journey planning and focus on multi- constraint percentile queries in Markov decision processes, Talk at RWTH Aachen University, 2017. |
| Dustin Jungen. Repairs in Dynamic Fault Trees, Bachelor thesis presentation at RWTH Aachen University, 2017. | |
| Kevin Batz. Proof rules for expected runtimes of probabilistic programs, Bachelor thesis presentation at RWTH Aachen University, 2017. | |
| Tobias Heindel. Computing continuous-time Markov chains as transformers of unbounded observables, Talk at RWTH Aachen University, 2017. | |
| Ronja Nocon. Pattern based analysis of monotonicity on Dynamic Fault Trees, Bachelor thesis presentation at RWTH Aachen University, 2017. | |
| Michael Deutschen. Petri net semantics for Dynamic Fault Trees, Master thesis presentation at RWTH Aachen University, 2017. | |
| Ralf Wimmer. Solving dependency quantified Boolean Formulas, Talk at RWTH Aachen University, 2017. | |
| Nils Jansen. Probabilistic Verification for Cognitive Models, Talk at RWTH Aachen University, 2017. | |
| 2016 | |
| Hao Wu. Performance Evaluation on Modern Concurrent Data Structures, Talk at RWTH Aachen University, 2016. | |
| Philipp Berger. Game-based Abstraction of Parametric Markov Models, Master thesis presentation at RWTH Aachen University, 2016. | |
| Isabelle Tülleners. Graph-based Heap Abstraction for Balanced Data Structures, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Christian Dehnert. Parameter Synthesis for Markov Models: Faster Than Ever, Talk at RWTH Aachen University, 2016. | |
| Christian Dehnert. Bounded Model Checking for Probabilistic Programs, Talk at RWTH Aachen University, 2016. | |
| Tim Quatmann. Multi-Objective Model Checking of Markov Automata, Master thesis presentation at RWTH Aachen University, 2016. | |
| Tom Janson. Accelerated Model Repair using Heuristic Analysis of Subsystems, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Tim Lange. Introduction to IC3 and IC3CFA, Talk at RWTH Aachen University, 2016. |
| Thomas Mertens. Efficient reuse of learnt information for control-flow oriented IC3 algorithms, Master thesis presentation at RWTH Aachen University, 2016. | |
| Frederick Prinz. Generalisation methods for control-flow oriented IC3 algorithms, Master thesis presentation at RWTH Aachen University, 2016. | |
| Matthias Volk. Advancing Dynamic Fault Tree Analysis, Talk at RWTH Aachen University, 2016. | |
| Florian Frohn. Automated Inference of Upper Complexity Bounds for Java Programs, Talk at RWTH Aachen University, 2016. | |
| Louis Wachtmeister. Analysing Cryptographically-Masked Information Flows Using Slicing, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Matthias Naaf. Lower Runtime Bounds for Integer Programs, Talk at RWTH Aachen University, 2016. | |
| Alexander Hoppen. Non-Termination Analysis of LLVM IR Using Lassos, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Joost-Pieter Katoen. The Satisfiability of Some Simple Probabilistic Logics, Talk at RWTH Aachen University, 2016. |
| Federico Olmedo. Reasoning about Recursive Probabilistic Programs, Talk at RWTH Aachen University, 2016. |
| Sebastian Junges. Uncovering Dynamic Fault Trees, Talk at RWTH Aachen University, 2016. | |
| Florian Frohn. Lower Runtime Bounds for Integer Programs, Talk at RWTH Aachen University, 2016. | |
| Matthias Volk. Advancing Dynamic Fault Tree Analysis, Talk at RWTH Aachen University, 2016. | |
| Felix Frei. Acyclicity Analysis for Java, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Jens Katelaan (TU Wien, Austria). Logical Reasoning about Dynamic Memory: A Survey, Talk at RWTH Aachen University, 2016. | |
| Lijun Zhang (ISCAS, China). A Simple Algorithm for Solving Qualitative Probabilistic Parity Games, Talk at RWTH Aachen University, 2016. | |
| Johannes Hölzl (TU München, Germany). Markov chains and Markov decision processes in Isabelle/HOL, Talk at RWTH Aachen University, 2016. | |
| Hanna Franzen. Graph-Based Symbolic Execution for Pointer Programs with Data, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Simon Froitzheim. Efficient Conversion of Geometric State Set Representations for Hybrid Systems, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Fortunat Rajaona (University of Stellenbosch, South Africa). Program refinement and epistemic logic for reasoning about knowledge and privacy in multi-agents systems, Talk at RWTH Aachen University, 2016. | |
| Eric Heder. Design and implementation of a BDD-based planner for the assembly sequence planner in the field of the human-robot cooperation, Master thesis presentation at RWTH Aachen University, 2016. | |
| Dennis Guck (University of Twente, Netherlands). Exploring Model Conformance Relations for the next airborne collision avoidance system (ACAS X), Talk at RWTH Aachen University, 2016. | |
| Enno Ruijters (University of Twente, Netherlands). Fault maintenance trees and their application: Reliability-centered maintenance via stochastic model checking, Talk at RWTH Aachen University, 2016. | |
| Simon Feiden. Extending Probability Generating Function Semantics to Negative Variable Valuations, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Hao Wu. Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow, Talk at RWTH Aachen University, 2016. | |
| Hannah Arndt. Heap Abstraction Beyond Context-Freeness, Bachelor thesis presentation at RWTH Aachen Univeristy, 2016. | |
| Thies Strothmann. Termination Analysis for Concurrent Java Programs, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Raoul Schaffranek. Modelling a purely functional subset of ECMAScript 2015, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Benjamin Lucien Kaminski. Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs, Talk at RWTH Aachen University, 2016. | |
| Rebecca Haehn. Learning Control Strategies for Hybrid Vehicles using Neural Networks, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| David Korzeniewski. McMillan Prefixes for Stochastic Petri Nets, Master thesis presentation at RWTH Aachen University, 2016. | |
| Igor Bongartz. Over-approximative Reduction of Polytopes in the Context of Hybrid Systems Reachability Analysis, Bachelor thesis presentation at RWTH Aachen University, 2016. | |
| Christoph Matheja. Compositional Refinement of Separation Logic with Recursive Definitions, Talk at Winter colloquium Kleinwalsertal, 2016. | |
| 2015 | |
| Christoph Matheja. Tree-Like Grammars and Separation Logic, Talk at RWTH Aachen University, 2015. | |
| 2014 | |
| Thomas Mertens. Optimisation of Model Checking by Large Block Encoding, Bachelor thesis talk at RWTH Aachen University, 2014. |