Rémi Douence

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