webANIMO: Improving the accessibility of ANIMO. - Willem Siers; Michiel Bakker; Bob Rubbens; Ruben Haasjes; Jacco Brandt; Stefano Schivo (F1000Research, 2016)

Simple Fixpoint Iteration To Solve Parity Games. - Tom van Dijk; Bob Rubbens (GandALF, 2019)

Modular Transformation of Java Exceptions Modulo Errors. - Robert Rubbens; Sophie Lathouwers; Marieke Huisman (FMICS, 2021)

On Deductive Verification of an Industrial Concurrent Software Component with VerCors. - Raúl E. Monti; Robert Rubbens; Marieke Huisman (ISoLA (1), 2022)

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. - Simon Bliudze; Petra van den Bos; Marieke Huisman; Robert Rubbens; Larisa Safina (FASE, 2023)

The VerCors Verifier: A Progress Report. - Lukas Armborst; Pieter Bos; Lars B. van den Haak; Marieke Huisman; Robert Rubbens; Ömer Sakar; Philip Tasche (CAV (2), 2024)

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. - Robert Rubbens; Petra van den Bos; Marieke Huisman (IFM, 2024)

Verified Parameterized Choreographies. - Robert Rubbens; Petra van den Bos; Marieke Huisman (COORDINATION, 2025)

Verified Parameterized Choreographies Technical Report. - Robert Rubbens; Petra van den Bos; Marieke Huisman (CoRR, 2025)