FOundations for Reliable, CorrEct, and Secure robotic systems

Project: Onderzoek › DEFRA

Enhancing cybersecurity in robotic programming to ensure autonomous systems remain safe and reliable in complex operations.

This project has received funding from the Royal Higher Institute for Defence of Belgian Defence under the Defence-related Research Action (DEFRA).

Toegang project

FORCES: An Incremental Transpiler from C/C++ to Rust for Robust and Secure Robotics Systems
Engels, T., Discepoli, A., De Greef, R., Aguililla Klein, E., D'agostino, F., Gunsett, R., Pisane, J., Hasselmann, K. & Paolillo, A., 23 mei 2025. 5 blz.
Onderzoeksoutput: ONGEPUBLICEERD bijdrage aan congres › Paper › peer review

Open Access
Towards Macro-Aware C-to-Rust Transpilation (WIP)
De Greef, R., Discepoli, A., Aguililla Klein, E., Engels, T., Hasselmann, K. & Paolillo, A., 13 jun. 2025, Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. blz. 57-61
Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › peer review

Open Access

2025 IEEE International Conference on Robotics and Automation, ICRA 2025
Engels, T. (Deelnemer)
19 mei 2025 → 23 mei 2025
Activiteit: Deelnemen aan een evenement (conferntie, meetcampagne, ...) of er een organiseren › Deelnemen aan een conferentie, workshop, ...
FOSDEM 2026
Engels, T. (Deelnemer)
31 jan. 2026 → 1 feb. 2026
Activiteit: Deelnemen aan een evenement (conferntie, meetcampagne, ...) of er een organiseren › Deelnemen aan een conferentie, workshop, ...
FORCES - FOundations for Reliable, CorrEct and Secure robotic systems
Engels, T. (Poster presenter), Discepoli, A. (Co-auteur), De Greef, R. (Co-auteur), Aguililla Klein, E. (Co-auteur), D'agostino, F. (Co-auteur), Gunsett, R. (Co-auteur), Pisane, J. (Co-auteur), Hasselmann, K. (Co-auteur) & Paolillo, A. (Co-auteur)
19 mei 2025
Activiteit: Conferentie of presentatie › Presentatie van een poster van wetenschappelijke aard