Kevin Delmas

25 papers A* 2A 3B 3Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
An Altarica-Based Modelling and Analysis Approach Enabling UAV Regulation Compliance.
IMBSA
Pierre Bieber, Kevin Delmas, Sergio Pizziol, Tatiana Prosvirnova, Christel Seguin
2025 J jnl
Open-source Stand-Alone Versatile Tensor Accelerator.
CoRR
Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti
2024 A conf
Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring.
UAI
Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin
2024 J jnl
Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring.
CoRR
Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin
2024 J jnl
Methodology for Formal Verification of Hardware Safety Strategies Using SMT.
IEEE Embed. Syst. Lett.
Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti
2024 J jnl
Safety Monitoring of Machine Learning Perception Functions: a Survey.
CoRR
Raul Sena Ferreira, Joris Guérin, Kevin Delmas, Jérémie Guiochet, Hélène Waeselynck
2024 — conf
Safety-oriented dynamic procedure modeling.
SysCon
Charles Mathou, Kevin Delmas, Pierre de Saqui-Sannes, Jean-Charles Chaudemar
2024 J jnl
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML.
CoRR
Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
2023 — conf
Modeling UAS Flight Procedures for SORA Safety Objectives.
SysCon
Charles Mathou, Kevin Delmas, Jean-Charles Chaudemar, Pierre de Saqui-Sannes
2023 A* conf
Out-of-Distribution Detection Is Not All You Need.
AAAI
Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet
2022 A* conf
Evaluation of Runtime Monitoring for UAV Emergency Landing.
ICRA
Joris Guérin, Kevin Delmas, Jérémie Guiochet
2022 J jnl
Evaluation of Runtime Monitoring for UAV Emergency Landing.
CoRR
Joris Guérin, Kevin Delmas, Jérémie Guiochet
2022 J jnl
Out-Of-Distribution Detection Is Not All You Need.
CoRR
Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet
2022 B conf
Quality of Fault Injection Strategies on Hardware Accelerator.
SAFECOMP
Iban Guinebert, Andres Barrilado, Kevin Delmas, Franck Galtié, Claire Pagetti
2022 A conf
Unifying Evaluation of Machine Learning Safety Monitors.
ISSRE
Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
2022 J jnl
Unifying Evaluation of Machine Learning Safety Monitors.
CoRR
Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet
2021 — conf
Certifying Emergency Landing for Safe Urban UAV.
DSN Workshops
Joris Guérin, Kevin Delmas, Jérémie Guiochet
2021 J jnl
Certifying Emergency Landing for Safe Urban UAV.
CoRR
Joris Guérin, Kevin Delmas, Jérémie Guiochet
2021 J jnl
White Paper Machine Learning in Certified Systems.
CoRR
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
2020 A conf
Patterns for Certification Standards.
CAiSE
Kevin Delmas, Claire Pagetti, Thomas Polacsek
2019 — conf
Tiered Model-Based Safety Assessment.
IMBSA
Kevin Delmas, Christel Seguin, Pierre Bieber
2017 B conf
SMT-Based Synthesis of Fault-Tolerant Architectures.
SAFECOMP
Kevin Delmas, Rémi Delmas, Claire Pagetti
2017 — conf
SMT-based architecture modelling for safety assessment.
SIES
Kevin Delmas, Remi Delmas, Claire Pagetti
2017 — —
Synthèse automatique d'architectures tolérantes aux fautes. (Automatic synthesis of fault tolerant architectures).
Kevin Delmas
2015 B conf
Automatic Architecture Hardening Using Safety Patterns.
SAFECOMP
Kevin Delmas, Rémi Delmas, Claire Pagetti