Search results for "Rémi Douence"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Julien Cohen, Rémi Douence, Akram Ajouli	Invertible Program Restructurings for Continuing Modular Maintenance	CoRR	2012	DBLP BibTeX RDF
1	Éric Tanter, Nicolas Tabareau, Rémi Douence	Taming aspects with membranes.	FOAL	2012	DBLP DOI BibTeX RDF
1	Julien Cohen, Rémi Douence, Akram Ajouli	Invertible Program Restructurings for Continuing Modular Maintenance.	CSMR	2012	DBLP DOI BibTeX RDF
1	Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel	Static analysis of aspect interaction and composition in component models.	GPCE	2011	DBLP DOI BibTeX RDF
1	Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel	Composable Controllers in Fractal: Implementation and Interference Analysis.	EUROMICRO-SEAA	2011	DBLP DOI BibTeX RDF
1	Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt	Scoping strategies for distributed aspects.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Julien Cohen, Rémi Douence	Views, Program Transformations, and the Evolutivity Problem	CoRR	2010	DBLP BibTeX RDF
1	Rémi Douence, Xavier Lorca, Nicolas Loriant	Lazy Composition of Representations in Java.	Software Composition	2009	DBLP DOI BibTeX RDF
1	Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt	Expressive scoping of distributed aspects.	AOSD	2009	DBLP DOI BibTeX RDF	aspect-oriented programming, distribution, scheme, operational semantics, scope, dynamic deployment
1	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Specialized Aspect Languages Preserving Classes of Properties.	SEFM	2008	DBLP DOI BibTeX RDF
1	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Aspects preserving properties.	PEPM	2008	DBLP DOI BibTeX RDF	semantics, proof, temporal properties, aspect weaving
1	Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt	Aspect-Based Patterns for Grid Programming.	SBAC-PAD	2008	DBLP DOI BibTeX RDF
1	Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt	Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns.	Middleware	2008	DBLP DOI BibTeX RDF
1	Rémi Douence, Pascal Fradet	The next 700 Krivine machines.	Higher-Order and Symbolic Computation	2007	DBLP DOI BibTeX RDF	Krivine machine, Functional language implementations, Compilation, Program transformation, Abstract machines
1	Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud	Invasive Patterns for Distributed Programs.	OTM Conferences	2007	DBLP DOI BibTeX RDF
1	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 Software	2006	DBLP DOI BibTeX RDF	networking softwrae, stateful aspects, Arachne, aspect-oriented programming, web caching, open implementation
1	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.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
1	Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt	Concurrent aspects.	GPCE	2006	DBLP DOI BibTeX RDF	Java, concurrency, formal verification, aspect-oriented programming, implementation
1	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	DBLP DOI BibTeX RDF	aspect language, dynamic weaving, sequence pointcut, system applications
1	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.	L'OBJET	2004	DBLP BibTeX RDF
1	Rémi Douence, Pascal Fradet, Mario Südholt	Composition, reuse and interaction analysis of stateful aspects.	AOSD	2004	DBLP DOI BibTeX RDF	reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition
1	Rémi Douence, Luc Teboul	A Pointcut Language for Control-Flow.	GPCE	2004	DBLP DOI BibTeX RDF
1	Rémi Douence, Mario Südholt	Un modèle et un outil pour la programmation par aspects événementiels.	L'OBJET	2003	DBLP BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Rémi Douence, Pascal Fradet, Mario Südholt	A Framework for the Detection and Resolution of Aspect Interactions.	GPCE	2002	DBLP DOI BibTeX RDF
1	Rémi Douence, Mario Südholt	A Generic Reification Technique for Object-Oriented Reflective Languages.	Higher-Order and Symbolic Computation	2001	DBLP DOI BibTeX RDF
1	Rémi Douence, Olivier Motelet, Mario Südholt	A Formal Definition of Crosscuts.	Reflection	2001	DBLP DOI BibTeX RDF
1	Rémi Douence, Pascal Fradet	A Systematic Study of Functional Language Implementations.	ACM Trans. Program. Lang. Syst.	1998	DBLP DOI BibTeX RDF	compilers, program transformation, functional programming, combinators, abstract machines
1	Robert Allen, Rémi Douence, David Garlan	Specifying and Analyzing Dynamic Software Architectures.	FASE	1998	DBLP DOI BibTeX RDF
1	Rémi Douence, Pascal Fradet	Towards a Taxonomy of Functional Languages Implementations	PLILP	1995	DBLP DOI BibTeX RDF

Publications of "Rémi Douence" ( http://dblp.L3S.de/Authors/Rémi_Douence )