Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. - Jan Friso Groote; Kevin H. J. Jilissen; Maurice Laveaux; P. H. M. van Spaendonck; Tim A. C. Willemse (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

A formal analysis of Dutch Generic Integral Tunnel Design models. - Kevin H. J. Jilissen; Peter Dieleman; Jan Friso Groote (SAC, 2023)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment. - Kevin H. J. Jilissen; Peter Dieleman; Jan Friso Groote (MARS@ETAPS, 2024)

Mining Diamonds in Labelled Transition Systems. - P. H. M. van Spaendonck; Kevin H. J. Jilissen (TASE, 2025)

Mining Diamonds in labeled Transition Systems. - P. H. M. van Spaendonck; Kevin H. J. Jilissen (CoRR, 2025)