Rémi Douence

According to our database, Rémi Douence authored at least 46 papers between 1995 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Proof Tactics for Model Transformation.

Julien Cohen, Massimo Tisi, Rémi Douence

J. Object Technol., 2024

Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae.

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Proving Conjectures Acquired by Composing Multiple Biases.

Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper

CoRR, 2023

Boolean-Arithmetic Equations: Acquisition and Uses.

Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

2022

Acquiring Maps of Interrelated Conjectures on Sharp Bounds.

Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper

Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, 2022

2020

CoqTL: a Coq DSL for rule-based model transformation.

Zheng Cheng, Massimo Tisi, Rémi Douence

Softw. Syst. Model., 2020

2017

Reactive model transformation with ATL.

Salvador Martínez Perez, Massimo Tisi, Rémi Douence

Sci. Comput. Program., 2017

2016

Global Constraint Catalog, Volume II, Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

CoRR, 2016

Using finite transducers for describing and synthesising structural time-series constraints.

Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis

Constraints An Int. J., 2016

Time-Series Constraints: Improvements and Application in CP and MIP Contexts.

Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

2015

A Language for the Composition of Privacy-Enforcement Techniques.

Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Lazy Evaluation for OCL.

Massimo Tisi, Rémi Douence, Dennis Wagelaar

Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Composition non modulaire modulaire. (Modular non-modular composition).

Rémi Douence

, 2015

2014

Propagation engine prototyping with a domain specific language.

Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien

Constraints An Int. J., 2014

Lazier Imperative Programming.

Rémi Douence, Nicolas Tabareau

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

2013

Modular and flexible causality control on the Web.

Paul Leger, Éric Tanter, Rémi Douence

Sci. Comput. Program., 2013

Reference Monitors for Security and Interoperability in OAuth 2.0.

Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico

Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

2012

Aspects preserving properties.

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet

Sci. Comput. Program., 2012

A Message-passing Model for Service Oriented Computing.

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt

Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Taming aspects with membranes.

Éric Tanter, Nicolas Tabareau, Rémi Douence

Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Invertible Program Restructurings for Continuing Modular Maintenance.

Julien Cohen, Rémi Douence, Akram Ajouli

Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012

2011

Static analysis of aspect interaction and composition in component models.

Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel

Proceedings of the Generative Programming And Component Engineering, 2011

Composable Controllers in Fractal: Implementation and Interference Analysis.

Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Scoping strategies for distributed aspects.

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Sci. Comput. Program., 2010

Views, Program Transformations, and the Evolutivity Problem

Julien Cohen, Rémi Douence

CoRR, 2010

2009

Lazy Composition of Representations in Java.

Rémi Douence, Xavier Lorca, Nicolas Loriant

Proceedings of the Software Composition - 8th International Conference, 2009

Expressive scoping of distributed aspects.

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt

Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

2008

Specialized Aspect Languages Preserving Classes of Properties.

Simplice Djoko Djoko, Rémi Douence, Pascal Fradet

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008

Aspect-Based Patterns for Grid Programming.

Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt

Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, 2008

Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns.

Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt

Proceedings of the Middleware 2008, 2008

2007

The next 700 Krivine machines.

Rémi Douence, Pascal Fradet

High. Order Symb. Comput., 2007

Invasive Patterns for Distributed Programs.

Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud

Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

2006

An Expressive Aspect Language for System Applications with Arachne.

Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt

LNCS Trans. Aspect Oriented Softw. Dev., 2006

Dynamic Adaptation of the Squid Web Cache with Arachne.

Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Rémi Douence, Mario Südholt, Thomas Fritz, Egon Wuchner

IEEE Softw., 2006

Concurrent aspects.

Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt

Proceedings of the Generative Programming and Component Engineering, 2006

2004

Programmation post-objets. Des langages d'aspects aux langages de composants.

Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt

Obj. Logiciel Base données Réseaux, 2004

A Pointcut Language for Control-Flow.

Rémi Douence, Luc Teboul

Proceedings of the Generative Programming and Component Engineering: Third International Conference, 2004

Composition, reuse and interaction analysis of stateful aspects.

Rémi Douence, Pascal Fradet, Mario Südholt

Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

2003

Un modèle et un outil pour la programmation par aspects événementiels.

Rémi Douence, Mario Südholt

Obj. Logiciel Base données Réseaux, 2003

2002

No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs.

Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

A Framework for the Detection and Resolution of Aspect Interactions.

Rémi Douence, Pascal Fradet, Mario Südholt

Proceedings of the Generative Programming and Component Engineering, 2002

2001

A Generic Reification Technique for Object-Oriented Reflective Languages.

Rémi Douence, Mario Südholt

High. Order Symb. Comput., 2001

A Formal Definition of Crosscuts.

Rémi Douence, Olivier Motelet, Mario Südholt

Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

1998

A Systematic Study of Functional Language Implementations.

Rémi Douence, Pascal Fradet

ACM Trans. Program. Lang. Syst., 1998

Specifying and Analyzing Dynamic Software Architectures.

Robert Allen, Rémi Douence, David Garlan

Proceedings of the Fundamental Approaches to Software Engineering, 1998

1995

Towards a Taxonomy of Functional Languages Implementations

Rémi Douence, Pascal Fradet

Proceedings of the Programming Languages: Implementations, 1995