Seuraa
Bram Vandenbogaerde
Bram Vandenbogaerde
Doctoral Researcher, Vrije Universiteit Brussel
Vahvistettu sähköpostiosoite verkkotunnuksessa vub.be - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
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
72019
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
22022
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
2023
Multi-Objective Scheduling for Agricultural Interventions
W Röpke, S Pollaci, B Vandenbogaerde, J Li, Y Coppens
BNAIC/BeNeLearn 2022, 2022
2022
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–4