< Back to previous page
Researcher
Bram Vandenbogaerde
- Keywords:Computer science (incl. applied informatics)
- Disciplines:Natural sciences, Humanities and the arts, Social sciences
Affiliations
- Software Languages Lab (Research group)
Member
From9 Dec 2021 → Today - Faculty of Sciences and Bioengineering Sciences (Faculty)
Member
From29 Jul 2021 → Today - Informatics and Applied Informatics (Department)
Member
From1 Nov 2021 → Today - Informatics and Applied Informatics (Department)
Member
From1 Oct 2021 → 30 Sep 2023 - Informatics and Applied Informatics (Department)
Member
From1 Oct 2021 → 20 Oct 2022 - Faculty of Sciences and Bioengineering Sciences (Faculty)
Member
From19 Aug 2019 → 30 Jun 2021
Projects
1 - 1 of 1
- Modular static analysis for soft contract verification of distributed actor programsFrom1 Nov 2021 → TodayFunding: FWO fellowships
Publications
1 - 3 of 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
Authors: Mats Van Molle, Bram Vandenbogaerde, Coen De Roover
Pages: 138-148Number of pages: 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
Authors: Bram Vandenbogaerde, Quentin Stiévenart, Coen De Roover
Pages: 186-196Number of pages: 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
Authors: Bram Vandenbogaerde
Pages: 1220-1222Number of pages: 3
Linked dataset
1 - 1 of 1