Welcome...

R.B. Rubbens MSc (Bob)

PhD Candidate

About Me

I work on the VerCors deductive verifier. My interests are programming languages, theorem proving, deductive verification, and separation logic.

Publications

Recent
Bliudze, S., Bos, P. V. D. , Huisman, M. , Rubbens, R., & Safina, L. (2023). JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. In L. Lambers, & S. Uchitel (Eds.), 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) https://doi.org/10.1007/978-3-031-30826-0_8
Monti, R. E. , Rubbens, R. , & Huisman, M. (2022). On Deductive Verification of an Industrial Concurrent Software Component with VerCors. In T. Margaria, & B. Steffen (Eds.), 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) https://doi.org/10.1007/978-3-031-19849-6_29
Rubbens, R. , Lathouwers, S. , & Huisman, M. (2021). Modular Transformation of Java Exceptions Modulo Errors. In A. Lluch Lafuente, & A. Mavridou (Eds.), 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. https://doi.org/10.1007/978-3-030-85248-1_5

UT Research Information System

Google Scholar Link

Affiliated Study Programmes

Master

Courses Academic Year  2023/2024

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  2022/2023

Contact Details

Visiting Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (building no. 11), room 3082
Hallenweg 19
7522NH  Enschede
The Netherlands

Navigate to location

Mailing Address

University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling  3082
P.O. Box 217
7500 AE Enschede
The Netherlands