Publications
2025
Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Rubbens, R.https://doi.org/10.3990/1.9789036569101Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata (2025)[Working paper › Preprint]. ArXiv.org. Briones, L. B., Gerhold, M., van den Bos, P. & Stoelinga, M.https://doi.org/10.48550/arXiv.2507.18205Verified Parameterized Choreographies (2025)In Coordination Models and Languages - 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 50-69) (Lecture Notes in Computer Science; Vol. 15731 LNCS). Springer. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.1007/978-3-031-95589-1_3Sequential Composition of BDD Transition Systems for Model-Based Testing (2025)In Formal Techniques for Distributed Objects, Components, and Systems - 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Proceedings (pp. 36-54) (Lecture Notes in Computer Science; Vol. 15732 LNCS). Springer. Zameni, T., van den Bos, P., Foederer, J. & Rensink, A.https://doi.org/10.1007/978-3-031-95497-9_3Introducing automated testing to video game development via Behaviour-Driven Development (2025)[Contribution to conference › Paper] 21st European Conference on Modelling Foundations and Applications, ECMFA 2025. Mulder, M. & van den Bos, P.https://conf.researchr.org/details/staf-2025/ecmfa-2025-papers/13/Introducing-automated-testing-to-video-game-development-via-Behaviour-Driven-DevelopmIntroducing automated testing to video game development via Behaviour-Driven Development (2025)Journal of object technology, 24(2), 1-14. Mulder, M. & van den Bos, P.https://doi.org/10.5381/jot.2025.24.2.a5Artefact for paper "Introducing automated testing to video game development via Behaviour-Driven Development" (2025)[Dataset Types › Dataset]. Zenodo. Mulder, M. & van den Bos, P.https://doi.org/10.5281/zenodo.15187758With a little help from your friends: semi-cooperative games via Joker moves (2025)Logical methods in computer science, 21(1), 1-39. Bos, P. v. d. & Stoelinga, M.https://doi.org/10.46298/lmcs-21(1:26)2025Verified Parameterized Choreographies Technical Report (2025)[Working paper › Preprint]. ArXiv.org. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.48550/arXiv.2502.15382Artefact of: Verified Parameterized Choreographies (2025)[Dataset Types › Dataset]. Zenodo. Rubbens, R., van den Bos, P. & Huisman, M.https://doi.org/10.5281/zenodo.14900264
Research profiles
Courses academic year 2025/2026
Courses in the current academic year are added at the moment they are finalised in the Osiris system. Therefore it is possible that the list is not yet complete for the whole academic year.
Courses academic year 2024/2025
Address
University of Twente
Zilverling (building no. 11), room 3120
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3120
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or