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 | 7 | 2019 |
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 | 2 | 2022 |
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 |