| Identifying challenges to the certification of machine learning for safety critical systems E Jenn, A Albore, F Mamalet, G Flandin, C Gabreau, H Delseny, ... European congress on embedded real time systems (ERTS 2020), 2020 | 24 | 2020 |
| White paper machine learning in certified systems H Delseny, C Gabreau, A Gauffriau, B Beaudouin, L Ponsolle, L Alecu, ... arXiv preprint arXiv:2103.10529, 2021 | 22 | 2021 |
| Out-of-distribution detection is not all you need J Guérin, K Delmas, R Ferreira, J Guiochet Proceedings of the AAAI conference on artificial intelligence 37 (12), 14829 …, 2023 | 21 | 2023 |
| Evaluation of runtime monitoring for UAV emergency landing J Guerin, K Delmas, J Guiochet 2022 International Conference on Robotics and Automation (ICRA), 9703-9709, 2022 | 19 | 2022 |
| White paper machine learning in certified systems F Mamalet, E Jenn, G Flandin, H Delseny, C Gabreau, A Gauffriau, ... IRT Saint Exupéry; ANITI, 2021 | 15 | 2021 |
| Certifying emergency landing for safe urban uav J Guérin, K Delmas, J Guiochet 2021 51st Annual IEEE/IFIP international conference on dependable systems …, 2021 | 14 | 2021 |
| Unifying evaluation of machine learning safety monitors J Guerin, RS Ferreira, K Delmas, J Guiochet 2022 IEEE 33rd International Symposium on Software Reliability Engineering …, 2022 | 12 | 2022 |
| Can we reconcile safety objectives with machine learning performances? L Alecu, H Bonnin, T Fel, L Gardes, S Gerchinovitz, L Ponsolle, F Mamalet, ... ERTS 2022, 2022 | 8 | 2022 |
| PHYLOG certification methodology: a sane way to embed multi-core processors F Boniol, Y Bouchebaba, J Brunel, K Delmas, T Loquen, AM Gonzalez, ... 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020 | 8 | 2020 |
| Automatic architecture hardening using safety patterns K Delmas, R Delmas, C Pagetti Computer Safety, Reliability, and Security: 34th International Conference …, 2015 | 8 | 2015 |
| SMT-based architecture modelling for safety assessment K Delmas, R Delmas, C Pagetti 2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2017 | 7 | 2017 |
| Smt-based synthesis of fault-tolerant architectures K Delmas, R Delmas, C Pagetti Computer Safety, Reliability, and Security: 36th International Conference …, 2017 | 7 | 2017 |
| Tiered model-based safety assessment K Delmas, C Seguin, P Bieber Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 6 | 2019 |
| Modelling and analyzing multi-core COTS processors F Boniol, J Brunel, K Delmas, C Pagetti, V Jegu 11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), 2022 | 5 | 2022 |
| PHYLOG: a model-based certification framework F Boniol, Y Bouchebaba, J Brunel, K Delmas, C Pagetti, T Polacsek, ... 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC), 1-9, 2018 | 4 | 2018 |
| Modeling uas flight procedures for sora safety objectives C Mathou, K Delmas, JC Chaudemar, P de Saqui-Sannes 2023 IEEE International Systems Conference (SysCon), 1-8, 2023 | 2 | 2023 |
| Multi-core processor: Stepping inside the box P Cuenot, K Delmas, C Pagetti ESREL 2021, 2021 | 2 | 2021 |
| On the safety assessment of RPAS safety policy D Couto, K Delmas, X Pucel 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), 2020 | 2 | 2020 |
| Optimization of Development Assurance Level Allocation K Delmas, L Chambert, C Frazza, C Seguin 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
| A comprehensive probabilistic assessment method of UAS ground collision risk T Serru, K Delmas 31st European Safety and Reliability Conference (ESREL), 38-45, 2021 | 1 | 2021 |
