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
News
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.
Two papers at QEST 2018
June 27, 2018
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
Paper at SUM 2018
June 14, 2018
The paper entitled “Rule-based Conditioning of Probabilistic Data Integration” by Maurice van Keulen, Benjamin Kaminski, Joost-Pieter Katoen, and Christoph Matheja has been accepted for the 12th Int.
Positions for PhDs and postdocs
May 18, 2018
We solicit applications for PhD studentships and postdoctoral research positions in the area of verifying probabilistic programs. The positions are funded by the recently acquired ERC Advanced Gran