Bob Rubbens

h-index

Research activity per year

Fingerprint

Dive into the research topics where Bob Rubbens is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

1 Similar Profiles

3 Chapter
3 Conference contribution
1 PhD Thesis - Research UT, graduation UT
1 Preprint

Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification
Rubbens, R., 15 Oct 2025, Enschede: University of Twente. 194 p.
Research output: Thesis › PhD Thesis - Research UT, graduation UT

Open Access
File
64 Downloads (Pure)
Verified Parameterized Choreographies
Rubbens, R., van den Bos, P. & Huisman, M., 18 Jun 2025, 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. Di Giusto, C. & Ravara, A. (eds.). Springer, p. 50-69 20 p. (Lecture Notes in Computer Science; vol. 15731 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
24 Downloads (Pure)
Verified Parameterized Choreographies Technical Report
Rubbens, R., van den Bos, P. & Huisman, M., 21 Feb 2025, ArXiv.org.
Research output: Working paper › Preprint › Academic

Open Access
File
36 Downloads (Pure)
The VerCors Verifier: A Progress Report
Armborst, L., Bos, P., van den Haak, L. B., Huisman, M., Rubbens, R., Şakar, Ö. & Tasche, P., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings: 36th International Conference on Computer Aided Verification. Gurfinkel, A. & Ganesh, V. (eds.). Springer, Vol. 2. p. 3-18 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14682 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
8 Link opens in a new tab Citations (Scopus)

167 Downloads (Pure)
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory
Rubbens, R., van den Bos, P. V. & Huisman, M., 13 Nov 2024, Integrated Formal Methods - 19th International Conference, IFM 2024, Proceedings. Kosmatov, N. & Kovács, L. (eds.). Springer, p. 217-236 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15234 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File
1 Link opens in a new tab Citation (Scopus)

73 Downloads (Pure)

webANIMO front end source code
Siers, W. (Creator), Bakker, M. (Creator), Rubbens, B. (Creator), Haasjes, R. (Creator), Brandt, J. (Creator) & Schivo, S. (Creator), Zenodo, 6 Jul 2016
DOI: 10.5281/zenodo.57206, https://zenodo.org/record/57206
Dataset
Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory
Rubbens, R. (Creator), Huisman, M. (Creator) & van den Bos, P. (Creator), Zenodo, 20 Aug 2024
DOI: 10.5281/zenodo.13348213, https://zenodo.org/records/13348214 and 2 more links, https://doi.org/10.5281/zenodo.13348214, https://github.com/utwente-fmt/vercors (show fewer)
Dataset
Artefact of: Verified Parameterized Choreographies
Rubbens, R. (Creator), van den Bos, P. (Creator) & Huisman, M. (Creator), Zenodo, 20 Feb 2025
DOI: 10.5281/zenodo.14900264, https://zenodo.org/records/14900264 and 3 more links, https://doi.org/10.5281/zenodo.14900265, https://zenodo.org/records/14900265, https://zenodo.org/records/15223434 (show fewer)
Dataset
Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors
Rubbens, B. (Creator), Huisman, M. (Creator) & Lathouwers, S. (Creator), 4TU.Centre for Research Data, 25 Aug 2021
DOI: 10.4121/14905251, https://data.4tu.nl/articles/_/14905251 and one more link, https://data.4tu.nl/articles/_/14905251/1 (show fewer)
Dataset
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Rubbens, R. (Creator), Safina, L. (Creator), Huisman, M. (Creator), Bliudze, S. (Creator) & van den Bos, P. (Creator), 4TU.Centre for Research Data, 13 Mar 2024
DOI: 10.4121/21763274, https://data.4tu.nl/datasets/c24f1f76-19f3-456b-b6cd-087eef905e5d and one more link, https://data.4tu.nl/datasets/c24f1f76-19f3-456b-b6cd-087eef905e5d/1 (show fewer)
Dataset

COORDINATION 2025 Best Paper Award
Rubbens, B. (Recipient), van den Bos, P. (Recipient) & Huisman, M. (Recipient), 18 Jun 2025
Prize

File

Bob Rubbens

Fingerprint

Collaborations and top research areas from the last five years

Dive into details

Bridging the Implementation Gap: Advancements in Model-Based Concurrent Program Verification

Verified Parameterized Choreographies

Verified Parameterized Choreographies Technical Report

The VerCors Verifier: A Progress Report

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

webANIMO front end source code

Artifact of: VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory

Artefact of: Verified Parameterized Choreographies

Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

COORDINATION 2025 Best Paper Award

Bob Rubbens

Fingerprint

Collaborations and top research areas from the last five years

Research output

Datasets

Prizes