关注
kevin delmas
kevin delmas
在 onera.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
242020
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
222021
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
212023
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
192022
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
152021
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
142021
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
122022
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
82022
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
82020
Automatic architecture hardening using safety patterns
K Delmas, R Delmas, C Pagetti
Computer Safety, Reliability, and Security: 34th International Conference …, 2015
82015
SMT-based architecture modelling for safety assessment
K Delmas, R Delmas, C Pagetti
2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2017
72017
Smt-based synthesis of fault-tolerant architectures
K Delmas, R Delmas, C Pagetti
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
72017
Tiered model-based safety assessment
K Delmas, C Seguin, P Bieber
Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019 …, 2019
62019
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
52022
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
42018
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
22023
Multi-core processor: Stepping inside the box
P Cuenot, K Delmas, C Pagetti
ESREL 2021, 2021
22021
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
22020
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
12023
A comprehensive probabilistic assessment method of UAS ground collision risk
T Serru, K Delmas
31st European Safety and Reliability Conference (ESREL), 38-45, 2021
12021
系统目前无法执行此操作,请稍后再试。
文章 1–20