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

Bezoekadres

Universiteit Twente

Zilverling (gebouwnr. 11), kamer 3082
Hallenweg 19
7522 NH Enschede

Navigeer naar locatie

Organisaties

Scan de QR-code of
Download vCard