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.
- 1 Soortgelijke profielen
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/23
Project: Fundamenteel
Onderzoeksoutput
- 1 Conference paper
-
Summary-Based Compositional Analysis for Soft Contract Verification
Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., 2022, SCAM 2022: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). 22 redactie IEEE, blz. 186-196 11 blz.Onderzoeksoutput: Conference paper
Open AccessBestand7 Downloads (Pure)
Prijzen
-
Best Artifact Award at SCAM 2022
Vandenbogaerde, Bram (Recipient), 12 okt 2022
Prijs: Prize (including medals and awards)
Activiteiten
- 1 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