< 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
11 - 20 of 20
- Annotation inference for VeriFastFrom1 Jan 2017 → 31 Dec 2020Funding: FWO research project (including WEAVE projects)
- Annotation Inference for Modular Formal Software VerificationFrom17 Aug 2016 → 28 Feb 2018Funding: Own budget, for example: patrimony, inscription fees, gifts
- Modular Formal Verification of Total Correctness Properties of Concurrent Imperative ProgramsFrom21 Jun 2016 → 21 Jun 2020Funding: Own budget, for example: patrimony, inscription fees, gifts
- Model-Driven Software Engineering for Adaptive Software-as-a-Service (SaaS).From1 Jul 2013 → 30 Jun 2023Funding: IOF - Industrial Research Fund, IOF - mandates
- Architecture-driven verification of systems software.From1 Apr 2013 → 31 Mar 2016Funding: General Activities (Annex IV)
- Gradual verification of event-driven programsFrom1 Jan 2013 → 31 Dec 2016Funding: FWO research project (including WEAVE projects)
- Modular Semi-Automated Formal Verification of Security-Critical SoftwareFrom5 Nov 2012 → 19 Oct 2018Funding: Own budget, for example: patrimony, inscription fees, gifts
- STANCE: A Source code analysis Toolbox for software security AssuraNCE.From1 Oct 2012 → 31 Mar 2016Funding: General Activities (Annex IV)
- Modular Semi-automatic Formal Verification of Critical Systems SoftwareFrom6 Sep 2011 → 25 Sep 2017Funding: Own budget, for example: patrimony, inscription fees, gifts
- Formalisation and Soundness of Static Verification Algorithms for Imperative ProgramsFrom5 Feb 2008 → 13 Dec 2012Funding: Own budget, for example: patrimony, inscription fees, gifts
Publications
1 - 10 of 71
- Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds(2024)
Authors: Bart Jacobs
- Verifying C++ Dynamic Binding(2023)
Authors: Niels Mommen, Bart Jacobs
Pages: 1 - 7 - Immune responses in healthy adults elicited by a bivalent norovirus vaccine candidate composed of GI.4 and GII.4 VLPs without adjuvant(2023)
Authors: Bart Jacobs
- Completeness Thresholds for Memory Safety of Array Traversing Programs(2023)
Authors: Bart Jacobs
Pages: 47 - 54 - Preserving Language Abstractions: Gradual Typing and State Threads(2022)
Authors: Koen Jacobs, Dominique Devriese, Bart Jacobs
- Ghost Signals: Verifying Termination of Busy Waiting(2021)
Authors: Tobias Reinhard, Bart Jacobs
Pages: 27 - 50Number of pages: 23 - Ghost Signals: Verifying Termination of Busy Waiting(2021)
Authors: Bart Jacobs
Pages: 27 - 50Number of pages: 23 - A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit(2020)
Authors: Bart Jacobs
Pages: 26 - 32 - Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs(2020)
Authors: Bart Jacobs
Pages: 509 - 524 - The future is ours: prophecy variables in separation logic(2020)
Authors: Bart Jacobs