Two papers at CAV 2021
April 19, 2021
The papers “Latticed _k_\-Induction with an Application to Probabilistic Programs” by Kevin Batz, Mingshuai Chen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Christoph Matheja and Philipp Schröer a
News
Paper at DSN 2021
April 6, 2021
The paper “Model Checking the Multi-Formalism Language FIGARO” by Shahid Khan, Matthias Volk, Joost-Pieter Katoen, Alexis Braibant and Marc Bouissou has been accepted at the 51st Annual IEEE/IFIP Int.
Paper at LICS 2021
April 6, 2021
The paper entitled “Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata” by [Mikołaj Bojańczyk](https://simons.berkeley.edu/people/mikolaj-bojanczyk), [Bartek Klin](http://www.mimuw.
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
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