< 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
21 - 30 of 119
- Analysis of Activation Constraints and their Effect on Demand-Side Flexibility Allocations(2018)
Authors: Kristof Coninx, Geert Deconinck, Tom Holvoet
Pages: 1 - 6Number of pages: 6 - Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems(2018)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 152 - 155Number of pages: 155 - Sound and complete reactive UAV behavior using constraint programming(2018)
Authors: Hoang Tung Dinh, Tom Holvoet
Pages: 143 - 151Number of pages: 155 - Computational Analysis of Demand-side Management in Smart Grids(2018)
Authors: Kristof Coninx, Tom Holvoet
- Who gets my flex? An evolutionary game theory analysis of flexibility market dynamics(2018)
Authors: Kristof Coninx, Geert Deconinck, Tom Holvoet
Pages: 104 - 113 - UAVs versus Pirates: A Pheromone-based Swarm Monitoring Method(2018)
Authors: Tom Holvoet
Pages: 2253 - 2258Number of pages: 6 - Optimizing agents with genetic programming: an evaluation of hyper-heuristics in dynamic real-time logistics(2018)
Authors: Rinde van Lon, Tom Holvoet
Pages: 93 - 120 - Multi-agent Systems for Dynamic Logistics - Systematic Evaluation and Bio-inspired Optimization(2017)
Authors: Rinde van Lon, Tom Holvoet
- Combining DSM and storage to alleviate current congestion in distribution grids(2017)
Authors: Kristof Coninx, Tom Holvoet
Pages: 1 - 6 - Scalable multirotor UAV trajectory planning using Mixed integer linear programming(2017)
Authors: Hoang Tung Dinh, Mario Henrique Cruz Torres, Tom Holvoet
Pages: 1 - 6