Zilverling

dr. P. van den Bos (Petra)

Universitair docent
EEMCS-CS-FMT
Zilverling 3120
p.vandenbos@utwente.nl
+31534892677
Visitekaartje

Publicaties

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

Onderzoeksprofielen

Scan de QR-code of
Download vCard