Paper in FAOC Journal
March 9, 2021
The paper entitled “Counterexample-Guided Inductive Synthesis for Probabilistic Systems” by Milan Ceska, Christian Hensel, Sebastian Junges and Joost-Pieter Katoen has been accepted for the Formal Asp
News
Storm runner-up in RWTH Innovation Award 2020
March 5, 2021
The Storm model checker received the second place at the RWTH Innovation Award 2020\. An official announcement can be found [here](https://idw-online.de/de/news764403) whereas a youtube video of the t
Paper in JCSS Journal
March 2, 2021
The paper entitled “The Complexity of Reachability in Parametric Markov Decision Processes” by Sebastian Junges, Joost-Pieter Katoen, Guillermo Perez, and Tobias Winkler is accepted for publication in
Paper at NFM2021
February 25, 2021
The paper “Scalable Reliability Analysis by Lazy Verification” by Shahid Khan, Joost-Pieter Katoen, Matthias Volk and Marc Bouissou has been accepted for the 13th NASA Formal Methods (NFM) Symposium.
Paper in FMSD journal
February 14, 2021
The paper “Markov Automata with Multiple Objectives” by Tim Quatmann, Sebastian Junges and Joost-Pieter Katoen has been accepted for publication in Formal Methods in System Design, a special issue for
Katoen member KHMW
February 10, 2021
Joost-Pieter Katoen has been elected as new member of the [Royal Holland Society of Sciences and Humanities](https://en.wikipedia.org/wiki/Koninklijke%5FHollandsche%5FMaatschappij%5Fder%5FWetenschappe
Katoen named ACM Fellow
January 14, 2021
Prof. Joost-Pieter Katoen has been named [ACM Fellow 2020 ](https://www.acm.org/media-center/2021/january/fellows-2020)for his contributions to model checking of software and probabilistic systems.
5 Gold medals at RERS 2020
January 13, 2021
We are happy to announce that our team ([Joshua Moerman](https://moves.rwth-aachen.de/people/moerman/) and [Jana Berger](https://moves.rwth-aachen.de/people/berger/)) has won [5 gold medals](http://ww
Three papers at TACAS 2021
January 4, 2021
We are delighted to inform you that three MOVES papers have been accepted at TACAS 2021: “Inductive Synthesis for Probabilistic Programs Reaches New Horizons” by Roman Andriushchenko, Milan Ceska, S
Paper at ESOP 2021
December 20, 2020
The paper entitled “Automated Termination Analysis of Polynomial Probabilistic Programs ” by Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen and Laura Kovács has been accepted for the European
Distinguished POPL 2021 Paper Award
December 18, 2020
We are happy to announce that the paper A _Pre-Expectation Calculus for Probabilistic Sensitivity_ by Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Kaminski, Joost-Pieter Katoen and Christoph
Job Opportunities as Student Assistants
December 18, 2020
We are seeking two talented student assistants to support the digitalisation of online bridging courses in Theoretical Computer Science. More concretely, the following tasks need to be performed: * t
LOPSTR 2020 Best Paper Award
December 18, 2020
We are happy to announce that the paper “Generating Functions for Probabilistic Programs” by Lutz Klinkenberg, Kevin Batz, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Joshua Moerman and Tobias Wink
Thesis Awards
December 4, 2020
During the virtual _[Tag der Informatik](https://tdi2020.expo-ip.com/stand/1115)_, two students of our group have been awarded for their final theses. Florian Keßler received the _CS Department Award_
Book Foundations of Probabilistic Programming Published
November 29, 2020
The book “Foundations of Probabilistic Programming”, edited by Gilles Barthe, Joost-Pieter Katoen and Alexandra Silva has been published under gold open access. It contains survey chapters of various