MOVES seminar

Upcoming talks

Date Room Title Speaker
06.11., 13:00 seminar room of i2 (E1, room 4201b) Der deutsche Meister 2018 steht schon fest!? Joost-Pieter Katoen
08.11., 11:00 seminar room of i2 (E1, room 4201b) Automated Fine-Tuning of Probabilistic Self-Stabilizing Algorithms Borzoo Bonakdarpour (McMaster University, CA)

Past Talks

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.
DownloadMickael 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.
DownloadTim 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.
DownloadJoost-Pieter Katoen. The Satisfiability of Some Simple Probabilistic Logics, Talk at RWTH Aachen University, 2016.
DownloadFederico 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
DownloadThomas Mertens. Optimisation of Model Checking by Large Block Encoding, Bachelor thesis talk at RWTH Aachen University, 2014.