< Back to previous page
Researcher
Bart Jacobs
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → 30 Sep 2022 - Informatics Section (Division)
Member
From1 Sep 2002 → 4 Aug 2020
Projects
1 - 10 of 20
- Certified semi-automated modular formal program verificationFrom1 Oct 2023 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Modular Formal Verification of Safety Properties of Rust Programs with Unsafe BlocksFrom3 Jun 2022 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Mechanized verification of liveness properties of concurrent, imperative programsFrom27 Sep 2021 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Certified semi-automated modular formal program verificationFrom23 Oct 2020 → 1 Sep 2023Funding: Own budget, for example: patrimony, inscription fees, gifts
- Modular formal verification of expressive low-level object-oriented programming languagesFrom2 Sep 2020 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness ThresholdsFrom2 Apr 2019 → 29 Feb 2024Funding: Own budget, for example: patrimony, inscription fees, gifts
- Preserving Language Abstractions: Gradual Typing and State ThreadsFrom1 Nov 2018 → 20 Dec 2022Funding: Own budget, for example: patrimony, inscription fees, gifts
- Logical Relations and Secure Compilation for Advanced Programming Language Features using IrisFrom1 Oct 2018 → 1 Apr 2020Funding: FWO fellowships
- Relational reasoning for advanced type systems in advanced program logicsFrom1 Oct 2018 → TodayFunding: BOF - Concerted Research Project from 1994
- Verification Engineering of Safety and Security critical Dynamic Industrial ApplicationsFrom1 Jan 2017 → 31 Dec 2019Funding: H2020 - Secure societies
Publications
41 - 50 of 71
- ICE: a passive, high-speed, state-continuity scheme(2014)
Authors: Raoul Strackx, Bart Jacobs, Frank Piessens
Pages: 106 - 115 - Modular type checking of anchored exception declarations(2014)
Authors: Marko van Dooren, Bart Jacobs, Wouter Joosen
Pages: 44 - 61 - Software verification with VeriFast: Industrial case studies(2014)
Authors: Pieter Philippaerts, Tobias Mühlberg, Willem Penninckx, Jan Smans, Bart Jacobs, Frank Piessens
Pages: 77 - 97 - PLPV '14: Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages Meets Program Verification(2014)
Authors: Bart Jacobs
- Sound symbolic linking in the presence of preprocessing(2013)
Authors: Gijs Vanspauwen, Bart Jacobs
Pages: 122 - 136 - VeriFast for Java: A tutorial(2013)
Authors: Jan Smans, Bart Jacobs, Frank Piessens
Pages: 407 - 442 - Formalisation and Soundness of Static Verification Algorithms for Imperative Programs (Formalisatie en correctheid van statische verificatiealgoritmes voor imperatieve programma's)(2012)
Authors: Frédéric Vogels, Frank Piessens, Bart Jacobs
Number of pages: 482 - Secure compilation to modern processors(2012)
Authors: Pieter Agten, Raoul Strackx, Bart Jacobs, Frank Piessens
Pages: 171 - 185 - Implicit dynamic frames(2012)
Authors: Jan Smans, Bart Jacobs, Frank Piessens
- Sound formal verification of Linux's USB BP keyboard driver(2012)
Authors: Willem Penninckx, Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens
Pages: 210 - 215