Rémi Delmas

According to our database, Rémi Delmas authored at least 30 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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., January, 2024

2023

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., November, 2023

2021

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).

Maxime Buyse, Rémi Delmas, Youssef Hamadi

Dagstuhl Artifacts Ser., 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

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety.

Maxime Buyse, Rémi Delmas, Youssef Hamadi

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2019

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

Proceedings of the Numerical Software Verification - 12th International Workshop, 2019

2018

Automatic Generation of DO-178 Test Procedures.

César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2017

SMT-based architecture modelling for safety assessment.

Kevin Delmas, Remi Delmas, Claire Pagetti

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

SMT-Based Synthesis of Fault-Tolerant Architectures.

Kevin Delmas, Rémi Delmas, Claire Pagetti

Proceedings of the Computer Safety, Reliability, and Security, 2017

2016

Éditorial.

Florence Sèdes, Rémi Delmas, Thomas Polacsek

Ingénierie des Systèmes d Inf., 2016

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

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

Automatic Architecture Hardening Using Safety Patterns.

Kevin Delmas, Rémi Delmas, Claire Pagetti

Proceedings of the Computer Safety, Reliability, and Security, 2015

Vérification automatique d'exigences pour les politiques d'échange d'information.

Rémi Delmas, Thomas Polacsek

Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015

Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies.

Rémi Delmas, Thomas Polacsek

Proceedings of the Advanced Information Systems Engineering, 2015

Critical Information Diffusion Systems.

Rémi Delmas, Thomas Polacsek

Proceedings of the New Trends in Databases and Information Systems, 2015

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Formal Methods for Exchange Policy Specification.

Rémi Delmas, Thomas Polacsek

Proceedings of the Advanced Information Systems Engineering, 2013

2012

Generating Property-Directed Potential Invariants By Backward Analysis

Adrien Champion, Rémi Delmas, Michael Dierkes

Proceedings of the Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, 2012

Vers une aide à la spécification d'une politique d'échange d'information dans un SI .

Thomas Polacsek, Laurence Cholvy, Rémi Delmas

Proceedings of the Actes du XXXème Congrès INFORSID, Montpellier, France, 29 - 31 mai 2012, 2012

2011

DALculus - Theory and Tool for Development Assurance Level Allocation.

Pierre Bieber, Remi Delmas, Christel Seguin

Proceedings of the Computer Safety, Reliability, and Security, 2011

Supporting Model Based Design.

Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek

Proceedings of the Model and Data Engineering - First International Conference, 2011

IDM : Vers une aide ? la conception.

Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires

Proceedings of the Actes du XXIXème Congrès INFORSID, Lille, France, 24-25 mai 2011, 2011

2010

SMT-AI: an Abstract Interpreter as Oracle for k-induction.

Pierre Roux, Remi Delmas, Pierre-Loïc Garoche

Proceedings of the Tools for Automatic Program AnalysiS, 2010

2009

Algorithm-based fault tolerance applied to high performance computing.

George Bosilca, Remi Delmas, Jack J. Dongarra, Julien Langou

J. Parallel Distributed Comput., 2009

2008

Algorithmic Based Fault Tolerance Applied to High Performance Computing

George Bosilca, Remi Delmas, Jack J. Dongarra, Julien Langou

CoRR, 2008

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

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

Proceedings of the Leveraging Applications of Formal Methods, 2006

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

PhD thesis, 2004

A framework for heterogeneous formal modeling and compositional verification of avionics systems.

Yamine Aït Ameur, Remi Delmas, Virginie Wiels

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004