A framework for heterogeneous formal modeling and compositional verification of avionics systems. - Yamine Aït Ameur; Remi Delmas; Virginie Wiels (MEMOCODE, 2004)

Un Cadre Formel pour la Modélisation Hétérogène et la Vérification Compositionnelle des Systèmes Avioniques Modulaires Intégrés - Remi Delmas (2004)

Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language. - Yamine Aït Ameur; Remi Delmas; Alexandre Cortier; Virginie Wiels (ISoLA, 2006)

Un cadre formel pour la spécification multivue de systèmes avioniques. - Yamine Aït Ameur; Remi Delmas; Virginie Wiels (Tech. Sci. Informatiques, 2006)

Algorithmic Based Fault Tolerance Applied to High Performance Computing - George Bosilca; Remi Delmas; Jack J. Dongarra; Julien Langou (CoRR, 2008)

Algorithm-based fault tolerance applied to high performance computing. - George Bosilca; Remi Delmas; Jack J. Dongarra; Julien Langou (J. Parallel Distributed Comput., 2009)

SMT-AI: an Abstract Interpreter as Oracle for k-induction. - Pierre Roux 001; Remi Delmas; Pierre-Loïc Garoche (TAPAS@SAS, 2010)

IDM : Vers une aide ? la conception. - Rémi Delmas; Thomas Polacsek; David Doose; Anthony Fernandes Pires (INFORSID, 2011)

Supporting Model Based Design. - Rémi Delmas; David Doose; Anthony Fernandes Pires; Thomas Polacsek (MEDI, 2011)

DALculus - Theory and Tool for Development Assurance Level Allocation. - Pierre Bieber; Remi Delmas; Christel Seguin (SAFECOMP, 2011)

Vers une aide à la spécification d'une politique d'échange d'information dans un SI . - Thomas Polacsek; Laurence Cholvy; Rémi Delmas (INFORSID, 2012)

Generating Property-Directed Potential Invariants By Backward Analysis - Adrien Champion; Rémi Delmas; Michael Dierkes (FTSCS, 2012)

Formal Methods for Exchange Policy Specification. - Rémi Delmas; Thomas Polacsek (CAiSE, 2013)

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. - Adrien Champion; Rémi Delmas; Michael Dierkes; Pierre-Loïc Garoche; Romain Jobredeaux; Pierre Roux 001 (FMICS, 2013)

Critical Information Diffusion Systems. - Rémi Delmas; Thomas Polacsek (ADBIS (Short Papers and Workshops), 2015)

Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. - Rémi Delmas; Thomas Polacsek (CAiSE, 2015)

Vérification automatique d'exigences pour les politiques d'échange d'information. - Rémi Delmas; Thomas Polacsek (INFORSID, 2015)

Automatic Architecture Hardening Using Safety Patterns. - Kevin Delmas; Rémi Delmas; Claire Pagetti (SAFECOMP, 2015)

Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework. - Adrien Champion; Rémi Delmas; Michael Dierkes (Sci. Comput. Program., 2015)

Vérification automatique d'exigences pour les politiques d'échange d'information. Exigences de diffusion et de non-diffusion d'information. - Rémi Delmas; Thomas Polacsek (Ingénierie des Systèmes d Inf., 2016)

Éditorial. - Florence Sèdes; Rémi Delmas; Thomas Polacsek (Ingénierie des Systèmes d Inf., 2016)

SMT-Based Synthesis of Fault-Tolerant Architectures. - Kevin Delmas; Rémi Delmas; Claire Pagetti (SAFECOMP, 2017)

SMT-based architecture modelling for safety assessment. - Kevin Delmas; Remi Delmas; Claire Pagetti (SIES, 2017)

Automatic Generation of DO-178 Test Procedures. - César Ochoa Escudero; Rémi Delmas; Thomas Bochot; Matthieu David; Virginie Wiels (NFM, 2018)

An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. - Rémi Delmas; Thomas Loquen; Josep Boada-Bauxell; Mathieu Carton (NSV@CAV, 2019)

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. - Maxime Buyse; Rémi Delmas; Youssef Hamadi (ECOOP, 2021)

A few lessons learned in reinforcement learning for quadcopter attitude control. - Nicola Bernini; Mikhail Bessa; Rémi Delmas; Arthur Gold; Eric Goubault; Romain Pennec; Sylvie Putot; François X. Sillion (HSCC, 2021)

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact). - Maxime Buyse; Rémi Delmas; Youssef Hamadi (Dagstuhl Artifacts Ser., 2021)

Urban air mobility: from complex tactical conflict resolution to network design and fairness insights. - Mercedes Pelegrín; Claudia D'Ambrosio; Rémi Delmas; Youssef Hamadi (Optim. Methods Softw., 2023)

Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. - Nicola Bernini; Mikhail Bessa; Rémi Delmas; Arthur Gold; Eric Goubault; Romain Pennec; Sylvie Putot; François X. Sillion (Eng. Appl. Artif. Intell., 2024)