C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Robert Rubbens
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 3
Top Topics
Signature Verification
Byte Code
Abductive Inference
Software Reuse
Top Venues
FASE
ISoLA (1)
FMICS
</>
Publications
</>
Simon Bliudze
,
Petra van den Bos
,
Marieke Huisman
,
Robert Rubbens
,
Larisa Safina
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.
FASE
(2023)
Raúl E. Monti
,
Robert Rubbens
,
Marieke Huisman
On Deductive Verification of an Industrial Concurrent Software Component with VerCors.
ISoLA (1)
(2022)
Robert Rubbens
,
Sophie Lathouwers
,
Marieke Huisman
Modular Transformation of Java Exceptions Modulo Errors.
FMICS
(2021)