Projecten per jaar
Vingerafdruk
Verdiep u in de onderzoeksgebieden waarop Bram Vandenbogaerde actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.
- 6 Soortgelijke profielen
Samenwerkingen en hoofdonderzoeksgebieden uit de afgelopen vijf jaar
Recente externe samenwerking op landen-/regioniveau. Duik in de details door op de stippen te klikken of
Projecten
- 1 Actief
-
FWOTM1089: Modulaire statische analyse voor de zachte verificatie van contracten in gedistribueerde actor programma's
Vandenbogaerde, B., De Roover, C. & Stiévenart, Q.
1/11/21 → 31/10/25
Project: Fundamenteel
Onderzoeksoutput
-
Abstract Slicing for Static Program Analysis
Verbelen, S., Vandenbogaerde, B., Van der Plas, J., Van Es, N. & De Roover, C., 9 sep 2024, (Unpublished).Onderzoeksoutput: Poster
Bestand3 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. CEUR Workshop Proceedings, 12 blz.Onderzoeksoutput: Meeting abstract (Book) › Research
Open AccessBestand10 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, blz. 515-543 29 blz., 254.Onderzoeksoutput: Article › peer review
Open Access1 Citaat (Scopus) -
Cross-Level Debugging for Static Analysers
Van Molle, M., Vandenbogaerde, B. & De Roover, C., 23 okt 2023, Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE ’23): SPLASH 2023. Saraiva, J., Degueule, T. & Scott, E. (redactie). New York, NY, USA: ACM, blz. 138-148 11 blz. (SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023).Onderzoeksoutput: Conference paper › Research
Open AccessBestand3 Citaten (Scopus)69 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).Onderzoeksoutput: Conference paper › Research
Open AccessBestand47 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
Prijzen
-
Best Artifact Award at SCAM 2022
Vandenbogaerde, Bram (Recipient), De Roover, Coen (Recipient) & Stiévenart, Q. (Recipient), 12 okt 2022
Prijs: Prize (including medals and awards)
-
FWO PhD Fellowship Fundamental
Vandenbogaerde, Bram (Recipient), 1 nov 2021
Prijs: Fellowship awarded competitively
Activiteiten
- 3 Talk or presentation at a conference
-
Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts
Bram Vandenbogaerde (Speaker)
2 sep 2024 → 7 sep 2024Activiteit: Talk or presentation at a conference
-
Cross-Level Debugging for Static Analysers
Bram Vandenbogaerde (Speaker)
24 okt 2023Activiteit: Talk or presentation at a conference
-
Summary-Based Compositional Analysis for Soft Contract Verification
Bram Vandenbogaerde (Speaker)
4 okt 2022Activiteit: Talk or presentation at a conference