The paper “Formal Verification of Rewriting Rules for Dynamic Fault Trees” by Yassmeen Elderhalli (Concordia Univ.), Matthias Volk, Osman Hasan (Concordia), Joost-Pieter Katoen and Sofiene Tahar (Concordia) has been accepted at the 17th International Conference on Software Engineering andFormal Methods (SEFM 2019). The paper models a set of existing rewrite rules for DFTs in HOL4 […]
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.
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.
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.
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 […]
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 […]
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 […]
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 “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 […]