default search action
Rémi Douence
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c29]Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper:
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex Formulae. AAAI 2024: 8030-8037 - 2023
- [c28]Ramiz Gindullin, Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Claude-Guy Quimper:
Boolean-Arithmetic Equations: Acquisition and Uses. CPAIOR 2023: 378-394 - [i4]Jovial Cheukam-Ngouonou, Ramiz Gindullin, Nicolas Beldiceanu, Rémi Douence, Claude-Guy Quimper:
Proving Conjectures Acquired by Composing Multiple Biases. CoRR abs/2312.08990 (2023) - 2022
- [c27]Nicolas Beldiceanu, Jovial Cheukam-Ngouonou, Rémi Douence, Ramiz Gindullin, Claude-Guy Quimper:
Acquiring Maps of Interrelated Conjectures on Sharp Bounds. CP 2022: 6:1-6:18 - 2020
- [j14]Zheng Cheng, Massimo Tisi, Rémi Douence:
CoqTL: a Coq DSL for rule-based model transformation. Softw. Syst. Model. 19(2): 425-439 (2020)
2010 – 2019
- 2017
- [j13]Salvador Martínez Perez, Massimo Tisi, Rémi Douence:
Reactive model transformation with ATL. Sci. Comput. Program. 136: 1-16 (2017) - 2016
- [j12]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): 22-40 (2016) - [c26]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: 18-34 - [i3]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 abs/1609.08925 (2016) - 2015
- [b1]Rémi Douence:
Composition non modulaire modulaire. (Modular non-modular composition). University of Nantes, France, 2015 - [c25]Massimo Tisi, Rémi Douence, Dennis Wagelaar:
Lazy Evaluation for OCL. OCL@MoDELS 2015: 46-61 - [c24]Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt:
A Language for the Composition of Privacy-Enforcement Techniques. TrustCom/BigDataSE/ISPA (1) 2015: 1037-1044 - 2014
- [j11]Charles Prud'homme, Xavier Lorca, Rémi Douence, Narendra Jussien:
Propagation engine prototyping with a domain specific language. Constraints An Int. J. 19(1): 57-76 (2014) - [c23]Rémi Douence, Nicolas Tabareau:
Lazier Imperative Programming. PPDP 2014: 7-18 - 2013
- [j10]Paul Leger, Éric Tanter, Rémi Douence:
Modular and flexible causality control on the Web. Sci. Comput. Program. 78(9): 1538-1558 (2013) - [c22]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: 235-249 - 2012
- [j9]Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. Sci. Comput. Program. 77(3): 393-422 (2012) - [c21]Julien Cohen, Rémi Douence, Akram Ajouli:
Invertible Program Restructurings for Continuing Modular Maintenance. CSMR 2012: 347-352 - [c20]Éric Tanter, Nicolas Tabareau, Rémi Douence:
Taming aspects with membranes. FOAL 2012: 3-8 - [c19]Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt:
A Message-passing Model for Service Oriented Computing. WEBIST 2012: 136-142 - [i2]Julien Cohen, Rémi Douence, Akram Ajouli:
Invertible Program Restructurings for Continuing Modular Maintenance. CoRR abs/1201.5230 (2012) - 2011
- [c18]Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel:
Composable Controllers in Fractal: Implementation and Interference Analysis. EUROMICRO-SEAA 2011: 51-54 - [c17]Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel:
Static analysis of aspect interaction and composition in component models. GPCE 2011: 43-52 - 2010
- [j8]Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt:
Scoping strategies for distributed aspects. Sci. Comput. Program. 75(12): 1235-1261 (2010) - [i1]Julien Cohen, Rémi Douence:
Views, Program Transformations, and the Evolutivity Problem. CoRR abs/1005.1213 (2010)
2000 – 2009
- 2009
- [c16]Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt:
Expressive scoping of distributed aspects. AOSD 2009: 27-38 - [c15]Rémi Douence, Xavier Lorca, Nicolas Loriant:
Lazy Composition of Representations in Java. SC@TOOLS 2009: 55-71 - 2008
- [c14]Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt:
Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns. Middleware 2008: 183-202 - [c13]Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Aspects preserving properties. PEPM 2008: 135-145 - [c12]Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt:
Aspect-Based Patterns for Grid Programming. SBAC-PAD 2008: 141-148 - [c11]Simplice Djoko Djoko, Rémi Douence, Pascal Fradet:
Specialized Aspect Languages Preserving Classes of Properties. SEFM 2008: 227-236 - 2007
- [j7]Rémi Douence, Pascal Fradet:
The next 700 Krivine machines. High. Order Symb. Comput. 20(3): 237-255 (2007) - [c10]Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud:
Invasive Patterns for Distributed Programs. OTM Conferences (1) 2007: 772-789 - 2006
- [j6]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): 34-41 (2006) - [j5]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: 174-213 (2006) - [c9]Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt:
Concurrent aspects. GPCE 2006: 79-88 - 2005
- [c8]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: 27-38 - 2004
- [j4]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): 119-143 (2004) - [c7]Rémi Douence, Pascal Fradet, Mario Südholt:
Composition, reuse and interaction analysis of stateful aspects. AOSD 2004: 141-150 - [c6]Rémi Douence, Luc Teboul:
A Pointcut Language for Control-Flow. GPCE 2004: 95-114 - 2003
- [j3]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): 105-117 (2003) - 2002
- [c5]Rémi Douence, Pascal Fradet, Mario Südholt:
A Framework for the Detection and Resolution of Aspect Interactions. GPCE 2002: 173-188 - [c4]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: 117- - 2001
- [j2]Rémi Douence, Mario Südholt:
A Generic Reification Technique for Object-Oriented Reflective Languages. High. Order Symb. Comput. 14(1): 7-34 (2001) - [c3]Rémi Douence, Olivier Motelet, Mario Südholt:
A Formal Definition of Crosscuts. Reflection 2001: 170-186
1990 – 1999
- 1998
- [j1]Rémi Douence, Pascal Fradet:
A Systematic Study of Functional Language Implementations. ACM Trans. Program. Lang. Syst. 20(2): 344-387 (1998) - [c2]Robert Allen, Rémi Douence, David Garlan:
Specifying and Analyzing Dynamic Software Architectures. FASE 1998: 21-37 - 1995
- [c1]Rémi Douence, Pascal Fradet:
Towards a Taxonomy of Functional Languages Implementations. PLILP 1995: 27-44
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint