Content available in repository
Content available in repository
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
Bouwman, M., Laveaux, M., Luttik, B. & Willemse, T., 2022, Formal Aspects of Component Software - 18th International Conference, FACS 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (eds.). Springer, p. 161-182 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
A Formalisation of SysML State Machines in mCRL2
Bouwman, M., Luttik, B. & van der Wal, D., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer, p. 42-59 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Citations (Scopus) -
Formal Methods in Railway Signalling Infrastructure Standardisation Processes
Bouwman, M. S., Luttik, S. P., Rensink, A., Stoelinga, M. I. A. & van der Wal, D., 2021, Proceedings of ISoLA 2021. Margaria, T. & Steffen, B. (eds.). p. 500-501 (Lecture Notes in Computer Science; no. 13036).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic
-
Off-the-Shelf Automated Analysis of Liveness Properties for Just Paths: (Extended Abstract)
Bouwman, M., Luttik, B. & Willemse, T., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer, p. 182-187 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
-
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 › peer-review
Open Access3 Citations (Scopus)
Datasets
-
mCRL2 models, requirements and test logs for the EULYNX Point interface case study
Bouwman, M. S. (Creator) & van der Wal, D. (Creator), Zenodo, 30 Oct 2021
Dataset
Courses
Press / Media
-
Composites Overmolding Expanding Opportunities: New conference charts work to extend overmolding technologies to more composites, applications, and markets.(COMPOSITES OVERMOLDING CONFERENCE)(Conference news)
1/09/18
1 item of Media coverage
Press/Media: Expert Comment
Thesis
-
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