A thread-safe Term Library. - Jan Friso Groote; Maurice Laveaux; P. H. M. van Spaendonck (CoRR, 2021)

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 Thread-Safe Term Library - (with a New Fast Mutual Exclusion Protocol). - Jan Friso Groote; Maurice Laveaux; P. H. M. van Spaendonck (ISoLA (1), 2022)

Verification of the busy-forbidden protocol (using an extension of the cones and foci framework). - P. H. M. van Spaendonck (CoRR, 2022)

The Best of Both Worlds: Model-Driven Engineering Meets Model-Based Testing. - P. H. M. van Spaendonck; Tim A. C. Willemse (CONCUR, 2023)

Efficient Dynamic Model Based Testing - Using Greedy Test Case Selection. - P. H. M. van Spaendonck (FORTE, 2023)

Verification of the Busy-Forbidden Protocol - (using an Extension of the Cones and Foci Proof Framework). - P. H. M. van Spaendonck (FSEN, 2023)

Semi-Automatic Extraction of Formal Models from Object Oriented Code. - P. H. M. van Spaendonck (CoRR, 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)