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
News
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
Paper at UAI 2018
May 15, 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 h
Paper at SPIN 2018 Symposium
April 29, 2018
The paper entitled “Improving Generalization in Software IC3” by Tim Lange, Frederick Prinz, Martin R. Neuhäußer (Siemens), Thomas Noll and Joost-Pieter Katoen has been accepted for the 25th Internati
Paper in Acta Informatica
April 20, 2018
The paper entitled “On the Hardness of Analyzing Probabilistic Programs” by Benjamin Kaminski, Joost-Pieter Katoen, and Christoph Matheja has been accepted for publication in the journal Acta Informat
Paper in Journal of the ACM
April 13, 2018
The paper entitled “Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms” by Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja and Federico Olmedo has been accepted fo
Paper accepted at SEFM 2018
April 9, 2018
The paper “_Graph-Based Shape Analysis Beyond Context-Freeness_” by Hannah Arndt, Christina Jansen, Christoph Matheja and Thomas Noll has been accepted for publication at the [_16th International Conf
Two papers accepted at FM 2018
April 9, 2018
The papers “Verifying Auto-Generated C Code from Simulink” by Philipp Berger, Joost-Pieter Katoen, Erika Ábrahám, Md Tawhid Bin Waez and Thomas Rambow, as well as the paper “Formal Verification of Aut
Katoen receives ERC Advanced Grant
April 6, 2018
Joost-Pieter Katoen is awarded the prestigious ERC Advanced Grant from the European Research Council. It will allow to fund a project on formal reasoning techniques for probabilistic programs over a p
Four Papers at CAV 2018
April 1, 2018
**Four** papers with involvement of the MOVES group have been accepted at CAV 2018: * _“Sound Value Iteration”_ by Tim Quatmann and Joost-Pieter Katoen * _“Let this Graph be your Witness! An Attestor
Paper accepted at DSN 2018
March 4, 2018
The paper “Branching Bisimulation and Concurrent Object Verification” by Xiaoxiao Yang, Joost-Pieter Katoen, Huimin Lin, Gaoang Liu, and Hao Wu has been accepted for the 48th IEEE/IFIP International C
Paper accepted at Petri Nets 2018
March 1, 2018
The paper “One Nets Fits All — A unifying semantics of Dynamic Fault Trees using GSPNs” by Sebastian Junges, Joost-Pieter Katoen, Marielle Stoelinga and Matthias Volk has been accepted for Petri Nets
Paper accepted at TACAS 2018
December 22, 2017
The paper “Multi-Cost Bounded Reachability in MDPs” by Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen and Tim Quatmann has been accepted for TACAS 2018\. The paper presents an efficient algorit
Paper accepted at ESOP 2018
December 21, 2017
The paper “How long, O Bayesian network, will I sample thee?” by Kevin Batz, [Benjamin Kaminski](https://moves.rwth-aachen.de/people/kaminski/), [Joost-Pieter Katoen](https://moves.rwth-aachen.de/peop