1. Detection of feature interactions using feature-aware verification
2. 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.
3. Secure information flow by self-composition
4. SPL
LIFT
5. Milan Ceska , Christian Dehnert , Nils Jansen , Sebastian Junges , and Joost-Pieter Katoen . 2019 . Model Repair Revamped: On the Automated Synthesis of Markov Chains. In Essays Dedicated to Scott A . Smolka on the Occasion of His 65th Birthday (LNCS , Vol. 11500). Springer, 107-- 125 . https://doi.org/10.1007/978-3-030-31514-6_7 10.1007/978-3-030-31514-6_7 Milan Ceska, Christian Dehnert, Nils Jansen, Sebastian Junges, and Joost-Pieter Katoen. 2019. Model Repair Revamped: On the Automated Synthesis of Markov Chains. In Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday (LNCS, Vol. 11500). Springer, 107--125. https://doi.org/10.1007/978-3-030-31514-6_7