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/

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 […]

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 […]

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. […]

The paper entitled “Quantitative Separation Logic – A Logic for Reasoning about Probabilistic Pointer Programs” by Kevin Batz, Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja and Thomas Noll has been accepted for presentation at the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019). The paper presents a logic for reasoning about probabilistic programs […]

The paper entitled “Synthesizing and Optimizing FDIR Recovery Strategies From Fault Trees” by Liana Mikaelyan, Sascha Müller, Andreas Gerndt and Thomas Noll has been accepted at the 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018) at Gold Coast, Australia. The key idea of the paper is to synthesize failure recovery strategies for […]

The paper entitled “Rule-based Conditioning of Probabilistic Data” by Maurice van Keulen, Benjamin Kaminski, Christoph Matheja and Joost-Pieter Katoen has received the best paper award (out of 37 submissions) at the 12th Int. Conf. on Scalable Uncertainty Management (SUM 2018) in Milano, Italy.

The Supervisory Board of Schloss Dagstuhl has apppointed Joost-Pieter Katoien as member of the Dagstuhl Scientific Advisory Board. His four-year term starts on January 1, 2019.

The paper entitled “Synthesis in pMDPs: A Tale of 1001 Parameters” by Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen and Ufuk Topcu has been accepted for ATVA 2018 in Los Angeles. The key idea of the paper is to use advanced techniques from convex optimisation in tight combination with model checking for synthesizing parameters […]

The paper “Parameter-Independent Strategies for pMDPs via POMDPs” by Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Ana Sokolova, and Joost-Pieter Katoen and the paper Model Checking For Safe Navigation Among Humans“ by Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, Ufuk Topcu, Ruohan Zhang and Mary Hayhoe have been accepted at QEST 2018 in Beijing. The first paper shows […]