Mark Bouwman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
2
Active years
2019–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMICS | 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 |
| 2021 | FORTE | A Formalisation of SysML State Machines in mCRL2. | Mark Bouwman, Bas Luttik, Djurre van der Wal |
| 2021 | FORTE | Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). | Mark Bouwman, Bas Luttik, Tim A. C. Willemse |
| 2019 | FMICS | Formal Modelling and Verification of an Interlocking Using mCRL2. | Mark Bouwman, Bob Janssen, Bas Luttik |