| Formal verification of critical aerospace software V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu Aerospace Lab, p. 1-8, 2012 | 68 | 2012 |
| DALculus–theory and tool for development assurance level allocation P Bieber, R Delmas, C Seguin Computer Safety, Reliability, and Security: 30th International Conference …, 2011 | 44 | 2011 |
| Passenger-centric Urban Air Mobility: Fairness trade-offs and operational efficiency M Bennaceur, R Delmas, Y Hamadi Transportation Research Part C: Emerging Technologies 136, 103519, 2022 | 37 | 2022 |
| Formal methods for exchange policy specification R Delmas, T Polacsek Advanced Information Systems Engineering: 25th International Conference …, 2013 | 21 | 2013 |
| A few lessons learned in reinforcement learning for quadcopter attitude control N Bernini, M Bessa, R Delmas, A Gold, E Goubault, R Pennec, S Putot, ... Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 19 | 2021 |
| Industrial grade model checking: use Cases, constraints, tools and applications M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau | 16 | 2016 |
| Urban air mobility: from complex tactical conflict resolution to network design and fairness insights M Pelegrín, C d'Ambrosio, R Delmas, Y Hamadi Optimization Methods and Software 38 (6), 1311-1343, 2023 | 14 | 2023 |
| An evaluation of Monte-Carlo tree search for property falsification on hybrid flight control laws R Delmas, T Loquen, J Boada-Bauxell, M Carton Numerical Software Verification: 12th International Workshop, NSV 2019, New …, 2019 | 13 | 2019 |
| Supporting model based design R Delmas, D Doose, AF Pires, T Polacsek Model and Data Engineering: First International Conference, MEDI 2011 …, 2011 | 13 | 2011 |
| Formal methods for the analysis of critical control systems models: Combining non-linear and linear analyses A Champion, R Delmas, M Dierkes, PL Garoche, R Jobredeaux, P Roux Formal Methods for Industrial Critical Systems: 18th International Workshop …, 2013 | 12 | 2013 |
| SMT-AI: an abstract interpreter as oracle for k-induction P Roux, R Delmas, PL Garoche Electronic Notes in Theoretical Computer Science 267 (2), 55-68, 2010 | 12 | 2010 |
| A verification and validation process for model-driven engineering R Delmas, AF Pires, T Polacsek Progress in Flight dynamics, guidance, navigation, control, fault detection …, 2013 | 10 | 2013 |
| Automatic architecture hardening using safety patterns K Delmas, R Delmas, C Pagetti Computer Safety, Reliability, and Security: 34th International Conference …, 2015 | 8 | 2015 |
| Generating property-directed potential invariants by backward analysis A Champion, R Delmas, M Dierkes arXiv preprint arXiv:1301.0039, 2013 | 8 | 2013 |
| 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 |
| Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts N Bernini, M Bessa, R Delmas, A Gold, E Goubault, R Pennec, S Putot, ... Engineering Applications of Artificial Intelligence 127, 107090, 2024 | 6 | 2024 |
| Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework A Champion, R Delmas, M Dierkes Science of Computer Programming 103, 71-87, 2015 | 6 | 2015 |
| Towards cooperation of formal methods for the analysis of critical control systems A Champion, R Delmas, P Garoche, P Roux SAE International Journal of Aerospace 4 (2011-01-2558), 850-858, 2011 | 6 | 2011 |
| ALPACAS: a language for parametric assessment of critical architecture safety M Buyse, R Delmas, Y Hamadi 35th European Conference on Object-Oriented Programming (ECOOP 2021), 2021 | 5 | 2021 |