Kevin Delmas

According to our database, Kevin Delmas authored at least 13 papers between 2015 and 2023.

Collaborative distances:

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

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