Vacancies in Quantum Computing
August 31, 2023
Our group has to offer two PhD positions in Interdisciplinary Doctoral Program in Quantum Systems Integration at RWTH Aachen University. The first is about [formal methods for supporting the developme
News
Paper in JAIR
July 30, 2023
The paper entitled “Automatically Finding the Right Probabilities in Bayesian Networks” by Bahare Salmani and Joost-Pieter Katoen has been accepted for publication in the Journal of Artificial Intelli
Paper at OOPSLA 2023
July 3, 2023
The paper entitled “A Deductive Verification Infrastructure for Probabilistic Programs” by Philipp Schröer, Kevin Batz, Benjamin Kaminski (Saarland University and UCL), Joost-Pieter Katoen and Christo
Paper in FMSD Journal
June 19, 2023
The paper “Parameter Synthesis for Markov Models: Covering the Parameter Space” by _Sebastian Junges (Nijmegen), Erika Abraham, Christian_ _Hensel (Amazon), Nils Jansen (Nijmegen), Joost-Pieter Katoen
Jean-Claude Laprie Award
May 25, 2023
The Jean-Claude Laprie Award 2023 in Dependable Computing has been awarded to the paper “Model-checking algorithms for continuous-time Markov chains”, authored by Christel Baier, Boudewijn Haverkort,
Paper at ESREL 2023
May 3, 2023
The paper entitled “SAFEST: the static and dynamic fault tree analysis tool” by Matthias Volk (Twente), Muzammil Ibne Irshad (DGB), Joost-Pieter Katoen, Falak Sher (DGB), Marielle Stoelinga (Twente) a
Paper at CAV 2023
April 26, 2023
The paper entitled “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andriushchenko (Brno University of Technology), Alexander Bork, Milan Ceska (Brno), Sebastian Junges (Radboud Uni
Paper at IJCAI 2023
April 19, 2023
The paper entitled “Finding an ϵ-Close Minimal Variation of Parameters in Bayesian Networks” by Bahare Salmani and Joost-Pieter Katoen has been accepted for presentation at IJCAI 2023 (the 32nd Int. J
Paper at LICS 2023
April 5, 2023
The paper entitled “On Certificates, Expected Runtimes, and Termination in Probabilistic Pushdown Automata” by Tobias Winkler and Joost-Pieter Katoen has been accepted for presentation at the IEEE/A
Paper in IEEE TDSC
March 21, 2023
The paper entitled “A Compositional Semantics of Boolean-logic Driven Markov Processes” by Shahid Khan, Joost-Pieter Katoen andMarc Bouissou (EDF) has been accepted as regular paper for IEEE Transacti
Proceedings 25th FM Symposium
March 1, 2023
The proceedings of the 25th Symposium on Formal Methods (FM 2023), edited by Marsha Chechik (Toronto), Joost-Pieter Katoen and Martin Leucker (Lübeck), and published as LNCS volume 14000, are availabl
DFG Project Proposal Granted
February 28, 2023
The project proposal “Probabilistic Model Checking under Partial Observability with Multiple Objectives” (POMPOM) has been granted for funding by the German Research Council. The project aims to devel
Paper in FMSD Journal
February 8, 2023
The paper entitled “Stochastic Games with Lexicographic Objectives” by Krishnendu Chatterjee (IST Austria), Joost-Pieter Katoen, Stephanie Moor (TU Munich), Maximilian Weininger (Tu Munich), and Tobia
Three papers at TACAS 2023
December 27, 2022
Three papers of the MOVES group have been accepted for TACAS 2023! “A Practitioner’s Guide to MDP Model Checking Algorithms” by Arnd Hartmanns, Sebastian Junges, Tim Quatmann and Maximilian Weininger
Journal Paper at STTT ExPLAIn
November 25, 2022
The paper entitled “First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)” by Christopher Brix, Mark Müller (ETH Zurich), Stanley Bak (Stony Brook University),