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 Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier
Beers, A., Booy, J., Groote, J. F. (Corresponderende auteur), van den Bogaard, J. & Bouwman, M., 28 aug. 2025, Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings. Remke, A. & Steffen, B. (uitgave). Springer, blz. 225-240 16 blz. (Lecture Notes in Computer Science (LNCS); vol. 16040 ).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand11 Downloads (Pure) -
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 AccessBestand7 Citaten (Scopus)81 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 AccessBestand419 Downloads (Pure) -
Decompositional Branching Bisimulation Minimisation of Monolithic Processes
Bouwman, M. (Corresponderende auteur), Laveaux, M., Luttik, B. & Willemse, T., 2 nov. 2022, Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings. Tapia Tarifa, S. L. & Proença, J. (uitgave). Cham: Springer, blz. 161-182 22 blz. (Lecture Notes in Computer Science (LNCS); vol. 13712).Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review
Open AccessBestand3 Citaten (Scopus)3 Downloads (Pure) -
Term Rewriting Based On Set Automaton Matching
Bouwman, M. & Erkens, R., 17 feb. 2022.Onderzoeksoutput: Werkdocument › Preprint › Academic
Bestand68 Downloads (Pure)
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
Knipsels
-
GLOBAL ROUND UP SECTOR WEEKLY: UNIVERSITY NEWSLETTER OF WEEK-ENDED OCT 29, 2023
30/10/23
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
-
Researchers at Eindhoven University of Technology Target Computing (A Case In Point: Verification and Testing of a Eulynx Interface)
Luttik, S. P. & Bouwman, M. S.
21/04/23
1 item van Media-aandacht
Pers / media: Vakinhoudelijk commentaar
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