Mark Bouwman

According to our database, Mark Bouwman authored at least 8 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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., March, 2023

2022

Term Rewriting Based On Set Automaton Matching.

Mark Bouwman, Rick Erkens

CoRR, 2022

Decompositional Branching Bisimulation Minimisation of Monolithic Processes.

Mark Bouwman, Maurice Laveaux, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

2021

Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths - (Extended Abstract).

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

A Formalisation of SysML State Machines in mCRL2.

Mark Bouwman, Bas Luttik, Djurre van der Wal

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

2020

A process algebra with global variables.

Mark Bouwman, Bas Luttik, Wouter Schols, Tim A. C. Willemse

Proceedings of the Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, 2020

Off-the-shelf automated analysis of liveness properties for just paths.

Mark Bouwman, Bas Luttik, Tim A. C. Willemse

Acta Informatica, 2020

2019

Formal Modelling and Verification of an Interlocking Using mCRL2.

Mark Bouwman, Bob Janssen, Bas Luttik

Proceedings of the Formal Methods for Industrial Critical Systems, 2019