Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Mark Bouwman
Observed names:
Bouwman, Mark,
Bouwman, Mark S.
Institution:
Rijkswaterstaat
Observed institutions:
University of Limerick,
Rijkswaterstaat,
Thermoplastic Composites Research Center,
Eindhoven University of Technology
ORCID:
0000-0002-5131-008X
Observed ORCID:
0000-0002-5131-008X
OpenAlex ID:
A5071654276
Analysis of the Thermoplastic Composite Overmolding Process: Interface Strength
2020
·
Remko Akkerman
, Mark Bouwman
, et al.
·
Frontiers in Materials
·
89
PDF
Leveraging Applications of Formal Methods, Verification and Validation
2021
·
Bouwman, Mark S.
, Luttik, S.P. (Bas)
, et al.
·
Lecture notes in computer science
·
39
A Case in Point: Verification and Testing of a EULYNX Interface
2022
·
Mark Bouwman
, Djurre van der Wal
, et al.
·
Formal Aspects of Computing
·
22
PDF
A Formalisation of SysML State Machines in mCRL2
2021
·
Mark Bouwman
, Bas Luttik
, et al.
·
Lecture notes in computer science
·
22
Off-the-shelf automated analysis of liveness properties for just paths
2020
·
Mark Bouwman
, Bas Luttik
, et al.
·
Acta Informatica
·
8
Formal Modelling and Verification of an Interlocking Using mCRL2
2019
·
Mark Bouwman
, Bob Janssen
, et al.
·
Lecture notes in computer science
·
8
What is the Point: Formal Analysis and Test Generation for a Railway Standard
2020
·
Mark Bouwman
, Djurre van der Wal
, et al.
·
European Safety and Reliability Conference (ESREL)
·
6
Overmolding - An integrated design approach for dimensional accuracy and strength of structural parts
2016
·
Mark Bouwman
, Thijs Donderwinkel
, et al.
·
University of Twente Research Information
·
6
A process algebra with global variables
2020
·
Mark Bouwman
, Bas Luttik
, et al.
·
Electronic Proceedings in Theoretical Computer Science
·
5
A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier
2025
·
Adrian Beers
, Jore Booy
, et al.
·
Lecture notes in computer science
·
3
PDF
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
2022
·
Mark Bouwman
, Maurice Laveaux
, et al.
·
Lecture notes in computer science
·
3
Term Rewriting Based On Set Automaton Matching
2022
·
Bouwman, Mark
, Erkens, Rick
·
arXiv (Cornell University)
PDF
mCRL2 models and requirements for the EULYNX Point interface
2021
·
Bouwman, Mark
, Van Der Wal, Djurre
·
University of Twente Research Information
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths
2021
·
Mark Bouwman
, Bas Luttik
, et al.
·
Lecture notes in computer science
PDF
Show more works
View as search
Works count:
16
Citation count:
211
H-index:
6
I10-index:
4
Year
Topic
Type
