1. Erika Ábrahám , Bernd Becker , Christian Dehnert , Nils Jansen , Joost-Pieter Katoen , and Ralf Wimmer . 2014 . Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey . In SFM (LNCS , Vol. 8483). Springer, 65– 121 . Erika Ábrahám, Bernd Becker, Christian Dehnert, Nils Jansen, Joost-Pieter Katoen, and Ralf Wimmer. 2014. Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey. In SFM (LNCS, Vol. 8483). Springer, 65–121.
2. Alejandro Aguirre , Gilles Barthe , Justin Hsu , Benjamin Lucien Kaminski , Joost-Pieter Katoen , and Christoph Matheja . 2021 . A Pre-Expectation Calculus for Probabilistic Sensitivity . Proc. ACM Program. Lang., 5, POPL (2021), 1–28. Alejandro Aguirre, Gilles Barthe, Justin Hsu, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Christoph Matheja. 2021. A Pre-Expectation Calculus for Probabilistic Sensitivity. Proc. ACM Program. Lang., 5, POPL (2021), 1–28.
3. Fast randomized consensus using shared memory
4. Proofs of randomized algorithms in Coq
5. Christel Baier and Joost-Pieter Katoen . 2008. Principles of Model Checking . MIT press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of Model Checking. MIT press.