DFG Grant for ATTESTOR Project
September 27, 2017
The [German Research Foundation (DFG)](http://www.dfg.de/en/) has approved to extend the funding period of the [ATTESTOR](https://github.com/moves-rwth/attestor/) project for another two-year period.
News
Paper accepted at POPL 2018
September 26, 2017
The paper entitled “A new proof rule for almost-sure termination” by Annabelle McIver, Carroll Morgan, Benjamin Kaminski, and Joost-Pieter Katoen has been accepted for POPL 2018\. The paper presents a
NII Shonan Seminar
September 14, 2017
The MOVES group is co-organising a seminar on [_Analysis and Verification of Pointer Programs_](http://shonan.nii.ac.jp/seminar/100/), which will be held from October 2 to 5, 2017, as an [NII Shonan M
Best Paper Award at SRDS 2017
September 7, 2017
The paper entitled “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” by Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour, Joost-Pieter Katoen and Arne Storjohann has been selected as
Paper accepted in ACM TOPLAS
September 7, 2017
The paper “Conditioning in Probabilistic Programming” by Federico Olmedo, Friedrich Gretz, Nils Jansen, Benjamin L. Kaminski, Joost-Pieter Katoen and Annabelle McIver has been accepted for the journal
Symposium ModelEd, TestEd, TrustEd
September 2, 2017
In honour of the 60th birthday of Ed Brinksma, we co-organize the symposium “ModelEd, TestEd, TrustEd” on 18 October 2017, in the Amphitheatre (Vrijhof), University of Twente, the Netherlands. The sy
Paper Accepted at CDC 2017
July 13, 2017
The paper entitled “Motion Planning under Partial Observability using Game-Based Abstraction” by Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Katoen, and Bern
Paper accepted at SafeComp 2017
June 26, 2017
The paper entitled “Model-Based Safety Analysis of Vehicle Guidance Systems” by Majdi Ghadhab, Sebastian Junges, Joost-Pieter Katoen, Matthias Kuntz and Matthias Volk, has been accepted at SafeComp 20
Paper accepted at SRDS 2017
June 26, 2017
The paper entitled “Automated Fine Tuning of Probabilistic Self-Stabilizing Algorithms” by Saba Aflaki, Matthias Volk, Borzoo Bonakdarpour[](http://www.cas.mcmaster.ca/~borzoo), Joost-Pieter Katoen an
12 vacant Ph.D. positions
June 14, 2017
We are looking for enthusiastic and highly qualified doctoral researchers. 12 positions are available within the Research Training Group (RTG) UnRAVeL. The key emphasis of an RTG is on the qualificati
Prof. Joost-Pieter Katoen receives the “FAMOS für Familie” price by RWTH University.
May 24, 2017
The MOVES group proudly announces that Professor Joost-Pieter Katoen has received the “FAMOS für Familie” price by RWTH Aachen University. Based on nominations by employees, it is yearly awarded to ma
Paper accepted in IEEE Trans. on Industrial Informatics
May 17, 2017
The paper “Fast Dynamic Fault Tree Analysis by Model Checking Techniques” by Matthias Volk, Sebastian Junges, and Joost-Pieter Katoen has been accepted to IEEE Transactions on Industrial Informatics.
5 million euros for RTG UnRAVeL
May 15, 2017
The German Research Council (DFG) has granted our proposal to launch a Research Training Group on “Uncertainty and Randomness in Algorithms, Verification and Logic” (UnRAVeL). It funds 15 Ph.D. positi
Two CAV’17 papers accepted
April 21, 2017
The papers “A Storm is Coming: A Modern Probabilistic Model Checker” by Christian Dehnert, Sebastian Junges, Joost-Pieter Katoen and Matthias Volk and “Markov Automata with Multiple Objectives” by Tim
Honorary Doctorate for Joost-Pieter Katoen
April 10, 2017
The MOVES group proudly announces that Professor Joost-Pieter Katoen has received a **Honorary Doctorate** from [Aalborg University](http://www.cs.aau.dk/), Denmark. He was awarded for his distinguish