< Terug naar vorige pagina
Onderzoeker
Bram Vandenbogaerde
- Trefwoorden:Informatica
- Disciplines:Natuurwetenschappen, Humane wetenschappen en de kunsten, Sociale wetenschappen
Affiliaties
- Software Languages Lab (Onderzoeksgroep)
Lid
Vanaf9 dec 2021 → Heden - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf29 jul 2021 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 nov 2021 → Heden - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2021 → 30 sep 2023 - Informatica en Toegepaste Informatica (Departement)
Lid
Vanaf1 okt 2021 → 20 okt 2022 - Faculteit van de Wetenschappen (Faculteit)
Lid
Vanaf19 aug 2019 → 30 jun 2021
Projecten
1 - 1 of 1
- Modulaire statische analyse voor de zachte verificatie van contracten in gedistribueerde actor programma'sVanaf1 nov 2021 → HedenFinanciering: FWO mandaten
Publicaties
1 - 3 van 3
- Cross-Level Debugging for Static Analysers(2023)Series: SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023
Auteurs: Mats Van Molle, Bram Vandenbogaerde, Coen De Roover
Pagina's: 138-148Aantal pagina's: 11 - Summary-Based Compositional Analysis for Soft Contract Verification(2022)Edition: 22Series: Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022
Auteurs: Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
Pagina's: 186-196Aantal pagina's: 11 - A graph-based framework for analysing the design of smart contracts(2019)Series: ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering
Auteurs: Bram Vandenbogaerde
Pagina's: 1220-1222Aantal pagina's: 3
Gelinkte datasets
1 - 1 van 1