< Terug naar vorige pagina
Onderzoeker
Bart Jacobs
- Disciplines:Distributed computing
Affiliaties
- Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf1 aug 2020 → 30 sep 2022 - Afdeling Informatica (Afdeling)
Lid
Vanaf1 sep 2002 → 4 aug 2020
Projecten
1 - 10 of 20
- Gecertificeerde semi-automatische modulaire formele programma verificatieVanaf1 okt 2023 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Modulaire formele verificatie van veiligheidseigenschappen van Rust-programma's met "unsafe"-blokkenVanaf3 jun 2022 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Gemechaniseerde verificatie van liveness-eigenschappen van concurrente, imperatieve programma'sVanaf27 sep 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Gecertificeerde semi-automatische modulaire formele programma verificatieVanaf23 okt 2020 → 1 sep 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Modulaire formele verificatie van expressieve low-level objectgerichte programmeertalenVanaf2 sep 2020 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Semi-automatische modulaire formele verificatie van kritieke softwareVanaf2 apr 2019 → 29 feb 2024Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Behouden van Taal Abstracties: Gradueel Typeren en State ThreadsVanaf1 nov 2018 → 20 dec 2022Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Logische relaties en veilige compilatie voor geavanceerde kenmerken van programmeertaal met IrisVanaf1 okt 2018 → 1 apr 2020Financiering: FWO mandaten
- Relationeel redeneren voor geavanceerde typesystemen in geavanceerde programmalogica'sVanaf1 okt 2018 → HedenFinanciering: BOF - Geconcert. Onderzoeksacties vanaf 1994
- Verificatie-engineering voor veiligheid en beveiliging van kritieke dynamische industriële toepassingenVanaf1 jan 2017 → 31 dec 2019Financiering: H2020 - Veilige gemeenschappen
Publicaties
1 - 10 van 71
- Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds(2024)
Auteurs: Bart Jacobs
- Verifying C++ Dynamic Binding(2023)
Auteurs: Niels Mommen, Bart Jacobs
Pagina's: 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)
Auteurs: Bart Jacobs
- Completeness Thresholds for Memory Safety of Array Traversing Programs(2023)
Auteurs: Bart Jacobs
Pagina's: 47 - 54 - Preserving Language Abstractions: Gradual Typing and State Threads(2022)
Auteurs: Koen Jacobs, Dominique Devriese, Bart Jacobs
- Ghost Signals: Verifying Termination of Busy Waiting(2021)
Auteurs: Tobias Reinhard, Bart Jacobs
Pagina's: 27 - 50Aantal pagina's: 23 - Ghost Signals: Verifying Termination of Busy Waiting(2021)
Auteurs: Bart Jacobs
Pagina's: 27 - 50Aantal pagina's: 23 - A Separation Logic to Verify Termination of Busy-Waiting for Abrupt Program Exit(2020)
Auteurs: Bart Jacobs
Pagina's: 26 - 32 - Modular Verification of Liveness Properties of the I/O Behavior of Imperative Programs(2020)
Auteurs: Bart Jacobs
Pagina's: 509 - 524 - The future is ours: prophecy variables in separation logic(2020)
Auteurs: Bart Jacobs