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
52019
Multi-Objective Scheduling for Agricultural Interventions
W Röpke, S Pollaci, B Vandenbogaerde, J Li, Y Coppens
BNAIC/BeNeLearn 2022, 2022
2022
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
2022
The system can't perform the operation now. Try again later.
Articles 1–3