Safety and Security Interference Analysis in the Design Stage.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2020 Workshops, 2020
ALEBAS: une méthodologie de développement et d'analyse de sûreté de fonctionnement des systèmes embarqués. (ALEBAS: a development and safety analysis methodology of embedded systems).
PhD thesis, 2018
Safety analysis generation from prototyping models for transportation systems.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016