Volgen
Robert Rubbens
Robert Rubbens
Geverifieerd e-mailadres voor student.utwente.nl
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7