Rémi Delmas

23 papers A 3B 2C 2Journal 8Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Neurosymbolic Approach to Natural Language Formalization and Verification.
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2024 J jnl
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts.
Eng. Appl. Artif. Intell.
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
2023 J jnl
Urban air mobility: from complex tactical conflict resolution to network design and fairness insights.
Optim. Methods Softw.
Mercedes Pelegrín, Claudia D'Ambrosio, Rémi Delmas, Youssef Hamadi
2021 — conf
A few lessons learned in reinforcement learning for quadcopter attitude control.
HSCC
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
2021 J jnl
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety (Artifact).
Dagstuhl Artifacts Ser.
Maxime Buyse, Rémi Delmas, Youssef Hamadi
2021 A conf
ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety.
ECOOP
Maxime Buyse, Rémi Delmas, Youssef Hamadi
2021 J jnl
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts.
CoRR
Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
2019 — conf
An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws.
NSV@CAV
Rémi Delmas, Thomas Loquen, Josep Boada-Bauxell, Mathieu Carton
2018 — conf
Automatic Generation of DO-178 Test Procedures.
NFM
César Ochoa Escudero, Rémi Delmas, Thomas Bochot, Matthieu David, Virginie Wiels
2017 B conf
SMT-Based Synthesis of Fault-Tolerant Architectures.
SAFECOMP
Kevin Delmas, Rémi Delmas, Claire Pagetti
2016 J jnl
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.
Rémi Delmas, Thomas Polacsek
2016 J jnl
Éditorial.
Ingénierie des Systèmes d Inf.
Florence Sèdes, Rémi Delmas, Thomas Polacsek
2015 B conf
Automatic Architecture Hardening Using Safety Patterns.
SAFECOMP
Kevin Delmas, Rémi Delmas, Claire Pagetti
2015 — conf
Critical Information Diffusion Systems.
ADBIS (Short Papers and Workshops)
Rémi Delmas, Thomas Polacsek
2015 J jnl
Generating property-directed potential invariants by quantifier elimination in a k-induction-based framework.
Sci. Comput. Program.
Adrien Champion, Rémi Delmas, Michael Dierkes
2015 A conf
Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies.
CAiSE
Rémi Delmas, Thomas Polacsek
2015 — conf
Vérification automatique d'exigences pour les politiques d'échange d'information.
INFORSID
Rémi Delmas, Thomas Polacsek
2013 A conf
Formal Methods for Exchange Policy Specification.
CAiSE
Rémi Delmas, Thomas Polacsek
2013 C conf
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.
FMICS
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
2012 — conf
Generating Property-Directed Potential Invariants By Backward Analysis
FTSCS
Adrien Champion, Rémi Delmas, Michael Dierkes
2012 — conf
Vers une aide à la spécification d'une politique d'échange d'information dans un SI .
INFORSID
Thomas Polacsek, Laurence Cholvy, Rémi Delmas
2011 — conf
IDM : Vers une aide ? la conception.
INFORSID
Rémi Delmas, Thomas Polacsek, David Doose, Anthony Fernandes Pires
2011 C conf
Supporting Model Based Design.
MEDI
Rémi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek