A graph-based framework for analysing the design of smart contracts. - Bram Vandenbogaerde (ESEC/SIGSOFT FSE, 2019)

Summary-Based Compositional Analysis for Soft Contract Verification. - Bram Vandenbogaerde; Quentin Stiévenart; Coen De Roover (SCAM, 2022)

Cross-Level Debugging for Static Analysers. - Mats Van Molle; Bram Vandenbogaerde; Coen De Roover (SLE, 2023)

Abstract Slicing To Improve The Speed Of Static Program Analysis. - Sarah Verbelen; Bram Vandenbogaerde; Jens Van der Plas; Noah Van Es; Coen De Roover (BENEVOL, 2024)

Soft Verification for Actor Contract Systems. - Bram Vandenbogaerde (ISSTA, 2024)

Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts. - Bram Vandenbogaerde; Quentin Stiévenart; Coen De Roover (Proc. ACM Program. Lang., 2024)