Bram Vandenbogaerde

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 3

Top Topics

Design Decisions

Dynamic Analysis

Top Venues

ESEC/SIGSOFT FSE

Publications

Mats Van Molle, Bram Vandenbogaerde, Coen De Roover
Cross-Level Debugging for Static Analysers. SLE (2023)
Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
Summary-Based Compositional Analysis for Soft Contract Verification. SCAM (2022)
Bram Vandenbogaerde
A graph-based framework for analysing the design of smart contracts. ESEC/SIGSOFT FSE (2019)