| Simple fixpoint iteration to solve parity games T van Dijk, B Rubbens arXiv preprint arXiv:1909.07659, 2019 | 12 | 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 | 9 | 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 |
| 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 | 6 | 2024 |
| 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 |
| Improving support for Java exceptions and inheritance in VerCors RB Rubbens University of Twente, 2020 | 5 | 2020 |
| webANIMO: Improving the accessibility of ANIMO W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo F1000Research 5, 1714, 2016 | 4 | 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 |
| VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory R Rubbens, P Bos, M Huisman International Conference on Integrated Formal Methods, 217-236, 2024 | 1 | 2024 |
| Verified Parameterized Choreographies Technical Report R Rubbens, P Bos, M Huisman arXiv preprint arXiv:2502.15382, 2025 | | 2025 |
| Haskell on the GPU RB Rubbens | | 2016 |
