Follow
Bram Vandenbogaerde
Bram Vandenbogaerde
Doctoral Researcher, Vrije Universiteit Brussel
Verified email at vub.be - Homepage
Title
Cited by
Cited by
Year
A graph-based framework for analysing the design of smart contracts
B Vandenbogaerde
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
82019
Cross-Level Debugging for Static Analysers
M Van Molle, B Vandenbogaerde, C De Roover
Proceedings of the 16th ACM SIGPLAN International Conference on Software …, 2023
32023
Summary-based compositional analysis for soft contract verification
B Vandenbogaerde, Q Stiévenart, C De Roover
2022 IEEE 22nd International Working Conference on Source Code Analysis and …, 2022
32022
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts
B Vandenbogaerde, Q Stiévenart, C De Roover
Proceedings of the ACM on Programming Languages 8 (ICFP), 515-543, 2024
12024
Soft Verification for Actor Contract Systems
B Vandenbogaerde
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 2024
2024
Abstract Slicing for Static Program Analysis
S Verbelen, B Vandenbogaerde, J Van der Plas, N Van Es, C De Roover
3rd Summer School on Security Testing and Verification, 2024
2024
Multi-Objective Scheduling for Agricultural Interventions
W Röpke, S Pollaci, B Vandenbogaerde, J Li, Y Coppens
BNAIC/BeNeLearn 2022, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–7