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
News
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
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.
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.