Research Output per year
Research Output per year
Fingerprint
Dive into the research topics where Mark S. Bouwman is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 2 Similar Profiles
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output
-
A process algebra with global variables
Bouwman, M., Luttik, B., Schols, W. & Willemse, T. A. C., 27 Aug 2020, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 322, p. 33-50 18 p.Research output: Contribution to journal › Conference article › Academic › peer-review
Open Access -
Off-the-shelf automated analysis of liveness properties for just paths
Bouwman, M., Luttik, B. & Willemse, T., 1 Oct 2020, In : Acta Informatica. 57, 3-5, p. 551-590 40 p.Research output: Contribution to journal › Article › Academic › peer-review
Open Access2 Citations (Scopus) -
Formal modelling and verification of an interlocking using mCRL2
Bouwman, M., Janssen, B. & Luttik, B., 1 Jan 2019, Formal Methods for Industrial Critical Systems - 24th International Conference, FMICS 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Cham: Springer, p. 22-39 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11687 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Citations (Scopus)
Courses
Student theses
-
A model-based test platform for rail signalling systems
Author: Bouwman, M., 25 Mar 2019Supervisor: Luttik, B. (Supervisor 1) & Janssen, B. (External person) (External coach)
Student thesis: Master
File