CUFinder

Mark Bouwman

About Mark Bouwman

Mark Bouwman, With an exceptional h-index of 5 and a recent h-index of 5 (since 2020), a distinguished researcher at Technische Universiteit Eindhoven, specializes in the field of Formal methods, model checking.

His recent articles reflect a diverse array of research interests and contributions to the field:

Supporting Railway Standardisation with Formal Verification

A case in point: verification and testing of a EULYNX interface

Decompositional Branching Bisimulation Minimisation of Monolithic Processes

Term Rewriting Based On Set Automaton Matching

Term Rewriting Based On Set Automaton Matching Technical report

A formalisation of SysML state machines in mCRL2

Formal methods in railway signalling infrastructure standardisation processes

What is the point: formal analysis and test generation for a railway standard

Mark Bouwman Information

University

Position

___

Citations(all)

77

Citations(since 2020)

76

Cited By

12

hIndex(all)

5

hIndex(since 2020)

5

i10Index(all)

3

i10Index(since 2020)

3

Email

University Profile Page

Google Scholar

Mark Bouwman Skills & Research Interests

Formal methods

model checking

Top articles of Mark Bouwman

Supporting Railway Standardisation with Formal Verification

2023/10/23

A case in point: verification and testing of a EULYNX interface

Formal Aspects of Computing

2023/3/16

Mark Bouwman
Mark Bouwman

H-Index: 2

Bas Luttik
Bas Luttik

H-Index: 10

Arend Rensink
Arend Rensink

H-Index: 14

Decompositional Branching Bisimulation Minimisation of Monolithic Processes

2022/11/2

Mark Bouwman
Mark Bouwman

H-Index: 2

Maurice Laveaux
Maurice Laveaux

H-Index: 2

Bas Luttik
Bas Luttik

H-Index: 10

Tim Willemse
Tim Willemse

H-Index: 13

Term Rewriting Based On Set Automaton Matching

arXiv preprint arXiv:2202.08687

2022/2/17

Mark Bouwman
Mark Bouwman

H-Index: 2

Term Rewriting Based On Set Automaton Matching Technical report

arXiv preprint arXiv:2202.08687

2022/2

Mark Bouwman
Mark Bouwman

H-Index: 2

A formalisation of SysML state machines in mCRL2

2021/6/8

Mark Bouwman
Mark Bouwman

H-Index: 2

Bas Luttik
Bas Luttik

H-Index: 10

Formal methods in railway signalling infrastructure standardisation processes

2021

Arend Rensink
Arend Rensink

H-Index: 14

What is the point: formal analysis and test generation for a railway standard

language

2020/11

Mark Bouwman
Mark Bouwman

H-Index: 2

Bas Luttik
Bas Luttik

H-Index: 10

Arend Rensink
Arend Rensink

H-Index: 14

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

Acta Informatica

2020/10

Mark Bouwman
Mark Bouwman

H-Index: 2

Bas Luttik
Bas Luttik

H-Index: 10

Tim Willemse
Tim Willemse

H-Index: 13

A process algebra with global variables

arXiv preprint arXiv:2008.13356

2020/8/31

Mark Bouwman
Mark Bouwman

H-Index: 2

Bas Luttik
Bas Luttik

H-Index: 10

See List of Professors in Mark Bouwman University(Technische Universiteit Eindhoven)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine