| 2018 |
|---|
| Fabian Schneider. A Unified Algebraic Shape Domain, Master thesis presentation at RWTH Aachen University, 2018. |
| Lea Hiendl. Human-readable Scheduler Representation for Markov Decision Processes, Master thesis presentation at RWTH Aachen University, 2018. |
| Felix Bier. From Forest Automata to Hyperedge Replacement Grammars and Back, Master thesis presentation at RWTH Aachen University, 2018. |
| Tim Quatmann. Multi-Cost Bounded Reachability in MDP, Talk at RWTH Aachen University, 2018. |
| Lukas Netz. Analysis on Discretization of Gene Parameters in Evolutionary Algorithms, Master thesis presentation at RWTH Aachen University, 2018. |
| 2017 |
|---|
| Joost-Pieter Katoen. Der deutsche Meister 2018 steht schon fest!?, Talk at RWTH Aachen University, 2017. |
| Borzoo Bonakdarpour (McMaster University, Canada). Automated Fine-Tuning of Probabilistic Self-Stabilizing Algorithms, Talk at RWTH Aachen University, 2017. |
| Matthijs Spaan (TU Delft, The Netherlands). Exploiting LP decomposition techniques for planning in Markov Decision Processes, Talk at RWTH Aachen University, 2017. |
| Poornima Belavadi. Data Input and Processing in Model Based Risk Management for Medical Devices, Master thesis presentation at RWTH Aachen University, 2017. |
| Predrag Filipovikj (Mälardalen University, Sweden). Pattern-based Specification and Formal Analysis of Embedded Systems Requirements and Behavioral Models, Talk at RWTH Aachen University, 2017. |
| Anna Lukina (TU Wien, Austria). Resilient Control and Safety for Cyber-Physical Systems, Talk at RWTH Aachen University, 2017. |
| Sven Deserno. Model Checking Markov Chain Families: Parameterised Structure and Probabilistic Reachability, Master thesis presentation at RWTH Aachen University, 2017. |
| Feng Yijun (Peking University, China). 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. |
| Leonard Korp. SMT-based planning for autonomous robot fleets, Bachelor thesis presentation 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 (University of Twente, The Netherlands). Time- and Reward-Bounded Probabilistic Model Checking Techniques, Talk at RWTH Aachen University, 2017. |
 | Mickael Randour (Université Libre de Bruxelles, Belgium). 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 (University of Copenhagen, Denmark). 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 (Albert-Ludwigs-Universität Freiburg). Solving dependency quantified Boolean Formulas, Talk at RWTH Aachen University, 2017. |
| Nils Jansen (UT Austin, USA). 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). 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, The 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, The 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. |
