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
News
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
Kickoff Meeting RTG UnRAVeL
November 9, 2017
On November 10 the official kick-off meeting of the Research Training Group UnRAVeL (Uncertainty and Randomness in Algorithms, Verification and Logic) will take place in room 9222, E3 Building. The pr
Christina Jansen defended her PhD dissertation
November 7, 2017
[](https://moves.rwth-aachen.de/wp-content/uploads/news/IMG%5F6353.jpg) Thursday October 19, Christina Jansen successfull
Young Researcher Award for Sebastian Junges
November 7, 2017
[](https://moves.rwth-aachen.de/wp-content/uploads/news/2017-11-07-17.21.26.jpeg)Sebastian Junges today receiv