Welkom...

R.B. Rubbens MSc (Bob)

Promovendus

Expertises

Engineering & Materials Science
Computer Programming Languages
Data Storage Equipment
Feedback
Flow Control
Formal Methods
Industry
Integration Testing
Tunnels

Publicaties

Recent
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

Pure Link

Google Scholar Link

Verbonden aan Opleidingen

Master

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling (gebouwnr. 11)
Hallenweg 19
7522NH  Enschede

Navigeer naar locatie

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
Postbus 217
7500 AE Enschede