Moves News

Paper at ATVA 2019

The paper “Are Parametric Markov Chains Monotonic?” by Jip Spel, Sebastian Junges and Joost-Pieter Katoen has been accepted at ATVA 2019. The paper presents a simple algorithm to check whether reachability probabilities in parametric Markov chains are monotonic in (some of) the parameters.

Paper at CONCUR 2019

The paper “On the Complexity of Reachability in Parametric Markov Decision Processes” by Tobias Winkler, Sebastian Junges, Guillermo A. Pérez and Joost-Pieter Katoen has been accepted at CONCUR 2019. The paper addresses the complexity of various synthesis problems for parametric Markov decision processes.

Paper in FM 2019

The paper “Counterexample-Driven Synthesis for Probabilistic Program Sketches” by Milan Ceska, Christian Dehnert, Sebastian Junges and Joost-Pieter Katoen has been accepted for the FM 2019 World Congress. The paper presents a CEGIS-inspired technique to automatically synthesize probabilistic programs from sketches, i.e., programs with holes.

Two papers in FMICS 2019

The paper “A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas” by Matthias Volk, Norman Weik, Joost-Pieter Katoen and Nils Nießen as well as the paper “Multiple Analyses, Requirements Once” by Philipp Berger, Johanna Nellen, Joost-Pieter Katoen, Erika Abraham, Md Tawhid Bin Waez and Thomas Rambow have been accepted at FMICS 2019 […]

Paper in RESS

The paper “Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees” by Sebastian Junges, Joost-Pieter Katoen, Majdi Ghadhab (BMW), Matthias Volk, Matthias Kuntz (BMW) has been accepted to the journal Reliability Engineering and System Safety (impact factor 4,1). The paper shows how to model a variety of safety concepts and E/E architectures for drive […]

Four papers at TACAS 2019

We are excited to announce that our group has four papers at TACAS 2019 in Prague. This includes (a) a tool paper on COMPASS 3.0 by Marco Bozzano (FBK), Harold Bruintjes, Alessandro Cimatti (FBK), Joost-Pieter Katoen, Thomas Noll, and Stefano Tonetta (FBK), (b) the paper “Shepherding Hordes of Markov Chains” by Milan Ceska (Brno), Nils […]

MFCS 2019 in Aachen

Together with Peter Rossmanith’s group, we host MFCS 2019 in Aachen, August 26-29, 2019. More information can be found here: https://tcs.rwth-aachen.de/mfcs2019/

Paper in Information and Computation

The paper “Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination” by Christel Baier, Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein and Lisa Kruse has been accepted for the journal Information and Computation. The paper presents (a) an algorithm to compute reachability probabilities and expected accumulated rewards of PCTL formulas over parametric Markov chains […]

Paper in Journal of Aerospace Information Systems

The paper entitled “Synthesizing FDIR Recovery Strategies From Non-Deterministic Dynamic Fault Trees” by Sascha Müller, Andreas Gerndt (both from the German Aerospace Center (DLR)), and Thomas Noll has been accepted for publication in the Journal of Aerospace Information Systems. It shows how appropriate recovery strategies for dealing with failures in aerospace control systems can be […]

Paper at IWIL 2018

The paper entitled “Harrsh: A Tool for Unified Reasoning about Symbolic-Heap Separation Logic” by Jens Katelaan, Christoph Matheja, Thomas Noll and Florian Zuleger has been accepted for presentation at the 13th International Workshop on the Implementation of Logics (IWIL 2018). The paper presents a tool for unified reasoning about the symbolic-heap fragment of separation logic. […]