Paper at ATVA 2019
June 17, 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 reacha
News
Paper at CONCUR 2019
June 14, 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\.
Paper in FM 2019
June 12, 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 Congr
Two papers in FMICS 2019
June 5, 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 A
Paper in RESS
February 1, 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 t
Four papers at TACAS 2019
January 27, 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), Joo
MFCS 2019 in Aachen
November 7, 2018
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
October 25, 2018
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 h
Paper in Journal of Aerospace Information Systems
October 25, 2018
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 ha
Paper at IWIL 2018
October 22, 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
Paper at POPL 2019
October 9, 2018
The paper entitled “Quantitative Separation Logic – A Logic for Reasoning about Probabilistic Pointer Programs” by Kevin Batz, [Benjamin Kaminski](https://moves.rwth-aachen.de/people/kaminski/), [Joos
Paper at FTSCS 2018
October 6, 2018
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
Best paper award at SUM 2018
October 5, 2018
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 su
Katoen member Dagstuhl Scientific Advisory Board
July 12, 2018
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.
Paper at ATVA 2018
June 28, 2018
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.