| Simple fixpoint iteration to solve parity games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019 | 9 | 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 | 8 | 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 | 7 | 2022 |
| Improving support for Java exceptions and inheritance in VerCors RB Rubbens University of Twente, 2020 | 6 | 2020 |
| Modular transformation of Java exceptions modulo errors R Rubbens, S Lathouwers, M Huisman International Conference on Formal Methods for Industrial Critical Systems …, 2021 | 5 | 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 |
| The VerCors Verifier: A Progress Report L Armborst, P Bos, LB van den Haak, M Huisman, R Rubbens, Ö Şakar, ... International Conference on Computer Aided Verification, 3-18, 2024 | 1 | 2024 |
| Haskell on the GPU RB Rubbens Twente Student Conference on IT, Enschede, Netherlands, 2016 | | 2016 |
