Projects per year
Fingerprint
Dive into the research topics where Bram Vandenbogaerde is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Projects
- 1 Active
-
FWOTM1089: Modular static analysis for soft contract verification of distributed actor programs
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/23
Project: Fundamental
Research output
- 1 Citations
- 1 h-index
- 2 Conference paper
-
Multi-Objective Scheduling for Agricultural Interventions
Röpke, W., Pollaci, S., Vandenbogaerde, B., Li, J. & Coppens, Y., 9 Nov 2022, BNAIC/BeNeLearn 2022.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile25 Downloads (Pure) -
Summary-Based Compositional Analysis for Soft Contract Verification
Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). 22 ed. IEEE, p. 186-196 11 p. (Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research
Open AccessFile1 Citation (Scopus)15 Downloads (Pure)
Prizes
-
Best Artifact Award at SCAM 2022
Vandenbogaerde, Bram (Recipient), De Roover, Coen (Recipient) & Stiévenart, Quentin (Recipient), 12 Oct 2022
Prize: Prize (including medals and awards)
Activities
- 1 Talk or presentation at a conference
-
Summary-Based Compositional Analysis for Soft Contract Verification
Bram Vandenbogaerde (Speaker)
4 Oct 2022Activity: Talk or presentation › Talk or presentation at a conference