| 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 | 8 | 2019 |
| 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 | 3 | 2023 |
| 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 | 3 | 2022 |
| 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 | 1 | 2024 |
| 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 |
Coen De RooverSoftware Languages Lab, Vrije Universiteit BrusselGeverifieerd e-mailadres voor vub.be
