Kevin Delmas

ORCID

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 19

Top Venues

University of Toulouse, France (PHD)

Education History

University of Toulouse, France

PHD

Publications

Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar
Safety-oriented dynamic procedure modeling. SysCon (2024)
Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin
Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring. CoRR (2024)
Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. CoRR (2024)
Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet
Out-of-Distribution Detection Is Not All You Need. AAAI (2023)
Charles Mathou, Kevin Delmas, Jean-Charles Chaudemar, Pierre de Saqui-Sannes
Modeling UAS Flight Procedures for SORA Safety Objectives. SysCon (2023)
Joris Guérin, Kevin Delmas, Jérémie Guiochet
Evaluation of Runtime Monitoring for UAV Emergency Landing. CoRR (2022)
Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
Unifying Evaluation of Machine Learning Safety Monitors. ISSRE (2022)
Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti
Quality of Fault Injection Strategies on Hardware Accelerator. SAFECOMP (2022)
Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
Unifying Evaluation of Machine Learning Safety Monitors. CoRR (2022)
Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet
Out-Of-Distribution Detection Is Not All You Need. CoRR (2022)
Joris Guérin, Kevin Delmas, Jérémie Guiochet
Evaluation of Runtime Monitoring for UAV Emergency Landing. ICRA (2022)
Joris Guérin, Kevin Delmas, Jérémie Guiochet
Certifying Emergency Landing for Safe Urban UAV. CoRR (2021)
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
White Paper Machine Learning in Certified Systems. CoRR (2021)
Joris Guérin, Kevin Delmas, Jérémie Guiochet
Certifying Emergency Landing for Safe Urban UAV. DSN Workshops (2021)
Kevin Delmas, Claire Pagetti, Thomas Polacsek
Patterns for Certification Standards. CAiSE (2020)
Kevin Delmas, Christel Seguin, Pierre Bieber
Tiered Model-Based Safety Assessment. IMBSA (2019)
Kevin Delmas, Rémi Delmas, Claire Pagetti
SMT-Based Synthesis of Fault-Tolerant Architectures. SAFECOMP (2017)
Kevin Delmas, Remi Delmas, Claire Pagetti
SMT-based architecture modelling for safety assessment. SIES (2017)
Kevin Delmas, Rémi Delmas, Claire Pagetti
Automatic Architecture Hardening Using Safety Patterns. SAFECOMP (2015)

Kevin Delmas.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kevin Delmas