BACK TO INDEX

Publications of Rémi Douence
Thesis
  1. Rémi Douence. Modular non-modular composition. Habilitation à diriger des recherches, Université de Nantes, Faculté des sciences et des techniques., January 2015. Keyword(s): program, static/dynamic control/data flow of sequential/concurrent/distributed programs, composition, module, programme, flot de contrôle/données statique/dynamique de programmes séquentiels/concurrents/distribués.


Articles in journal or book chapters
  1. Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, and Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints. Constraints, 21(1), January 2016. Keyword(s): Finite transducer, Constraint synthesis, Global constraint, Time series, Global constraint catalogue.


  2. Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, and Helmut Simonis. Using finite transducers for describing and synthesising structural time-series constraints. Constraints, pp 19, August 2015. Keyword(s): Finite transducer, Global constraint, Time series, Global constraint catalogue, Constraint synthesis.


  3. Charles Prud'Homme, Xavier Lorca, Rémi Douence, and Narendra Jussien. Propagation Engine Prototyping with a Domain Specific Language. Constraints, 19(1):57-76, 2014. Keyword(s): Propagation, Constraint solver, Domain Specific Language, Implementation.


  4. Paul Leger, Éric Tanter, and Rémi Douence. Modular and Flexible Causality Control on the Web. Science of Computer Programming, pp -, January 2013.


  5. Pascal Fradet, Simplice Djoko Djoko, and Rémi Douence. Aspects preserving properties. Science of Computer Programming, 77(7):393-422, March 2012.


  6. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Aspects Preserving Properties. Science of Computer Programming, October 2011.


  7. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, and Mario Südholt. Scoping strategies for distributed aspects. Science of Computer Programming, 75(12):1235-1261, October 2010.


  8. Pierre Cointe, Hervé Albin-Amiot, and Rémi Douence. Le langage Java ou JavaHanoi : un cadre pour l'enseignement de Java. In Pierre Cointe, editor, Les langages à objets. Hermès, 2007. Note: Traité multi-volumes sur les sciences de l'ingénieur, série 4C.


  9. Rémi Douence and Pascal Fradet. The next 700 Krivine machines. Higher-Order and Symbolic Computation, 20(3):237-255, September 2007. Keyword(s): Krivine machine, abstract machines, program transformation, compilation, functional language implementations.. [Abstract]


  10. Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, and Mario Südholt. An expressive aspect language for system applications with Arachne. Transactions on Aspect-Oriented Software Development, 3880:174-213, March 2006.


  11. Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Thomas Fritz, Rémi Douence, Mario Südholt, and Egon Wuchner. Dynamic Adaptation of the Squid Web Cache with Arachne. IEEE Software, 23(1):34-41, 2006. Note: Special Issue on Aspect-Oriented Computing.


  12. Jacques Noyé, Rémi Douence, and Mario Südholt. Composants et aspects. In Mourrad Oussalah, editor, Ingénierie des composants : Concepts, techniques et outils, chapter 6, pages 169-195. pub.vui, 2005.


  13. Rémi Douence, Pascal Fradet, and Mario Südholt. Trace-Based Aspects. In Mehmet Aksit, SiobhÃ!'n Clarke, Tzilla Elrad, and Robert E. Filman, editors, Aspect-Oriented Software Development, pages 201-218. Addison-Wesley, 2004.


  14. Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, and Mario Südholt. Programmation post-objets : des langages d'aspects aux langages de composants. RSTI - L'objet, 10(4):119-143, 2004.


  15. Rémi Douence and Mario Südholt. A generic reification technique for object-oriented reflective languages. Higher-Order and Symbolic Computation, 14(1):7-34, March 2001. Keyword(s): reflection, object-oriented programming, program transformation. [Abstract]


