Unifying Evaluation of Machine Learning Safety Monitors
Guerin, Joris, Ferreira, Raul Sena, Delmas, Kevin, Guiochet, Jeremie
Published in 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2022)
Published in 2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE) (01.10.2022)
Get full text
Conference Proceeding
Evaluation of Runtime Monitoring for UAV Emergency Landing
Guerin, Joris, Delmas, Kevin, Guiochet, Jeremie
Published in 2022 International Conference on Robotics and Automation (ICRA) (23.05.2022)
Published in 2022 International Conference on Robotics and Automation (ICRA) (23.05.2022)
Get full text
Conference Proceeding
Optimization of Development Assurance Level Allocation
Delmas, Kevin, Chambert, Laura, Frazza, Christophe, Seguin, Christel
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Published in 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) (01.10.2023)
Get full text
Conference Proceeding
Certifying Emergency Landing for Safe Urban UAV
Guerin, Joris, Delmas, Kevin, Guiochet, Jeremie
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) (01.06.2021)
Published in 2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W) (01.06.2021)
Get full text
Conference Proceeding
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML
Lesage, Benjamin, Boniol, Frédéric, Delmas, Kevin, Gauffriau, Adrien, Alfonso Mascarenas Gonzalez, Pagetti, Claire
Published in arXiv.org (18.06.2024)
Published in arXiv.org (18.06.2024)
Get full text
Paper
Journal Article
Safety Barrier Diagrams for Specific Operations of Drones
Bieber, Pierre, Delmas, Kevin, Blaye, Patrick Le, Pizziol, Sergio, Prosvirnova, Tatiana, Seguin, Christel
Published in 2024 International Conference on Unmanned Aircraft Systems (ICUAS) (04.06.2024)
Published in 2024 International Conference on Unmanned Aircraft Systems (ICUAS) (04.06.2024)
Get full text
Conference Proceeding
UAS Procedures Model with System Architecture for Safety Analysis
Mathou, Charles, Delmas, Kevin, De Saqui-Sannes, Pierre, Chaudemar, Jean-Charles
Published in 2024 International Conference on Unmanned Aircraft Systems (ICUAS) (04.06.2024)
Published in 2024 International Conference on Unmanned Aircraft Systems (ICUAS) (04.06.2024)
Get full text
Conference Proceeding
Safety-oriented dynamic procedure modeling
Mathou, Charles, Delmas, Kevin, de Saqui-Sannes, Pierre, Chaudemar, Jean-Charles
Published in 2024 IEEE International Systems Conference (SysCon) (15.04.2024)
Published in 2024 IEEE International Systems Conference (SysCon) (15.04.2024)
Get full text
Conference Proceeding
Out-Of-Distribution Detection Is Not All You Need
Guérin, Joris, Delmas, Kevin, Raul Sena Ferreira, Guiochet, Jérémie
Published in arXiv.org (13.01.2023)
Published in arXiv.org (13.01.2023)
Get full text
Paper
Journal Article
Unifying Evaluation of Machine Learning Safety Monitors
Guerin, Joris, Raul Sena Ferreira, Delmas, Kevin, Guiochet, Jérémie
Published in arXiv.org (31.08.2022)
Published in arXiv.org (31.08.2022)
Get full text
Paper
Journal Article
Modeling UAS Flight Procedures for SORA Safety Objectives
Mathou, Charles, Delmas, Kevin, Chaudemar, Jean-Charles, de Saqui-Sannes, Pierre
Published in 2023 IEEE International Systems Conference (SysCon) (17.04.2023)
Published in 2023 IEEE International Systems Conference (SysCon) (17.04.2023)
Get full text
Conference Proceeding
SMT-based architecture modelling for safety assessment
Delmas, Kevin, Delmas, Remi, Pagetti, Claire
Published in 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES) (01.06.2017)
Published in 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES) (01.06.2017)
Get full text
Conference Proceeding
PHYLOG: A model-based certification framework
Boniol, Frederic, Bouchebaba, Youcef, Brunel, Julien, Delmas, Kevin, Pagetti, Claire, Polacsek, Thomas, Sensfelder, Nathanael
Published in 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) (01.09.2018)
Published in 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) (01.09.2018)
Get full text
Conference Proceeding