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.9789036569101Verified 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_3Verified 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
2024
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)In Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings (pp. 217-236) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 15234 LNCS). Springer. Rubbens, R., van den Bos, P. V. & Huisman, M.https://doi.org/10.1007/978-3-031-76554-4_12Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory (2024)[Dataset Types › Dataset]. Zenodo. Rubbens, R., Huisman, M. & van den Bos, P.https://doi.org/10.5281/zenodo.13348213Artifact to supplement the paper: The VerCors Verifier: a Progress Report (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Armborst, L., Bos, P., van den Haak, L., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P.https://doi.org/10.4121/a5f97e07-9f84-4223-b581-6d2606fe07baArtefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Rubbens, R., Safina, L., Huisman, M., Bliudze, S. & van den Bos, P.https://doi.org/10.4121/21763274The VerCors Verifier: A Progress Report (2024)In Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification (pp. 3-18) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14682 LNCS). Springer. Armborst, L., Bos, P., van den Haak, L. B., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P.https://doi.org/10.1007/978-3-031-65630-9_1
2023
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java (2023)In Fundamental Approaches to Software Engineering : 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings (pp. 143-150). Bliudze, S., Bos, P. v. d., Huisman, M., Rubbens, R. & Safina, L.https://doi.org/10.1007/978-3-031-30826-0_8
Research profiles
Address
University of Twente
Zilverling (building no. 11), room 3082
Hallenweg 19
7522 NH Enschede
Netherlands
University of Twente
Zilverling 3082
P.O. Box 217
7500 AE Enschede
Netherlands
Scan the QR code or