Robert Rubbens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2021–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | Coordination | Verified Parameterized Choreographies. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2024 | CAV | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2024 | IFM | VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2023 | FASE | JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. | Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina |
| 2022 | ISoLA | On Deductive Verification of an Industrial Concurrent Software Component with VerCors. | Ral E. Monti, Robert Rubbens, Marieke Huisman |
| 2021 | FMICS | Modular Transformation of Java Exceptions Modulo Errors. | Robert Rubbens, Sophie Lathouwers, Marieke Huisman |