No photo of Bram Vandenbogaerde

Bram Vandenbogaerde

 https://orcid.org/0000-0003-2924-3420

  • Pleinlaan 2

    1050 Brussels

    Belgium

  • Pleinlaan 2

    1050 Brussel

    Belgium

  • Source: Scopus
  • Calculated based on number of publications stored in Pure and citations from Scopus
20192024

Research activity per year

Fingerprint

Dive into the research topics where Bram Vandenbogaerde is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 5 Citations
  • 2 h-index
  • 5 Conference paper

  • Blame-Correct Support for Receiver Properties in Recursively-Structured Actor Contracts

    Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., 15 Aug 2024, Proceedings of the ACM on Programming Languages. ICFP ed. ACM, Vol. 8. p. 515-543 29 p. 254. (Proceedings of the ACM on Programming Languages; vol. 8, no. ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    9 Downloads (Pure)

  • 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 › Research

    Open Access
    File
    45 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.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    39 Downloads (Pure)

  • Summary-Based Compositional Analysis for Soft Contract Verification

    Vandenbogaerde, B., Stiévenart, Q. & De Roover, C., 2022, Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM). 22 ed. IEEE, p. 186-196 11 p. (Proceedings - 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation, SCAM 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    2 Citations (Scopus)
    45 Downloads (Pure)

  • A graph-based framework for analysing the design of smart contracts

    Vandenbogaerde, B., 12 Aug 2019, ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, Inc, p. 1220-1222 3 p. (ESEC/FSE 2019 - Proceedings of the 2019 27th ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

    Open Access
    File
    3 Citations (Scopus)
    60 Downloads (Pure)
  • 3 Talk or presentation at a conference