Kevin Delmas

According to our database, Kevin Delmas authored at least 22 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Unifying Runtime Monitoring Approaches for Safety-Critical Machine Learning: Application to Vision-Based Landing.

Mathieu Dario, Florent Chenevier, Kevin Delmas, Joris Guérin, Jérémie Guiochet

CoRR, April, 2026

Compilation and Execution of an Embeddable YOLO-NAS on the VTA.

Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti

CoRR, April, 2026

2025

Open-source Stand-Alone Versatile Tensor Accelerator.

Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti

CoRR, September, 2025

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

Comput. Intell., 2025

An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance.

Pierre Bieber, Kevin Delmas, Sergio Pizziol, Tatiana Prosvirnova, Christel Seguin

Proceedings of the Model-Based Safety and Assessment - 9th International Symposium, 2025

2024

Methodology for Formal Verification of Hardware Safety Strategies Using SMT.

Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti

IEEE Embed. Syst. Lett., December, 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

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

Proceedings of the Uncertainty in Artificial Intelligence, 2024

Safety-oriented dynamic procedure modeling.

Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar

Proceedings of the IEEE International Systems Conference, 2024

2023

Modeling UAS Flight Procedures for SORA Safety Objectives.

Charles Mathou, Kevin Delmas, Jean-Charles Chaudemar, Pierre de Saqui-Sannes

Proceedings of the IEEE International Systems Conference, 2023

Out-of-Distribution Detection Is Not All You Need.

Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Quality of Fault Injection Strategies on Hardware Accelerator.

Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti

Proceedings of the Computer Safety, Reliability, and Security, 2022

Unifying Evaluation of Machine Learning Safety Monitors.

Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Evaluation of Runtime Monitoring for UAV Emergency Landing.

Joris Guérin, Kevin Delmas, Jérémie Guiochet

Proceedings of the 2022 International Conference on Robotics and Automation, 2022

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, Sylvain Pasquet, Kevin Delmas, Claire Pagetti, Jean-Marc Gabriel, Camille Chapdelaine, Sylvaine Picard, Mathieu Damour, Cyril Cappi, Laurent Gardès, Florence de Grancey, Eric Jenn, Baptiste Lefèvre, Grégory Flandin, Sébastien Gerchinovitz, Franck Mamalet, Alexandre Albore

CoRR, 2021

Certifying Emergency Landing for Safe Urban UAV.

Joris Guérin, Kevin Delmas, Jérémie Guiochet

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2021

2020

Patterns for Certification Standards.

Kevin Delmas, Claire Pagetti, Thomas Polacsek

Proceedings of the Advanced Information Systems Engineering, 2020

2019

Tiered Model-Based Safety Assessment.

Kevin Delmas, Christel Seguin, Pierre Bieber

Proceedings of the Model-Based Safety and Assessment - 6th International Symposium, 2019

2017

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

Kevin Delmas

PhD thesis, 2017

SMT-based architecture modelling for safety assessment.

Kevin Delmas, Remi Delmas, Claire Pagetti

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

SMT-Based Synthesis of Fault-Tolerant Architectures.

Kevin Delmas, Rémi Delmas, Claire Pagetti

Proceedings of the Computer Safety, Reliability, and Security, 2017

2015

Automatic Architecture Hardening Using Safety Patterns.

Kevin Delmas, Rémi Delmas, Claire Pagetti

Proceedings of the Computer Safety, Reliability, and Security, 2015