Suivre
Rémi Delmas
Rémi Delmas
Amazon AWS ARG
Adresse e-mail validée de amazon.com - Page d'accueil
Titre
Citée par
Citée par
Année
Formal verification of critical aerospace software
V Wiels, R Delmas, D Doose, PL Garoche, J Cazin, G Durrieu
Aerospace Lab, p. 1-8, 2012
692012
DALculus–theory and tool for development assurance level allocation
P Bieber, R Delmas, C Seguin
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
402011
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
252022
Formal methods for exchange policy specification
R Delmas, T Polacsek
Advanced Information Systems Engineering: 25th International Conference …, 2013
212013
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
162021
Industrial grade model checking: use Cases, constraints, tools and applications
M Clabaut, N Ge, N Breton, E Jenn, R Delmas, Y Fonteneau
142016
Supporting model based design
R Delmas, D Doose, AF Pires, T Polacsek
Model and Data Engineering: First International Conference, MEDI 2011 …, 2011
142011
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
132019
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
122013
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
122010
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
112023
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
102013
Automatic architecture hardening using safety patterns
K Delmas, R Delmas, C Pagetti
Computer Safety, Reliability, and Security: 34th International Conference …, 2015
92015
SMT-based architecture modelling for safety assessment
K Delmas, R Delmas, C Pagetti
2017 12th IEEE International Symposium on Industrial Embedded Systems (SIES …, 2017
82017
Smt-based synthesis of fault-tolerant architectures
K Delmas, R Delmas, C Pagetti
Computer Safety, Reliability, and Security: 36th International Conference …, 2017
82017
Generating property-directed potential invariants by backward analysis
A Champion, R Delmas, M Dierkes
FTSCS 105, 22-38, 2012
82012
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
62015
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
62011
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
52024
Utilisation de techniques SAT/PseudoBool pour la synthèse de modèles corrects par construction dans le cadre IDM
R Delmas, D Doose, T Polacsek
Génie Logiciel 97, 2011
52011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20