Rémi Douence

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 10

Top Topics

Lazy Evaluation

Structural Constraints

Weighted Constraint Satisfaction

Top Venues

Constraints An Int. J.

Publications

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR (2023)
Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper
Proving Conjectures Acquired by Composing Multiple Biases. CoRR (2023)
Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper
Acquiring Maps of Interrelated Conjectures on Sharp Bounds. CP (2022)
Zheng Cheng, Massimo Tisi, Rémi Douence
CoqTL: a Coq DSL for rule-based model transformation. Softw. Syst. Model. 19 (2) (2020)
Salvador Martínez Perez, Massimo Tisi, Rémi Douence
Reactive model transformation with ATL. Sci. Comput. Program. 136 (2017)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Time-Series Constraints: Improvements and Application in CP and MIP Contexts. CPAIOR (2016)
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
Using finite transducers for describing and synthesising structural time-series constraints. Constraints An Int. J. 21 (1) (2016)
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
Global Constraint Catalog, Volume II, Time-Series Constraints. CoRR (2016)
Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
A Language for the Composition of Privacy-Enforcement Techniques. TrustCom/BigDataSE/ISPA (1) (2015)
Massimo Tisi, Rémi Douence, Dennis Wagelaar
Lazy Evaluation for OCL. OCL@MoDELS (2015)
Rémi Douence, Nicolas Tabareau
Lazier Imperative Programming. PPDP (2014)
Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien
Propagation engine prototyping with a domain specific language. Constraints An Int. J. 19 (1) (2014)
Paul Leger, Éric Tanter, Rémi Douence
Modular and flexible causality control on the Web. Sci. Comput. Program. 78 (9) (2013)
Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico
Reference Monitors for Security and Interoperability in OAuth 2.0. DPM/SETOP (2013)
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
Aspects preserving properties. Sci. Comput. Program. 77 (3) (2012)
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
A Message-passing Model for Service Oriented Computing. WEBIST (2012)
Julien Cohen, Rémi Douence, Akram Ajouli
Invertible Program Restructurings for Continuing Modular Maintenance. CSMR (2012)
Éric Tanter, Nicolas Tabareau, Rémi Douence
Taming aspects with membranes. FOAL (2012)
Julien Cohen, Rémi Douence, Akram Ajouli
Invertible Program Restructurings for Continuing Modular Maintenance CoRR (2012)
Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
Composable Controllers in Fractal: Implementation and Interference Analysis. EUROMICRO-SEAA (2011)
Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
Static analysis of aspect interaction and composition in component models. GPCE (2011)
Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
Scoping strategies for distributed aspects. Sci. Comput. Program. 75 (12) (2010)
Julien Cohen, Rémi Douence
Views, Program Transformations, and the Evolutivity Problem CoRR (2010)
Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
Expressive scoping of distributed aspects. AOSD (2009)
Rémi Douence, Xavier Lorca, Nicolas Loriant
Lazy Composition of Representations in Java. SC@TOOLS (2009)
Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt
Aspect-Based Patterns for Grid Programming. SBAC-PAD (2008)
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
Aspects preserving properties. PEPM (2008)
Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt
Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns. Middleware (2008)
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
Specialized Aspect Languages Preserving Classes of Properties. SEFM (2008)
Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud
Invasive Patterns for Distributed Programs. OTM Conferences (1) (2007)
Rémi Douence, Pascal Fradet
The next 700 Krivine machines. High. Order Symb. Comput. 20 (3) (2007)
Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
Concurrent aspects. GPCE (2006)
Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Rémi Douence, Mario Südholt, Thomas Fritz, Egon Wuchner
Dynamic Adaptation of the Squid Web Cache with Arachne. IEEE Softw. 23 (1) (2006)
Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt
An Expressive Aspect Language for System Applications with Arachne. LNCS Trans. Aspect Oriented Softw. Dev. 1 (2006)
Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt
An expressive aspect language for system applications with Arachne. AOSD (2005)
Rémi Douence, Luc Teboul
A Pointcut Language for Control-Flow. GPCE (2004)
Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt
Programmation post-objets. Des langages d'aspects aux langages de composants. Obj. Logiciel Base données Réseaux 10 (4) (2004)
Rémi Douence, Pascal Fradet, Mario Südholt
Composition, reuse and interaction analysis of stateful aspects. AOSD (2004)
Rémi Douence, Mario Südholt
Un modèle et un outil pour la programmation par aspects événementiels. Obj. Logiciel Base données Réseaux 9 (1-2) (2003)
Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien
No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs. ASE (2002)
Rémi Douence, Pascal Fradet, Mario Südholt
A Framework for the Detection and Resolution of Aspect Interactions. GPCE (2002)
Rémi Douence, Mario Südholt
A Generic Reification Technique for Object-Oriented Reflective Languages. High. Order Symb. Comput. 14 (1) (2001)
Rémi Douence, Olivier Motelet, Mario Südholt
A Formal Definition of Crosscuts. Reflection (2001)
Robert Allen, Rémi Douence, David Garlan
Specifying and Analyzing Dynamic Software Architectures. FASE (1998)
Rémi Douence, Pascal Fradet
A Systematic Study of Functional Language Implementations. ACM Trans. Program. Lang. Syst. 20 (2) (1998)
Rémi Douence, Pascal Fradet
Towards a Taxonomy of Functional Languages Implementations PLILP (1995)