Usage statistics

Totals for datasets (co-)authored by Robert Rubbens

Datasets

• Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
• Artifact to supplement the paper: The VerCors Verifier: a Progress Report
• Data accompanied to the paper: Modular Transformation of Java Exceptions Modulo Errors

Co-authors

Co-authors of Robert Rubbens's datasets/collections. Bold: authors with a 4TU.ResearchData account.

• Larisa Safina
• Lars van den Haak
• Lukas Armborst
• Marieke Huisman
• Petra van den Bos
• Philip Tasche
• Pieter Bos
• Simon Bliudze
• Sophie Lathouwers
• Ömer Şakar