I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking. - Ole Jørgen Abusdal; Crystal Chang Din; Violet Ka I Pun; Volker Stolz (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

A Notion of Equivalence for Refactorings with Abstract Execution. - Ole Jørgen Abusdal; Eduard Kamburjan; Violet Ka I Pun; Volker Stolz (ISoLA (2), 2022)