Verified Parameterized Choreographies.

Robert Rubbens, Petra van den Bos, Marieke Huisman. LNCS 15731, 50-69.

⭐ Award: COORDINATION Best Paper

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

Robert Rubbens, Petra van den Bos, Marieke Huisman. LNCS 15234, 217-236.

The VerCors Verifier: A Progress Report.

Lukas Armborst, Pieter Bos, Lars van den Haak, Marieke Huisman, Robert Rubbens, Ömer Şakar, Philip Tasche. LNCS 14682, 3-18.

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

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina. LNCS 13991, 143-150.

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

Raúl E. Monti, Robert Rubbens, Marieke Huisman. LNCS 13701, 517-534.

Modular Transformation of Java Exceptions Modulo Errors.

Robert Rubbens, Sophie Lathouwers, Marieke Huisman. LNCS 12863, 67-84.

4 Years of Bridging the Gap: Formal Methods, Industry, and Distributed Systems.

At the SCS colloquium.

An Overview of my PhD.

At the FMT non-permanent staff meeting.

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

At the FMT colloquium.

VeyMont: Verification of Choreographic Programs with Permissions and Parameterization.

At the SWS colloquium.

Advances and Challenges in Model-based Deductive Verification of Programs.

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

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina. At the FMT colloquium.

Software Verification with LEAN.

Bob Rubbens, Lukas Armborst, Ömer Şakar. Joint talk at the FMT colloquium.

Improving Support for Java Exceptions and Inheritance in VerCors.

At the University of Twente.

Haskell on the GPU.

At the University of Twente. Presented at the TScIT 26.