< Terug naar vorige pagina
Onderzoeker
Tom Holvoet
- Disciplines:Distributed computing
Affiliaties
- Gedistribueerde en Veilige Software (DistriNet) (Afdeling)
Lid
Vanaf1 aug 2020 → Heden - Afdeling Informatica (Afdeling)
Lid
Vanaf1 okt 1999 → 4 aug 2020
Projecten
1 - 10 of 19
- Sabbatperiode Tom Holvoet: Studie en verificatie van kwetsbaarheden in ‘smart contracts’ voor gedecentraliseerde softwaresystemen in een blockchain-omgevingVanaf12 feb 2024 → HedenFinanciering: BOF - mobiliteit
- Sabbatperiode Tom Holvoet: Studie en verificatie van kwetsbaarheden in ‘smart contracts’ voor gedecentraliseerde softwaresystemen in een blockchain-omgevingVanaf12 feb 2024 → HedenFinanciering: FWO Prijzen en sabbaticals (vroeger FWO onbepaald)
- Kwaliteitsborging voor softwareframeworks in evolutieVanaf6 mei 2022 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Veilige en betrouwbare autonome systemen - formele specificatie en verificatieVanaf8 mrt 2021 → HedenFinanciering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Systematische analyse van veiligheids-vereisten voor autonome systemenVanaf1 mrt 2021 → 31 jan 2022Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Raamwerk om de weerbaarheid van Embedded Systemen te verhogen - FIRESVanaf1 jan 2021 → 31 dec 2023Financiering: IOF - technologie validatie in labo
- SAFETEE - Een platform voor veilige autonome systemenSAFETEE - Een platform voor veilige autonome systemenVanaf1 okt 2020 → HedenFinanciering: IOF - technologie concept exploratie
- Herstelvermogen van Voorwaartse Foutcorrectiemethoden in Harde Elektromagnetische Omgevingen: Foutmechanismen en Technieken voor FouteliminatieVanaf9 okt 2019 → 6 jun 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Ontwerpen van softwarerichtlijnen en testspecificaties voor niet-functionele vereisten in veiligheidskritische autonome systemenVanaf8 mei 2019 → 8 mei 2023Financiering: Eigen Middelen zoals patrimonium, inschrijvingsgelden, giften, ....
- Dynamische coördinatie van intralogistieke voertuigvloten onder resource- en routeringsbeperkingenVanaf1 okt 2018 → 3 okt 2022Financiering: BOF - Nieuwe Onderzoeksinitiatieven
Publicaties
1 - 10 van 120
- Generalized Hyperbolic Discounting in Security Games of Timing(2023)
Auteurs: Tom Holvoet
- Making model checking feasible for GOAL(2023)
Auteurs: Tom Holvoet
- Resilience of Forward Error Corrections in Harsh Electromagnetic Environments: Fault Mechanisms and Fault Elimination Techniques(2023)
Auteurs: Pejman Memar, Jeroen Boydens, Dries Vanoost, Tom Holvoet
- Safe and Robust Robot Behavior Planning via Constraint Programming(2023)
Auteurs: Jan Vermaelen, Tom Holvoet
Pagina's: 26 - 41 - Dynamic coordination of intralogistics vehicle fleets with resource and routing constraints(2022)
Auteurs: Matthias De Ryck, Eric Demeester, Davy Pissoort, Tom Holvoet
- Effectiveness of Forward Error Corrections Over Different Wired Communication Channels in Harsh Electromagnetic Environments(2022)
Auteurs: Pejman Memar, Zhao Chen, Dries Vanoost, Tom Holvoet, Davy Pissoort, Jeroen Boydens
Pagina's: 816 - 821 - Generating Safe Autonomous Decision-Making in ROS(2022)
Auteurs: Tom Holvoet
Pagina's: 184 - 192 - Resilience of Reed-Solomon Codes Against Single-Frequency Electromagnetic Disturbances: Fault Elimination Through Encoder Tuning(2022)
Auteurs: Pejman Memar, Jens Vankeirsbilck, Dries Vanoost, Tom Holvoet, Jeroen Boydens
Pagina's: 433 - 438 - Decentral task allocation for industrial AGV-systems with routing constraints(2021)
Auteurs: Matthias De Ryck, Davy Pissoort, Tom Holvoet, Eric Demeester
Pagina's: 135 - 144 - Towards classification trustworthiness: one-class classifier ensemble(2021)
Auteurs: Jens Vankeirsbilck, Dries Vanoost, Chandu Kancharla, Hans Hallez, Tom Holvoet, Jeroen Boydens
Pagina's: 1 - 6