Conference articles
  1. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, Marìa Andreìna Francisco Rodrìguez, Justin Pearson, and Helmut Simonis. Time-Series Constraints: Improvements and Application in CP and MIP Contexts. In Claude-Guy Quimper, editor, CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, volume 9676 of Lecture Notes in Computer Science, Banff, Canada, pages 18-34, May 2016. Springer. Keyword(s): Automata, Implied Constraints, MIP, CP, Automata Invariants.


  2. Ronan-Alexandre Cherrueau, Rémi Douence, and Mario Südholt. A Language for the Composition of Privacy-Enforcement Techniques. In IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Helsinki, Finland, pages 1037 - 1044, August 2015. Keyword(s): Algebraic Laws, Language, Typing, Encryption, Fragmentation.


  3. Massimo Tisi, Rémi Douence, and Dennis Wagelaar. Lazy Evaluation for OCL. In Models 2015: 15th International Workshop on OCL and Textual Modeling, Ottawa, Canada, September 2015.


  4. Rémi Douence and Nicolas Tabareau. Lazier Imperative Programming. In Principles and Practice of Declarative Programming (PPDP), Canterbury, United Kingdom, September 2014.


  5. Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana De Oliveira, Yves Roudier, and Matteo Dell'Amico. Reference monitors for security and interoperability in OAuth 2.0. In SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Egham, United Kingdom, September 2013.


  6. Charles Prud'Homme, Xavier Lorca, Rémi Douence, and Narendra Jussien. Prototyper des Moteurs de Propagation avec un DSL. In Journées française de la Programmation par Contraintes, Aix-en-Provence, France, pages 279-288, 2013.


  7. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. A Message-Passing Model for Service Oriented Computing. In Karl-Heinz Krempels and José Cordeiro, editors, WEBIST, 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, pages 136-142, April 2012. SciTePress Digital Library. Keyword(s): Service-Oriented Computing, Message-Passing Model, Type Checking, Security.


  8. Julien Cohen, Rémi Douence, and Akram Ajouli. Invertible Program Restructurings for Continuing Modular Maintenance. In Rudolf Ferenc Tom Mens, Anthony Cleve, editor, 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Szeged, Hungary, pages 347-352, March 2012. IEEE. Note: 6 pages, Early Research Achievements Track. Keyword(s): modular maintenance, restructuring, invertible program transformations, tyranny of the dominant decomposition.


  9. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Taming Aspects with Membranes. In Foundations of Aspect-Oriented Languages, Potsdam, Germany, March 2012.


  10. Akram Ajouli, Julien Cohen, and Rémi Douence. Program Transformation based Views for Modular Maintenance (poster). In Olivier Caron Yves Ledru, Anne-Françoise Le Meur, editor, Troisièmes journées nationales du GDR GPL, Lille, France, pages 218-219, June 2011. Note: Poster.


  11. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. In Actes des troisiémes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Lille, France, June 2011.


  12. Abdelhakim Hannousse, Rémi Douence, and Gilles Ardourel. Composable Controllers in Fractal: Implementation and Interference Analysis. In the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Oulu, Finland, pages 99, September 2011. Keyword(s): Fractal component model, controllers, composition, model checking;.


  13. Abdelhakim Hannousse, Rémi Douence, and Gilles Ardourel. Static Analysis of Aspect Interaction and Composition in Component Models. In the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Portland, Oregon, United States, pages 18, October 2011. Keyword(s): Aspect interference analysis, Model checking, Aspect composition patterns.


  14. Abdelhakim Hannousse, Gilles Ardourel, and Rémi Douence. Views for Aspectualizing Component Models. In the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), St-Malo, France, pages acp4is10, March 2010. Keyword(s): Components, Aspects, Views conflicts.


  15. Jean-Marc Menaud, Adrien Lèbre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, and Mario Südholt. Vers une réification de l'énergie dans le domaine du logiciel. In Journées du GDR Génie de la Programmation et du Logiciel, France, pages 000, March 2010.


  16. Rémi Douence, Xavier Lorca, and Nicolas Loriant. Lazy Composition of Representations in Java. In Proceedings of the 8th International Conference on Software Composition (SC'09), LNCS, July 2009. Springer Verlag.


  17. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, and Mario Südholt. Expressive Scoping of Distributed Aspects. In AOSD '09: Proceedings of the 8th ACM international conference on Aspect-oriented software development, pages 27-38, 2009. ACM Press.


  18. Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, and Mario Südholt. Aspect-based patterns for grid programming. In Proc. of the 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), October 2008. IEEE Press.


  19. Luis Daniel Benavides Navarro, Rémi Douence, Angel Nuñez, and Mario Südholt. LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns. In Proc. of the 3rd International Workshop on Aspects, Dependencies, and Interactions (ADI'08), July 2008.


  20. Luis Daniel Benavides Navarro, Rémi Douence, and Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. In In proceedings of the ACM/IFIP/USENIX 9th International Middleware Conference, Leuven, Belgium, December 2008. Springer-Verlag.


  21. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Aspects Preserving Properties. In ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'08), San Francisco, CA, USA, pages 135-145, January 2008. ACM Press.


  22. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Specialized Aspect Languages Preserving Classes of Properties. In SEFM'08, pages 227-236, November 2008. IEEE Computer Society Press.


  23. Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns for distributed programs. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07), LNCS, November 2007. Springer Verlag.


  24. Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns: aspect-based adaptation of distributed applications. In 4th International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT´07) at the 21st European Conference on Object-Oriented Programming ECOOP'07, July 2007.


  25. Rémi Douence. Relational Aspects for Context passing Beyond Stack Inspection. In International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), March 2006.


  26. Rémi Douence, Didier Le Botlan, Jacques Noyé, and Mario Südholt. Concurrent Aspects. In Generative Programming and Component Engineering (GPCE), October 2006. ACM Press.


  27. Rémi Douence, Didier Le Botlan, Jacques Noyé, and Mario Südholt. Towards a model of concurrent AOP. In International Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), March 2006.


  28. Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, and Mario Südholt. An expressive aspect language for system applications with Arachne. In Aspect-Oriented Software Development (AOSD), pages 27-28, March 2005. ACM Press.


  29. Rémi Douence and Jacques Noyé. Towards a Concurrent Model of Event-based Aspect-Oriented Programming. In European Interactive Workshop on Aspects in Software (EIWAS 2005), Brussels, Belgium, September 2005.


  30. Rémi Douence, Pascal Fradet, and Mario Südholt. Composition, Reuse and Interaction Analysis of Stateful Aspects. In Aspect-Oriented Software Development (AOSD), pages 141-150, March 2004. ACM, ACM Press.


  31. Rémi Douence and Luc Teboul. A crosscut language for control-flow. In Generative Programming and Component Engineering (GPCE), volume 3286 of Lecture Notes in Computer Science, Vancouver, Canada, pages 95-114, October 2004. Springer-Verlag.


  32. Rémi Douence and Mario Südholt. Un modèle et un outil pour la programmation par aspects vénementiels. In Langages et Modèles à Objets, Vannes, pages 105-118, February 2003. Hermès-Lavoisier. Keyword(s): AOP, EAOP, aspect composition, tool, Java.


  33. Luciano Porto Barreto, Rémi Douence, Gilles Muller, and Mario Südholt. Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering. In International Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD, April 2002. [Abstract]


  34. Rémi Douence, Pascal Fradet, and Mario Südholt. A framework for the detection and resolution of aspect interactions. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings, volume 2487 of Lecture Notes in Computer Science, Pittsburgh, PA, USA, pages 173-188, October 2002. Springer-Verlag. Keyword(s): aop, static analysis. [Abstract]


  35. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. In Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS'02), Copenhagen, Denmark, July 2002. [Abstract]


  36. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. In First AOSD workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), Enschede, The Netherlands, April 2002. University of Twente. [Abstract]


  37. Yann-Gaël Guéhéneuc, Rémi Douence, and Narendra Jussien. No Java without Caffeine -- A Tool for Dynamic Analysis of Java Programs. In Proceedings of ASE 2002 : 17th International IEEE Conference on Automated Software Engineering, Edinburgh, UK, September 2002.


  38. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. In A. Yonezawa and S. Matsuoka, editors, Proceedings of the 3rd International Conference on Reflection 2001, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, pages 170-186, September 2001. Springer-Verlag. [Abstract]


  39. Rémi Douence, Olivier Motelet, and Mario Südholt. Sophisticated crosscuts for e-commerce. In ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.


  40. Rémi Douence and Mario Südholt. On the Lightweight and Selective Introduction of Reflective Capabilities in Applications. In ECOOP'00 Workshop on Reflection and Meta-Level Architectures, 2000. Keyword(s): reflection, program transformation, Java.


  41. Rémi Douence and Mario Südholt. Une technique générique de réification dans les langages à objets. In Proceeding of 6th International Maghrebian Conference on Computer Science, Fes, Morocco, pages 311-320, November 2000. Keyword(s): reflection, program transformation, MOP, Java.


  42. R. Allen, Rémi Douence, and D. Garlan. Specifying and Analyzing Dynamic Software Architectures. In Fundamental Approaches to Software Engineering (FASE), volume 1382 of Lecture Notes in Computer Science, pages 21-37, March 1998. Springer-Verlag.


