Bram Vandenbogaerde

According to our database, Bram Vandenbogaerde authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

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

Soft Verification for Actor Contract Systems.

Bram Vandenbogaerde

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

Cross-Level Debugging for Static Analysers.

Mats Van Molle, Bram Vandenbogaerde, Coen De Roover

Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, 2023

2022

Summary-Based Compositional Analysis for Soft Contract Verification.

Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover

Proceedings of the 22nd IEEE International Working Conference on Source Code Analysis and Manipulation, 2022

2019

A graph-based framework for analysing the design of smart contracts.

Bram Vandenbogaerde

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019