Zilverling

R.B. Rubbens MSc (Bob)

Promovendus
EEMCS-CS-FMT
Zilverling 3082
r.b.rubbens@utwente.nl
+31534894028
Visitekaartje

Publicaties

2024

Artifact 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

2022

On Deductive Verification of an Industrial Concurrent Software Component with VerCors (2022)In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I (pp. 517-534). Monti, R. E., Rubbens, R. & Huisman, M.https://doi.org/10.1007/978-3-031-19849-6_29

2021

Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors (2021)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Rubbens, B., Huisman, M. & Lathouwers, S.https://doi.org/10.4121/14905251Modular Transformation of Java Exceptions Modulo Errors (2021)In Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84) (Lecture notes in computer science; Vol. 12863). Springer. Rubbens, R., Lathouwers, S. & Huisman, M.https://doi.org/10.1007/978-3-030-85248-1_5

Onderzoeksprofielen

Verbonden aan opleidingen

Vakken collegejaar 2023/2024

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.

Scan de QR-code of
Download vCard