Acquiring and Selecting Implied Constraints with an Application to the BinSeq and Partition Global Constraints. - Cheukam-Ngouonou, Jovial; Gindullin, Ramiz; Quimper, Claude-Guy; Beldiceanu, Nicolas; Douence, Rémi (2025)

Automated Proof Tactics for Model Transformation. - Cohen, Julien; Tisi, Massimo; Douence, Rémi (J. Object Technol., 2024)

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. - Gindullin, Ramiz; Beldiceanu, Nicolas; Cheukam-Ngouonou, Jovial; Douence, Rémi; Quimper, Claude-Guy (2024)

Boolean-Arithmetic Equations: Acquisition and Uses. - Gindullin, Ramiz; Beldiceanu, Nicolas; Cheukam-Ngouonou, Jovial; Douence, Rémi; Quimper, Claude-Guy (2023)

Proving Conjectures Acquired by Composing Multiple Biases. - Cheukam-Ngouonou, Jovial; Gindullin, Ramiz; Beldiceanu, Nicolas; Douence, Rémi; Quimper, Claude-Guy (CoRR, 2023)

Acquiring Maps of Interrelated Conjectures on Sharp Bounds. - Beldiceanu, Nicolas; Cheukam-Ngouonou, Jovial; Douence, Rémi; Gindullin, Ramiz; Quimper, Claude-Guy (2022)

CoqTL: a Coq DSL for rule-based model transformation. - Cheng, Zheng; Tisi, Massimo; Douence, Rémi (Softw. Syst. Model., 2020)

Reactive model transformation with ATL. - Perez, Salvador Martínez; Tisi, Massimo; Douence, Rémi (Sci. Comput. Program., 2017)

Using finite transducers for describing and synthesising structural time-series constraints. - Beldiceanu, Nicolas; Carlsson, Mats; Douence, Rémi; Simonis, Helmut (Constraints An Int. J., 2016)

Time-Series Constraints: Improvements and Application in CP and MIP Contexts. - Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Flener, Pierre; Rodríguez, María Andreína Francisco; Pearson, Justin; Simonis, Helmut (2016)

Global Constraint Catalog, Volume II, Time-Series Constraints. - Arafailova, Ekaterina; Beldiceanu, Nicolas; Douence, Rémi; Carlsson, Mats; Flener, Pierre; Rodríguez, María Andreína Francisco; Pearson, Justin; Simonis, Helmut (CoRR, 2016)

Composition non modulaire modulaire. (Modular non-modular composition). - Douence, Rémi (2015)

Lazy Evaluation for OCL. - Tisi, Massimo; Douence, Rémi; Wagelaar, Dennis (2015)

A Language for the Composition of Privacy-Enforcement Techniques. - Cherrueau, Ronan-Alexandre; Douence, Rémi; Südholt, Mario (2015)

Propagation engine prototyping with a domain specific language. - Prud'homme, Charles; Lorca, Xavier; Douence, Rémi; Jussien, Narendra (Constraints An Int. J., 2014)

Lazier Imperative Programming. - Douence, Rémi; Tabareau, Nicolas (2014)

Modular and flexible causality control on the Web. - Leger, Paul; Tanter, Éric; Douence, Rémi (Sci. Comput. Program., 2013)

Reference Monitors for Security and Interoperability in OAuth 2.0. - Cherrueau, Ronan-Alexandre; Douence, Rémi; Royer, Jean-Claude; Südholt, Mario; Oliveira, Anderson Santana de; Roudier, Yves; Dell'Amico, Matteo (2013)

Aspects preserving properties. - Djoko, Simplice Djoko; Douence, Rémi; Fradet, Pascal (Sci. Comput. Program., 2012)

Invertible Program Restructurings for Continuing Modular Maintenance. - Cohen, Julien; Douence, Rémi; Ajouli, Akram (2012)

Taming aspects with membranes. - Tanter, Éric; Tabareau, Nicolas; Douence, Rémi (2012)

A Message-passing Model for Service Oriented Computing. - Allam, Diana; Douence, Rémi; Grall, Hervé; Royer, Jean-Claude; Südholt, Mario (2012)

Invertible Program Restructurings for Continuing Modular Maintenance - Cohen, Julien; Douence, Rémi; Ajouli, Akram (CoRR, 2012)

