Publicaties
2023
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in JavaIn 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 VerCorsIn 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
Modular Transformation of Java Exceptions Modulo ErrorsIn Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (pp. 67-84). 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.
Vakken collegejaar 2022/2023
Adres
![](/.uc/iff4689c40103f3eb1100f2c8f403e85637f06a7b284b0801e3bc0268018041/zilverling.jpg)
Universiteit Twente
Zilverling (gebouwnr. 11), kamer 3082
Hallenweg 19
7522 NH Enschede
Universiteit Twente
Zilverling 3082
Postbus 217
7500 AE Enschede