Robert Rubbens

According to our database, Robert Rubbens authored at least 7 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory.

Robert Rubbens, Petra van den Bos, Marieke Huisman

Proceedings of the Integrated Formal Methods - 19th International Conference, 2024

The VerCors Verifier: A Progress Report.

Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

On Deductive Verification of an Industrial Concurrent Software Component with VerCors.

Raúl E. Monti, Robert Rubbens, Marieke Huisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

2021

Modular Transformation of Java Exceptions Modulo Errors.

Robert Rubbens, Sophie Lathouwers, Marieke Huisman

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2019

Simple Fixpoint Iteration To Solve Parity Games.

Tom van Dijk, Bob Rubbens

Proceedings of the Proceedings Tenth International Symposium on Games, 2019

2016

webANIMO: Improving the accessibility of ANIMO.

Willem Siers, Michiel Bakker, Bob Rubbens, Ruben Haasjes, Jacco Brandt, Stefano Schivo

F1000Research, 2016