Composable Controllers in Fractal: Implementation and Interference Analysis. - Hannousse, Abdelhakim; Douence, Rémi; Ardourel, Gilles (2011)

Static analysis of aspect interaction and composition in component models. - Hannousse, Abdelhakim; Douence, Rémi; Ardourel, Gilles (2011)

Scoping strategies for distributed aspects. - Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario (Sci. Comput. Program., 2010)

Views, Program Transformations, and the Evolutivity Problem - Cohen, Julien; Douence, Rémi (CoRR, 2010)

Expressive scoping of distributed aspects. - Tanter, Éric; Fabry, Johan; Douence, Rémi; Noyé, Jacques; Südholt, Mario (2009)

Lazy Composition of Representations in Java. - Douence, Rémi; Lorca, Xavier; Loriant, Nicolas (2009)

Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns. - Navarro, Luis Daniel Benavides; Douence, Rémi; Südholt, Mario (2008)

Aspects preserving properties. - Djoko, Simplice Djoko; Douence, Rémi; Fradet, Pascal (2008)

Aspect-Based Patterns for Grid Programming. - Navarro, Luis Daniel Benavides; Douence, Rémi; Hermenier, Fabien; Menaud, Jean-Marc; Südholt, Mario (2008)

Specialized Aspect Languages Preserving Classes of Properties. - Djoko, Simplice Djoko; Douence, Rémi; Fradet, Pascal (2008)

The next 700 Krivine machines. - Douence, Rémi; Fradet, Pascal (High. Order Symb. Comput., 2007)

Invasive Patterns for Distributed Programs. - Navarro, Luis Daniel Benavides; Südholt, Mario; Douence, Rémi; Menaud, Jean-Marc (2007)

Dynamic Adaptation of the Squid Web Cache with Arachne. - Ségura-Devillechaise, Marc; Menaud, Jean-Marc; Loriant, Nicolas; Douence, Rémi; Südholt, Mario; Fritz, Thomas; Wuchner, Egon (IEEE Softw., 2006)

An Expressive Aspect Language for System Applications with Arachne. - Douence, Rémi; Fritz, Thomas; Loriant, Nicolas; Menaud, Jean-Marc; Ségura-Devillechaise, Marc; Südholt, Mario (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

Concurrent aspects. - Douence, Rémi; Botlan, Didier Le; Noyé, Jacques; Südholt, Mario (2006)

An expressive aspect language for system applications with Arachne. - Douence, Rémi; Fritz, Thomas; Loriant, Nicolas; Menaud, Jean-Marc; Ségura-Devillechaise, Marc; Südholt, Mario (2005)

Programmation post-objets. Des langages d'aspects aux langages de composants. - Cointe, Pierre; Noyé, Jacques; Douence, Rémi; Ledoux, Thomas; Menaud, Jean-Marc; Muller, Gilles; Südholt, Mario (Obj. Logiciel Base données Réseaux, 2004)

Composition, reuse and interaction analysis of stateful aspects. - Douence, Rémi; Fradet, Pascal; Südholt, Mario (2004)

A Pointcut Language for Control-Flow. - Douence, Rémi; Teboul, Luc (2004)

Un modèle et un outil pour la programmation par aspects événementiels. - Douence, Rémi; Südholt, Mario (Obj. Logiciel Base données Réseaux, 2003)

A Framework for the Detection and Resolution of Aspect Interactions. - Douence, Rémi; Fradet, Pascal; Südholt, Mario (2002)

No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs. - Guéhéneuc, Yann-Gaël; Douence, Rémi; Jussien, Narendra (2002)

A Generic Reification Technique for Object-Oriented Reflective Languages. - Douence, Rémi; Südholt, Mario (High. Order Symb. Comput., 2001)

A Formal Definition of Crosscuts. - Douence, Rémi; Motelet, Olivier; Südholt, Mario (2001)

A Systematic Study of Functional Language Implementations. - Douence, Rémi; Fradet, Pascal (ACM Trans. Program. Lang. Syst., 1998)

Specifying and Analyzing Dynamic Software Architectures. - Allen, Robert; Douence, Rémi; Garlan, David (1998)

Towards a Taxonomy of Functional Languages Implementations - Douence, Rémi; Fradet, Pascal (1995)