| 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 | 39 | 2023 |
| 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 | 27 | 2021 |
| 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 | 27 | 2020 |
| 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 | 22 | 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 | 18 | 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 | 16 | 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 | 15 | 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 | 10 | 2020 |
| 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 | 9 | 2022 |
| Tiered model-based safety assessment K Delmas, C Seguin, P Bieber Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019 | 8 | 2019 |
| Automatic architecture hardening using safety patterns K Delmas, R Delmas, C Pagetti Computer Safety, Reliability, and Security: 34th International Conference …, 2015 | 8 | 2015 |
| 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 | 7 | 2022 |
| 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 |
| 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 | 5 | 2018 |
| Patterns for certification standards K Delmas, C Pagetti, T Polacsek Advanced Information Systems Engineering: 32nd International Conference …, 2020 | 4 | 2020 |
| A service-based modelling approach to ease the certification of multi-core COTS processors F Boniol, Y Bouchebaba, J Brunel, K Delmas, C Pagetti, T Polacsek, ... SAE AEROTECH® Europe, 2019 | 4 | 2019 |
| Multi-core processor: Stepping inside the box P Cuenot, K Delmas, C Pagetti ESREL 2021, 2021 | 3 | 2021 |
| 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 |
| Quality of Fault Injection Strategies on Hardware Accelerator I Guinebert, A Barrilado, K Delmas, F Galtié, C Pagetti International Conference on Computer Safety, Reliability, and Security, 222-236, 2022 | 2 | 2022 |