Bram Vandenbogaerde

According to our database, Bram Vandenbogaerde authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

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