| Simple fixpoint iteration to solve parity games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019 | 8 | 2019 |
| JavaBIP meets VerCors: towards the safety of concurrent software systems in Java S Bliudze, P van Den Bos, M Huisman, R Rubbens, L Safina International Conference on Fundamental Approaches to Software Engineering …, 2023 | 5 | 2023 |
| 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 | 5 | 2022 |
| Improving support for Java exceptions and inheritance in VerCors RB Rubbens University of Twente, 2020 | 4 | 2020 |
| Modular transformation of Java exceptions modulo errors R Rubbens, S Lathouwers, M Huisman International Conference on Formal Methods for Industrial Critical Systems …, 2021 | 3 | 2021 |
| webANIMO: Improving the accessibility of ANIMO W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo F1000Research 5, 1714, 2016 | 3 | 2016 |
| 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 | 2 | 2017 |
| Haskell on the GPU RB Rubbens | | 2016 |
