December 12, 2019
We are excited to announce that Christian Hensel has won the EAPLS (European Association of Programming Language and Systems) PhD Dissertation Award 2018\. His dissertation on “The Probabilistic Model
October 25, 2019
[Anzen Engineering](https://www.anzenengineering.com) has been granted an ESA-BIC Incubator Grant to further develop the [COMPASS 3.0 tool](http://www.compass-toolset.org/) that has been developed by
October 24, 2019
The paper entitled “_IC3 Software Model Checking_” by Tim Lange, Martin R. Neuhäußer (Siemens AG), Thomas Noll, and Joost-Pieter Katoen has been accepted for the [International Journal on Software Too
October 21, 2019
The DFG has informed us that the project proposal “Parameter Synthesis for Reliable, Performant and Efficient Wireless Network Protocols” has been granted. The project aims at developing and using par
October 9, 2019
The paper entitled “Aiming Low Is Harder: Induction for Lower Bounds in Probabilistic Program Verification” by Marcel Hark, Jürgen Giesl, Benjamin Kaminski and Joost-Pieter Katoen has been accepted fo
October 8, 2019
The paper entitled “[The 10,000 Facets of MDP Model Checking](https://link.springer.com/content/pdf/10.1007%2F978-3-319-91908-9%5F21.pdf)” by Christel Baier, Holger Hermanns and Joost-Pieter Katoen ju
September 30, 2019
The paper entitled “Separation and Renaming in Nominal Sets” by Joshua Moerman and Jurriaan Rot (UCL, London and Radboud University, the Netherlands) has been accepted for the 28th edition in the seri
September 29, 2019
The paper “Model Checking Revamped: On the Automated Synthesis of Markov Chains” by [Milan Ceska](https://dblp.uni-trier.de/pers/hd/c/Ceska:Milan), [Christian Dehnert](https://dblp.uni-trier.de/pers/h
September 29, 2019
The paper entitled “Deciding probabilistic simulation between probabilistic pushdown automata and finite-state systems” by [Mingzhang Huang](https://dblp.uni-trier.de/pers/hd/h/Huang:Mingzhang), [Hong
September 16, 2019
The paper “Synergizing Reliability Modeling Languages: BDMPs Without Repairs and DFTs” by Shahid Khan, Joost-Pieter Katoen, Matthias Volk, and Marc Bouissou (EDF) has been accepted at the 24th IEEE Pa
August 30, 2019
The paper “A DFT Modeling Approach for Infrastructure Reliability Analysis of Railway Station Areas” by Matthias Volk, Norman Weik, Joost-Pieter Katoen and Nils Nießen has been awarded the best paper
June 26, 2019
The paper “Formal Verification of Rewriting Rules for Dynamic Fault Trees” by Yassmeen Elderhalli (Concordia Univ.), Matthias Volk, Osman Hasan (Concordia), Joost-Pieter Katoen and Sofiene Tahar (Conc
June 17, 2019
The paper “Are Parametric Markov Chains Monotonic?” by Jip Spel, Sebastian Junges and Joost-Pieter Katoen has been accepted at ATVA 2019\. The paper presents a simple algorithm to check whether reacha
June 14, 2019
The paper “On the Complexity of Reachability in Parametric Markov Decision Processes” by Tobias Winkler, Sebastian Junges, Guillermo A. Pérez and Joost-Pieter Katoen has been accepted at CONCUR 2019\.
June 12, 2019
The paper “Counterexample-Driven Synthesis for Probabilistic Program Sketches” by Milan Ceska, Christian Dehnert, Sebastian Junges and Joost-Pieter Katoen has been accepted for the FM 2019 World Congr