Internal reports
  1. Ronan-Alexandre Cherrueau, Rémi Douence, and Mario Südholt. A Language for the Composition of Privacy-Enforcement Techniques. Research Report RR-8720, Inria Rennes ; École des Mines de Nantes ; INRIA, April 2015. Keyword(s): Algebraic Laws, Fragmentation, Encryption, Typing, Language.


  2. Rémi Douence and Nicolas Tabareau. Lazier Imperative Programming. Research Report RR-8569, INRIA, July 2014.


  3. Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, and Mario Südholt. Well-Typed Services Cannot Go Wrong. Research Report RR-7899, INRIA, May 2012.


  4. Gilles Chabert and Rémi Douence. From Implicit to Explicit Pavings. Research Report RR-8028, INRIA, July 2012.


  5. Paul Leger, Éric Tanter, and Rémi Douence. Modular and Flexible Causality Control on the Web. Research Report RR-7742, INRIA, June 2011.


  6. Éric Tanter, Nicolas Tabareau, and Rémi Douence. Exploring Membranes for Controlling Aspects. Research Report RR-7739, INRIA, September 2011.


  7. Gilles Chabert and Rémi Douence. Controlling Contractors with Monads for Hybrid Dynamical Systems. Research Report RR-7451, INRIA, November 2010. Keyword(s): hybrid dynamical systems, continuous constraints, monads.


  8. Simplice Djoko Djoko, Rémi Douence, and Pascal Fradet. Proof of correctness of aspect transformations in the CASB. Research Report D88, Network of Excellence in AOSD (AOSD-Europe), July 2007.


  9. Simplice Djoko Djoko, Rémi Douence, Pascal Fradet, and Didier Le Botlan. CASB : Common Aspect Semantics Base. Research Report 41, AOSD-Europe, February 2006.


  10. Simplice Djoko Djoko, Rémi Douence, Pascal Fradet, and Didier Le Botlan. CASB: Common Aspect Semantics Base. Research Report D54, AOSD-Europe, August 2006. Note: Revised version of Research Report 41 AOSD-Europe.


  11. Rémi Douence, Didier Le Botlan, Jacques Noyé, and Mario Südholt. Concurrent aspects. Research Report RR-5873, INRIA, March 2006.


  12. Rémi Douence and Jacques Noyé. Towards a Concurrent Model of Event-based Aspect-Oriented Programming. Research Report RR-5838, INRIA, February 2006.


  13. Rémi Douence, Pascal Fradet, and Mario Südholt. Detection and resolution of aspect interactions. Technical report RR-4435, INRIA, April 2002. Keyword(s): aop, static analysis. [Abstract]


  14. Rémi Douence and Narendra Jussien. Non-intrusive constraint solver enhancements. Research Report 02-2-INFO, École des Mines de Nantes, Nantes, France, February 2002.


  15. Rémi Douence and Mario Südholt. A model and a tool for Event-based Aspect-Oriented Programming (EAOP). Technical report 02/11/INFO, École des Mines de Nantes, 2002. Note: 2nd edition, french version to be published at LMO'03. Keyword(s): AOP, aspect composition, tool, Java.


  16. Yann-Gaël Guéhéneuc, Hervé Albin-Amiot, Rémi Douence, and Pierre Cointe. Bridging the Gap Between Modeling and Programming Languages. Technical report 02/09/INFO, École des Mines de Nantes, May 2002. [Abstract]


  17. Yann-Gaël Guéhéneuc, Rémi Douence, and Narendra Jussien. No Java Without Caffeine -- A Tool for Dynamic Analysis of Java Programs. Technical report 02-7-INFO, École des Mines de Nantes, 4, rue Alfred Kastler -- 44307 Nantes Cedex 3 -- France, May 2002. [Abstract]


  18. Noury M. Bouraqadi-Saâdani, Rémi Douence, Thomas Ledoux, Olivier Motelet, and Mario Südholt. Status of work on AOP at the OCM group. Technical report 01-4-INFO, École des Mines de Nantes, April 2001. Keyword(s): AOP, execution monitoring, program transformation, interpreter. [Abstract]


  19. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. Technical report 01-3-INFO, École des Mines de Nantes, 2001. [Abstract]


  20. Noury M. Bouraqadi-Saâdani, Rémi Douence, Thomas Ledoux, and Mario Südholt. Un modèle de mobilité forte en Java. Technical report, École des Mines de Nantes, 2000. Note: Deuxième livrable de la CTI FT R&D sur l'application de la programmation par aspects au code mobile Java.


  21. Rémi Douence and Mario Südholt. The next 700 reflective object-oriented languages. Technical report 99-1-INFO, École des Mines de Nantes, 1999. Keyword(s): MetaJ, oop, Smithonian reflective programming, program transformation, meta-object protocol. [Abstract]


Miscellaneous
  1. Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, Marìa Andreìna Francisco Rodrìguez, Justin Pearson, and Helmut Simonis. Global Constraint Catalog, Volume II, Time-Series Constraints, September 2016. Note: Synthesized catalogue (text, figures, code) of time-series constraints. Keyword(s): minimum description length, ontology, sequential pattern mining, global constraint, finite transducer, automaton with accumulators, reversible automaton, glue matrix, sharp bounds, meta-data, constraint programming.


  2. Julien Cohen and Rémi Douence. Views, Program Transformations, and the Evolutivity Problem in a Functional Language. Note: 19 pages, 2011. Keyword(s): program transformation, views, refactoring, dominant decomposition.


  3. Pierre Cointe, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Jacques Noyé, and Mario Südholt. KLEE - Langages à objets, programmation par aspects et modèles de composants : vers des architectures logicielles adaptables, December 2001. Note: Document de travail.



BACK TO INDEX




Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.




Last modified: Wed May 31 15:05:58 2017
Author: helene.


This document was translated from BibTEX by bibtex2html