Formal Modelling and Verification of an Interlocking Using mCRL2. - Mark Bouwman; Bob Janssen; Bas Luttik (FMICS, 2019)

Off-the-shelf automated analysis of liveness properties for just paths. - Mark Bouwman; Bas Luttik; Tim A. C. Willemse (Acta Informatica, 2020)

A process algebra with global variables. - Mark Bouwman; Bas Luttik; Wouter Schols; Tim A. C. Willemse (EXPRESS/SOS, 2020)

A Formalisation of SysML State Machines in mCRL2. - Mark Bouwman; Bas Luttik; Djurre van der Wal (FORTE, 2021)

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). - Mark Bouwman; Bas Luttik; Tim A. C. Willemse (FORTE, 2021)

Decompositional Branching Bisimulation Minimisation of Monolithic Processes. - Mark Bouwman; Maurice Laveaux; Bas Luttik; Tim A. C. Willemse (FACS, 2022)

Term Rewriting Based On Set Automaton Matching. - Mark Bouwman; Rick Erkens (CoRR, 2022)

A Case in Point: Verification and Testing of a EULYNX Interface. - Mark Bouwman; Djurre van der Wal; Bas Luttik; Mariëlle Stoelinga; Arend Rensink (Formal Aspects Comput., 2023)

A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier. - Adrian Beers; Jore Booy; Jan Friso Groote; Johan van den Bogaard; Mark Bouwman (FMICS, 2025)