Paper accepted at QEST 2016
May 15, 2016
The paper “Inferring Covariances for Probabilistic Programs” by Benjamin Kaminski, Joost-Pieter Katoen and Christoph Matheja has been accepted at the Int. Conf. on Quantitative Evaluation of SysTems (
News
Two papers accepted at SAFECOMP 2016
May 5, 2016
Two new papers have been accepted at SAFECOMP 2016 in Trondheim, Norway. The paper “Advancing Dynamic Fault Tree Analysis” by Matthias Volk, Sebastian Junges, and Joost-Pieter Katoen presents a mixtu
Paper accepted in ACM TECS; best paper at IDEA 2016
April 11, 2016
The paper “Probabilistic Model Checking for Uncertain Scenario-Aware Data Flow” by Joost-Pieter Katoen and Hao Wu has been accepted for publication in the journal ACM Transactions on Embedded Computin
Best Theory Paper at ETAPS 2016
April 7, 2016
The paper “Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs” by Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja, and Federico Olmedo, has received the EATCS Be
Two papers accepted at LICS 2016
April 5, 2016
The paper “Reasoning about Recursive Probabilistic Programs” by Federico Olmedo, Benjamin Lucien Kaminski, Joost-Pieter Katoen and Christoph Matheja, as well as the paper “On the Satisfiability of Som
Paper accepted at DSN 2016
February 29, 2016
The paper “Uncovering Dynamic Fault Trees” by Sebastian Junges, Dennis Guck, Joost-Pieter Katoen and Marielle Stoelinga has been accepted for publication at DSN 2016\. The paper presents a thorough di
Paper accepted by Theoretical Computer Science
January 12, 2016
The paper “Confluence Reduction for Markov Automata” by Mark Timmer, Joost-Pieter Katoen, Jaco van de Pol and Marielle Stoelinga has been accepted for the journal Theoretical Computer Science. The pap
Paper accepted at ESOP 2016
December 18, 2015
The paper “Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs” by Benjamin Kaminski, Joost-Pieter Katoen, Christoph Matheja and Federico Olmedo has been accepted for publi
Paper accepted at TACAS 2016
December 18, 2015
The paper “Safety-constrained Reinforcement Learning for MDPs” by Sebastian Junges, Nils Jansen, Christian Dehnert, Ufuk Topcu and Joost-Pieter Katoen has been accepted at TACAS 2016 (acceptance rate
Mysuru 2016 Workshop on Quantitative Verification
December 10, 2015
We co-organise the Mysuru 2016 Workshop “Trends and Challenges in Quantitative Verification”, together with Igor Walukiewicz, Srivathsan, and Akshay, early February. Further details can be found [here
Paper in Top-100 most cited papers in Software Engineering
December 8, 2015
The 2003 IEEE TSE paper “Model-Checking Algorithms for Continuous-Time Markov Chains” by Christel Baier, Boudewijn Haverkort, Holger Hermanns, and Joost-Pieter Katoen is ranked 74 in the top-100 of mo
Paper accepted by Formal Methods in System Design
November 8, 2015
The paper entitled “Efficient GPU Algorithms for Parallel Decomposition of Graphs into Strongly Connected and Maximal End Components” by Anton Wijs, Joost-Pieter Katoen, and Dragan Boshnacki, has been
Talk on Conditioning accepted at POPL PPS workshop
November 8, 2015
The talk on “On the Semantic Intricacies of Conditioning” has been accepted for presentation at the Probabilistic Programming Semantics (PPS) workshop at POPL’16.
Friedrich Gretz successfully defended his Ph.D. dissertation
September 26, 2015
[](http://moves.rwth-aachen.de/wp-content/uploads/DSC%5F0604.jpg) Friday September 26, Friedrich Gretz successfully def
PhD thesis on probabilistic counterexamples
September 22, 2015
The PhD thesis of Nils Jansen titled “Counterexamples in Probabilistic Verification” has recently been published online at the [library webpage](http://publications.rwth-aachen.de/record/479827/) and