Rémi Delmas

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 16

Top Topics

Quantifier Elimination

Resolving Conflicts

Reinforcement Learning

Layered Architecture

Top Venues

Ingénierie des Systèmes d Inf.

Publications

Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Eng. Appl. Artif. Intell. 127 (Part A) (2024)
Mercedes Pelegrín, Claudia D'Ambrosio, Rémi Delmas, Youssef Hamadi
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights. Optim. Methods Softw. 38 (6) (2023)
Maxime Buyse, Rémi Delmas, Youssef Hamadi
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. ECOOP (2021)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
A few lessons learned in reinforcement learning for quadcopter attitude control. HSCC (2021)
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts. CoRR (2021)
Maxime Buyse, Rémi Delmas, Youssef Hamadi
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Rémi Delmas, Thomas Loquen, Josep Boada-Bauxell, Mathieu Carton
An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. NSV@CAV (2019)
César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels
Automatic Generation of DO-178 Test Procedures. NFM (2018)
Kevin Delmas, Rémi Delmas, Claire Pagetti
SMT-Based Synthesis of Fault-Tolerant Architectures. SAFECOMP (2017)
Florence Sèdes, Rémi Delmas, Thomas Polacsek
Éditorial. Ingénierie des Systèmes d Inf. 21 (4) (2016)
Rémi Delmas, Thomas Polacsek
Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information. Ingénierie des Systèmes d Inf. 21 (2) (2016)
Rémi Delmas, Thomas Polacsek
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. CAiSE (2015)
Rémi Delmas, Thomas Polacsek
Critical Information Diffusion Systems. ADBIS (Short Papers and Workshops) (2015)
Rémi Delmas, Thomas Polacsek
Vérification automatique d'exigences pour les politiques d'échange d'information. INFORSID (2015)
Adrien Champion, Rémi Delmas, Michael Dierkes
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework. Sci. Comput. Program. 103 (2015)
Kevin Delmas, Rémi Delmas, Claire Pagetti
Automatic Architecture Hardening Using Safety Patterns. SAFECOMP (2015)
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. FMICS (2013)
Rémi Delmas, Thomas Polacsek
Formal Methods for Exchange Policy Specification. CAiSE (2013)
Thomas Polacsek, Laurence Cholvy, Rémi Delmas
Vers une aide à la spécification d'une politique d'échange d'information dans un SI . INFORSID (2012)
Adrien Champion, Rémi Delmas, Michael Dierkes
Generating Property-Directed Potential Invariants By Backward Analysis FTSCS (2012)
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek
Supporting Model Based Design. MEDI (2011)
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires
IDM : Vers une aide ? la conception. INFORSID (2011)