Follow
Robert Rubbens
Robert Rubbens
Verified email at student.utwente.nl
Title
Cited by
Cited by
Year
Simple fixpoint iteration to solve parity games
T van Dijk, B Rubbens
arXiv preprint arXiv:1909.07659, 2019
72019
webANIMO: Improving the accessibility of ANIMO
W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo
F1000Research 5, 1714, 2016
32016
Modular Transformation of Java Exceptions Modulo Errors
R Rubbens, S Lathouwers, M Huisman
International Conference on Formal Methods for Industrial Critical Systems …, 2021
22021
Improving support for Java exceptions and inheritance in VerCors
RB Rubbens
University of Twente, 2020
22020
Roboteam twente 2017 team description paper
E Croll, R Freije, K de Haan, H van der Heide, J Hoekstra, B Okken, ...
RoboCup 2017 Symposium, 2017
22017
On deductive verification of an industrial concurrent software component with vercors
RE Monti, R Rubbens, M Huisman
International Symposium on Leveraging Applications of Formal Methods, 517-534, 2022
12022
Haskell on the GPU
RB Rubbens
2016
The system can't perform the operation now. Try again later.
Articles 1–7