Moves News

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

Paper at POPL 2019

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

Paper at FTSCS 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 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 […]

Best paper award at SUM 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 submissions) at the 12th Int. Conf. on Scalable Uncertainty Management (SUM 2018) in Milano, Italy.

Katoen member Dagstuhl Scientific Advisory Board

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

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

Two papers at QEST 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 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 […]

Paper at SUM 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. Conf. on Scalable Uncertainty Management. The paper presents  how to integrate evidences into a probabilistic database.

Positions for PhDs and postdocs

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 Grant “Formal Reasoning about Probabilistic Programs (FRAPPANT)”. What is this project all about? Probabilistic programs describe recipes on how to infer statistical conclusions about data from a complex […]

Paper at UAI 2018

The paper entitled “Finite-State Controllers of POMDPs using Parameter Synthesis” by Sebastian Junges, Nils Jansen, Ralf Wimmer, Tim Quatmann, Leonore Winterer, Bernd Becker, and Joost-Pieter Katoen has been accepted for the Uncertainty in AI 2018 Conference in Monterrey, USA. The key idea of the paper is that that computing randomised FSCs on POMDPs is equivalent […]