IntelliJML: a JML plugin for IntelliJ IDEA. - Steven Monteiro; Erikas Sokolovas; Ellen Wittingen; Tom van Dijk; Marieke Huisman (FTfJP@ECOOP, 2021)

Deductive Verification of SYCL in VerCors. - Ellen Wittingen; Marieke Huisman; Ömer Sakar (SEFM, 2024)