Rmi Douence
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
15
Active years
1998–2026
Best venue rank
A*
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors. | Sidney Congard, Guillaume Munch-Maccagnoni, Rmi Douence |
| 2025 | CPAIOR | Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints. | Jovial Cheukam-Ngouonou, Ramiz Gindullin, Claude-Guy Quimper, Nicolas Beldiceanu, Rmi Douence |
| 2024 | AAAI | Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. | Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rmi Douence, Claude-Guy Quimper |
| 2023 | CPAIOR | Boolean-Arithmetic Equations: Acquisition and Uses. | Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rmi Douence, Claude-Guy Quimper |
| 2022 | CP | Acquiring Maps of Interrelated Conjectures on Sharp Bounds. | Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rmi Douence, Ramiz Gindullin, Claude-Guy Quimper |
| 2016 | CPAIOR | Time-Series Constraints: Improvements and Application in CP and MIP Contexts. | Ekaterina Arafailova, Nicolas Beldiceanu, Rmi Douence, Pierre Flener, Mara Andrena Francisco Rodrguez, Justin Pearson, Helmut Simonis |
| 2015 | MODELS | Lazy Evaluation for OCL. | Massimo Tisi, Rmi Douence, Dennis Wagelaar |
| 2015 | TrustCom | A Language for the Composition of Privacy-Enforcement Techniques. | Ronan-Alexandre Cherrueau, Rmi Douence, Mario Sdholt |
| 2014 | PPDP | Lazier Imperative Programming. | Rmi Douence, Nicolas Tabareau |
| 2013 | ESORICS | Reference Monitors for Security and Interoperability in OAuth 2.0. | Ronan-Alexandre Cherrueau, Rmi Douence, Jean-Claude Royer, Mario Sdholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico |
| 2012 | WEBIST | A Message-passing Model for Service Oriented Computing. | Diana Allam, Rmi Douence, Herv Grall, Jean-Claude Royer, Mario Sdholt |
| 2011 | GPCE | Static analysis of aspect interaction and composition in component models. | Abdelhakim Hannousse, Rmi Douence, Gilles Ardourel |
| 2008 | Middleware | Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns. | Luis Daniel Benavides Navarro, Rmi Douence, Mario Sdholt |
| 2008 | PEPM | Aspects preserving properties. | Simplice Djoko Djoko, Rmi Douence, Pascal Fradet |
| 2008 | SBAC-PAD | Aspect-Based Patterns for Grid Programming. | Luis Daniel Benavides Navarro, Rmi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Sdholt |
| 2008 | SEFM | Specialized Aspect Languages Preserving Classes of Properties. | Simplice Djoko Djoko, Rmi Douence, Pascal Fradet |
| 2006 | GPCE | Concurrent aspects. | Rmi Douence, Didier Le Botlan, Jacques Noy, Mario Sdholt |
| 2004 | GPCE | A Pointcut Language for Control-Flow. | Rmi Douence, Luc Teboul |
| 2002 | GPCE | A Framework for the Detection and Resolution of Aspect Interactions. | Rmi Douence, Pascal Fradet, Mario Sdholt |
| 1998 | FASE | Specifying and Analyzing Dynamic Software Architectures. | Robert Allen, Rmi Douence, David Garlan |