Rmi Delmas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2011–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | A Neurosymbolic Approach to Natural Language Formalization and Verification. | Chenyang An, Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rmi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Victor Heorhiadi, 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 |
| 2021 | ECOOP | ALPACAS: A Language for Parametric Assessment of Critical Architecture Safety. | Maxime Buyse, Rmi Delmas, Youssef Hamadi |
| 2019 | CAV | An Evaluation of Monte-Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws. | Rmi Delmas, Thomas Loquen, Josep Boada-Bauxell, Mathieu Carton |
| 2017 | SAFECOMP | SMT-Based Synthesis of Fault-Tolerant Architectures. | Kevin Delmas, Rmi Delmas, Claire Pagetti |
| 2015 | ADBIS | Critical Information Diffusion Systems. | Rmi Delmas, Thomas Polacsek |
| 2015 | CaiSE | Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies. | Rmi Delmas, Thomas Polacsek |
| 2015 | SAFECOMP | Automatic Architecture Hardening Using Safety Patterns. | Kevin Delmas, Rmi Delmas, Claire Pagetti |
| 2013 | CaiSE | Formal Methods for Exchange Policy Specification. | Rmi Delmas, Thomas Polacsek |
| 2013 | FMICS | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. | Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux |
| 2011 | MEDI | Supporting Model Based Design. | Rmi Delmas, David Doose, Anthony Fernandes Pires, Thomas Polacsek |