Joost-Pieter Katoen

NII Shonan Seminar
September 14, 2017
The MOVES group is co-organising a seminar on Analysis and Verification of Pointer Programs, which will be held from October 2 to 5, 2017, as an NII Shonan Meeting at …
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 ACM Transactions on …
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 Prof. C.V. Ramamoorthy Best …