< Back to previous page
Researcher
Tom Holvoet
- Disciplines:Distributed computing
Affiliations
- Distributed and Secure Software (DistriNet) (Division)
Member
From1 Aug 2020 → Today - Informatics Section (Division)
Member
From1 Oct 1999 → 4 Aug 2020
Projects
1 - 10 of 19
- Sabbatical Tom Holvoet: Study and verification of vulnerabilities in smart contracts for decentralized software systems in a blockchain environmentFrom12 Feb 2024 → TodayFunding: BOF - mobility
- Sabbatical Tom Holvoet: Study and verification of vulnerabilities in smart contracts for decentralized software systems in a blockchain environmentFrom12 Feb 2024 → TodayFunding: FWO Prices and sabbaticals (before FWO undefined)
- Quality Assurance for Software Frameworks in EvolutionFrom6 May 2022 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Safe and Dependable Autonomous Systems - Formal Specification and VerificationFrom8 Mar 2021 → TodayFunding: Own budget, for example: patrimony, inscription fees, gifts
- Safe and Dependable Autonomous Systems - Formal specification and verificationFrom1 Mar 2021 → 31 Jan 2022Funding: Own budget, for example: patrimony, inscription fees, gifts
- A Framework to Increase the Resilience of Embedded Systems – FIRESFrom1 Jan 2021 → 31 Dec 2023Funding: IOF - technology validation in lab
- SAFETEE - Towards a computing platform for safe autonomous systemsFrom1 Oct 2020 → TodayFunding: IOF - technology concept exploration
- Resilience of Forward Error Corrections in Harsh Electromagnetic Environments: Fault Mechanisms and Fault Elimination TechniquesFrom9 Oct 2019 → 6 Jun 2023Funding: Own budget, for example: patrimony, inscription fees, gifts
- Creating software design guidelines and testing specifications for non-functional requirements in safety-critical autonomous systemsFrom8 May 2019 → 8 May 2023Funding: Own budget, for example: patrimony, inscription fees, gifts
- Dynamic coordination of intralogistics vehicle fleets with resource and routing constraintsFrom1 Oct 2018 → 3 Oct 2022Funding: BOF - Doctoral projects
Publications
1 - 10 of 120
- Generalized Hyperbolic Discounting in Security Games of Timing(2023)
Authors: Tom Holvoet
- Making model checking feasible for GOAL(2023)
Authors: Tom Holvoet
- Resilience of Forward Error Corrections in Harsh Electromagnetic Environments: Fault Mechanisms and Fault Elimination Techniques(2023)
Authors: Pejman Memar, Jeroen Boydens, Dries Vanoost, Tom Holvoet
- Safe and Robust Robot Behavior Planning via Constraint Programming(2023)
Authors: Jan Vermaelen, Tom Holvoet
Pages: 26 - 41 - Dynamic coordination of intralogistics vehicle fleets with resource and routing constraints(2022)
Authors: Matthias De Ryck, Eric Demeester, Davy Pissoort, Tom Holvoet
- Effectiveness of Forward Error Corrections Over Different Wired Communication Channels in Harsh Electromagnetic Environments(2022)
Authors: Pejman Memar, Zhao Chen, Dries Vanoost, Tom Holvoet, Davy Pissoort, Jeroen Boydens
Pages: 816 - 821 - Generating Safe Autonomous Decision-Making in ROS(2022)
Authors: Tom Holvoet
Pages: 184 - 192 - Resilience of Reed-Solomon Codes Against Single-Frequency Electromagnetic Disturbances: Fault Elimination Through Encoder Tuning(2022)
Authors: Pejman Memar, Jens Vankeirsbilck, Dries Vanoost, Tom Holvoet, Jeroen Boydens
Pages: 433 - 438 - Decentral task allocation for industrial AGV-systems with routing constraints(2021)
Authors: Matthias De Ryck, Davy Pissoort, Tom Holvoet, Eric Demeester
Pages: 135 - 144 - Towards classification trustworthiness: one-class classifier ensemble(2021)
Authors: Jens Vankeirsbilck, Dries Vanoost, Chandu Kancharla, Hans Hallez, Tom Holvoet, Jeroen Boydens
Pages: 1 - 6