Onderzoeksoutput per jaar
Onderzoeksoutput per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Mark S. Bouwman actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 1 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Onderzoeksoutput
-
A Case in Point: Verification and Testing of a EULYNX Interface
Bouwman, M., van der Wal, D., Luttik, B., Stoelinga, M. A. & Rensink, A., mrt. 2023, In: Formal Aspects of Computing. 35, 1, blz. 1-38 38 blz., 2.Onderzoeksoutput: Bijdrage aan tijdschrift › Tijdschriftartikel › Academic › peer review
Open AccessBestand5 Citaten (Scopus)37 Downloads (Pure) -
Supporting Railway Standardisation with Formal Verification
Bouwman, M. S., 23 okt. 2023, Eindhoven: Eindhoven University of Technology. 205 blz.Onderzoeksoutput: Scriptie › Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
Open AccessBestand217 Downloads (Pure) -
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. (uitgave). Springer, blz. 161-182 22 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13712 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
3 Citaten (Scopus) -
Term Rewriting Based On Set Automaton Matching
Bouwman, M. & Erkens, R., 17 feb. 2022.Onderzoeksoutput: Werkdocument › Preprint › Academic
Bestand25 Downloads (Pure) -
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. (uitgave). Springer, blz. 42-59 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
6 Citaten (Scopus)
Datasets
-
mCRL2 models, requirements and test logs for the EULYNX Point interface case study
Bouwman, M. (Ontwerper) & van der Wal, D. (Ontwerper), Zenodo, 30 okt. 2021
Dataset
Scriptie
-
A model-based test platform for rail signalling systems
Bouwman, M. (Auteur), Luttik, B. (Afstudeerdocent 1) & Janssen, B. (Externe coach), 25 mrt. 2019Scriptie/Masterproef: Master
Bestand