Automatic Architecture Hardening Using Safety Patterns. - Kevin Delmas; Rémi Delmas; Claire Pagetti (SAFECOMP, 2015)

SMT-Based Synthesis of Fault-Tolerant Architectures. - Kevin Delmas; Rémi Delmas; Claire Pagetti (SAFECOMP, 2017)

SMT-based architecture modelling for safety assessment. - Kevin Delmas; Remi Delmas; Claire Pagetti (SIES, 2017)

Synthèse automatique d'architectures tolérantes aux fautes. (Automatic synthesis of fault tolerant architectures). - Kevin Delmas (2017)

Tiered Model-Based Safety Assessment. - Kevin Delmas; Christel Seguin; Pierre Bieber (IMBSA, 2019)

Patterns for Certification Standards. - Kevin Delmas; Claire Pagetti; Thomas Polacsek (CAiSE, 2020)

Certifying Emergency Landing for Safe Urban UAV. - Joris Guérin; Kevin Delmas; Jérémie Guiochet (DSN Workshops, 2021)

White Paper Machine Learning in Certified Systems. - Hervé Delseny; Christophe Gabreau; Adrien Gauffriau; Bernard Beaudouin; Ludovic Ponsolle; Lucian Alecu; Hugues Bonnin; Brice Beltran; Didier Duchel; Jean-Brice Ginestet; Alexandre Hervieu; Ghilaine Martinez; et al. (CoRR, 2021)

Evaluation of Runtime Monitoring for UAV Emergency Landing. - Joris Guérin; Kevin Delmas; Jérémie Guiochet (ICRA, 2022)

Unifying Evaluation of Machine Learning Safety Monitors. - Joris Guérin; Raul Sena Ferreira; Kevin Delmas; Jérémie Guiochet (ISSRE, 2022)

Quality of Fault Injection Strategies on Hardware Accelerator. - Iban Guinebert; Andres Barrilado; Kevin Delmas; Franck Galtié; Claire Pagetti (SAFECOMP, 2022)

Out-of-Distribution Detection Is Not All You Need. - Joris Guérin; Kevin Delmas; Raul Sena Ferreira; Jérémie Guiochet (AAAI, 2023)

Modeling UAS Flight Procedures for SORA Safety Objectives. - Charles Mathou; Kevin Delmas; Jean-Charles Chaudemar; Pierre de Saqui-Sannes (SysCon, 2023)

Safety-oriented dynamic procedure modeling. - Charles Mathou; Kevin Delmas; Pierre de Saqui-Sannes; Jean-Charles Chaudemar (SysCon, 2024)

Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring. - Khoi Tran Dang; Kevin Delmas; Jérémie Guiochet; Joris Guérin (UAI, 2024)

Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. - Benjamin Lesage; Frédéric Boniol; Kevin Delmas; Adrien Gauffriau; Alfonso Mascareñas González; Claire Pagetti (CoRR, 2024)

Safety Monitoring of Machine Learning Perception Functions: a Survey. - Raul Sena Ferreira; Joris Guérin; Kevin Delmas; Jérémie Guiochet; Hélène Waeselynck (CoRR, 2024)

Methodology for Formal Verification of Hardware Safety Strategies Using SMT. - Anthony Faure-Gignoux; Kevin Delmas; Adrien Gauffriau; Claire Pagetti (IEEE Embed. Syst. Lett., 2024)