Expertise
Engineering & Materials Science
# Computer Programming Languages
# Data Storage Equipment
# Feedback
# Flow Control
# Formal Methods
# Industry
# Integration Testing
# Tunnels
Organisations
Publications
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
UT Research Information System
Google Scholar Link
Affiliated Study Programmes
Master
Tweets
Contact Details
Visiting Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
(building no. 11)
Hallenweg 19
7522NH Enschede
The Netherlands
Mailing Address
University of Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Zilverling
P.O. Box 217
7500 AE Enschede
The Netherlands