Projects per year
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
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/25
Project: Fundamental
-
Abstract Slicing for Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 9 Sept 2024, (Unpublished).Research output: Unpublished contribution to conference › Poster
File7 Downloads (Pure) -
Abstract Slicing To Improve The Speed Of Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 2024, BENEVOL24: The 23rd Belgium-Netherlands Software Evolution Workshop. 23 ed. CEUR Workshop Proceedings, Vol. 3941. p. 134-145 12 p. (CEUR Workshop Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Meeting abstract (Book)
Open AccessFile23 Downloads (Pure) -
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts
Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., Aug 2024, In: Proceedings of the ACM on Programming Languages. 8, p. 515-543 29 p., 254.Research output: Contribution to journal › Article › peer-review
Open Access1 Citation (Scopus) -
Cross-Level Debugging for Static Analysers
Van Molle, M., Vandenbogaerde, B. & De Roover, C., 23 Oct 2023, Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’23): SPLASH 2023. Saraiva, J., Degueule, T. & Scott, E. (eds.). New York, NY, USA: ACM, p. 138-148 11 p. (SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile3 Citations (Scopus)106 Downloads (Pure) -
Multi-Objective Scheduling for Agricultural Interventions
Röpke, W., Pollaci, S., Vandenbogaerde, B., Li, J. & Coppens, Y., 9 Nov 2022, BNAIC/BeNeLearn 2022. (BNAIC Proceedings).Research output: Chapter in Book/Report/Conference proceeding › Conference paper
Open AccessFile70 Downloads (Pure)
Datasets
-
Replication package for "Summary-Based Compositional Analysis for Soft Contract Verification"
Vandenbogaerde, B. (Creator), Stiévenart, Q. (Creator) & De Roover, C. (Creator), Zenodo, 26 Aug 2022
Dataset
-
Replication package for 'Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts'
Vandenbogaerde, B. (Creator), Stiévenart, Q. (Creator) & De Roover, C. (Creator), Zenodo, Jun 2024
Dataset
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)
-
FWO PhD Fellowship Fundamental
Vandenbogaerde, Bram (Recipient), 1 Nov 2021
Prize: Fellowship awarded competitively
Activities
- 3 Talk or presentation at a conference
-
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts
Bram Vandenbogaerde (Speaker)
2 Sept 2024 → 7 Sept 2024Activity: Talk or presentation › Talk or presentation at a conference
-
Cross-Level Debugging for Static Analysers
Bram Vandenbogaerde (Speaker)
24 Oct 2023Activity: Talk or presentation › 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