Mark Bouwman

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Concurrent Systems

Automated Analysis

Top Venues

Formal Aspects Comput.

Publications

Mark Bouwman, Djurre van der Wal, Bas Luttik, Mariëlle Stoelinga, Arend Rensink
A Case in Point: Verification and Testing of a EULYNX Interface. Formal Aspects Comput. 35 (1) (2023)
Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse
Decompositional Branching Bisimulation Minimisation of Monolithic Processes. FACS (2022)
Mark Bouwman, Rick Erkens
Term Rewriting Based On Set Automaton Matching. CoRR (2022)
Mark Bouwman, Bas Luttik, Djurre van der Wal
A Formalisation of SysML State Machines in mCRL2. FORTE (2021)
Mark Bouwman, Bas Luttik, Tim A. C. Willemse
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract). FORTE (2021)
Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse
A process algebra with global variables. EXPRESS/SOS (2020)
Mark Bouwman, Bas Luttik, Tim A. C. Willemse
Off-the-shelf automated analysis of liveness properties for just paths. Acta Informatica 57 (3-5) (2020)
Mark Bouwman, Bob Janssen, Bas Luttik
Formal Modelling and Verification of an Interlocking Using mCRL2. FMICS (2019)