Rémi Douence

Publications

Article dans une revue (12)

CoqTL: A Coq DSL for Rule-Based Model Transformation Zheng Cheng,Massimo Tisi,Rémi Douence Software and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩ Article dans une revue hal-02333564v1
Reactive Model Transformation with ATL Salvador Martínez,Massimo Tisi,Rémi Douence Science of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩ Article dans une revue hal-01627991v1
Using finite transducers for describing and synthesising structural time-series constraints Nicolas Beldiceanu,Mats Carlsson,Rémi Douence,Helmut Simonis Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩ Article dans une revue hal-01370322v1
Propagation Engine Prototyping with a Domain Specific Language Charles Prud'Homme,Xavier Lorca,Rémi Douence,Narendra Jussien Constraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩ Article dans une revue hal-00867604v1
Modular and Flexible Causality Control on the Web Paul Leger,Éric Tanter,Rémi Douence Science of Computer Programming, 2013 Article dans une revue hal-00755127v1
Aspects Preserving Properties Simplice Djoko Djoko,Rémi Douence,Pascal Fradet Science of Computer Programming, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩ Article dans une revue istex inria-00638852v1
Scoping strategies for distributed aspects Éric Tanter,Johan Fabry,Rémi Douence,Jacques Noyé,Mario Südholt Science of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩ Article dans une revue inria-00523569v1
The next 700 Krivine Machines Rémi Douence,Pascal Fradet Higher-Order and Symbolic Computation, 2007, 20 (3), pp.237-255. ⟨10.1007/s10990-007-9016-y⟩ Article dans une revue inria-00000940v1
Dynamic Adaptation of the Squid web cache with Arachne Marc Ségura-Devillechaise,Jean-Marc Menaud,Nicolas Loriant,Thomas Fritz,Rémi Douenceet al. IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1) Article dans une revue inria-00442177v1
An expressive aspect language for system applications with Arachne Rémi Douence,Thomas Fritz,Nicolas Loriant,Jean-Marc Menaud,Marc Ségura-Devillechaiseet al. LNCS Transactions on Aspect-Oriented Software Development, 2006, 1 (1) Article dans une revue inria-00442180v1
Programmation post-objets : des langages d'aspects aux langages de composants Pierre Cointe,Jacques Noyé,Rémi Douence,Thomas Ledoux,Jean-Marc Menaudet al. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2004, 10 (4), pp.119-143 Article dans une revue hal-00444029v1
A generic reification technique for object-oriented reflective languages Rémi Douence,Mario Südholt Higher-Order and Symbolic Computation, 2001, 14 (1), pp.7--34 Article dans une revue hal-00444033v1

Communication dans un congrès (39)

Linear Effects, Exceptions, and Resource Safety Sidney Congard,Guillaume Munch-Maccagnoni,Rémi Douence ESOP 2026 - 35th European Symposium on Programming, Apr 2026, Turin, Italy. ⟨10.48550/arXiv.2510.23517⟩ Communication dans un congrès hal-05430763v1
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 AAAI 2024: 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada. ⟨10.1609/aaai.v38i8.28641⟩ Communication dans un congrès hal-04460576v1
Automated Proof Tactics for Model Transformation Julien Cohen,Massimo Tisi,Rémi Douence ECMFA 2024 - 20th European Conference on Modelling Foundations and Applications, Jul 2024, Enschede, Netherlands. pp.1-14, ⟨10.5381/jot.2024.23.3.a1⟩ Communication dans un congrès hal-04957986v1
Boolean-Arithmetic Equations: Acquisition and Uses R Gindullin,Nicolas Beldiceanu,Jovial Cheukam Ngouonou,Rémi Douence,Claude-Guy Quimper CPAIOR 2023: 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, May 2023, Nice, France. pp.378-394, ⟨10.1007/978-3-031-33271-5_25⟩ Communication dans un congrès hal-04460561v1
Acquiring Maps of Interrelated Conjectures on Sharp Bounds Nicolas Beldiceanu,Jovial Cheukam-Ngouonou,Rémi Douence,Ramiz Gindullin,Claude-Guy Quimper CP 2022 - 28th International Conference on Principles and Practice of Constraint Programming, Jul 2022, Haifa, Israel. pp.1-18, ⟨10.4230/LIPIcs.CP.2022.6⟩ Communication dans un congrès hal-03789045v1
Efficient Deconstruction with Typed Pointer Reversal (abstract) Guillaume Munch-Maccagnoni,Rémi Douence ML 2019 - Workshop, KC Sivaramakrishnan, Aug 2019, Berlin, Germany. pp.1-8 Communication dans un congrès hal-02177326v2
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íguezet al. CPAIOR 2016 - 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming, May 2016, Banff, Canada. pp.18-34, ⟨10.1007/978-3-319-33954-2⟩ Communication dans un congrès hal-01355262v1
Lazy Evaluation for OCL Massimo Tisi,Rémi Douence,Dennis Wagelaar Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada Communication dans un congrès hal-01221072v1
A Language for the Composition of Privacy-Enforcement Techniques Ronan-Alexandre Cherrueau,Rémi Douence,Mario Südholt IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications, Aug 2015, Helsinki, Finland. pp.1037 - 1044, ⟨10.1109/Trustcom.2015.480⟩ Communication dans un congrès hal-01168303v1
Lazier Imperative Programming Rémi Douence,Nicolas Tabareau Principles and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom Communication dans un congrès hal-01016565v1
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 Oliveiraet al. SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom Communication dans un congrès hal-00846810v1
Prototyper des Moteurs de Propagation avec un DSL Charles Prud'Homme,Xavier Lorca,Rémi Douence,Narendra Jussien Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288 Communication dans un congrès hal-00867713v1
Invertible Program Restructurings for Continuing Modular Maintenance Julien Cohen,Rémi Douence,Akram Ajouli 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Mar 2012, Szeged, Hungary. pp.347-352, ⟨10.1109/CSMR.2012.42⟩ Communication dans un congrès hal-00662777v1
A Message-Passing Model for Service Oriented Computing Diana Allam,Rémi Douence,Hervé Grall,Jean-Claude Royer,Mario Südholt WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142 Communication dans un congrès hal-00668975v1
Taming Aspects with Membranes Éric Tanter,Nicolas Tabareau,Rémi Douence Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany Communication dans un congrès hal-00690706v1
Program Transformation based Views for Modular Maintenance Akram Ajouli,Julien Cohen,Rémi Douence Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219 Communication dans un congrès hal-00670378v1
Static Analysis of Aspect Interaction and Composition in Component Models Abdelhakim Hannousse,Rémi Douence,Gilles Ardourel the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18 Communication dans un congrès hal-00606270v2
The Synthesis Problem for Trusted Service-based Collaborations Diana Allam,Rémi Douence,Hervé Grall,Jean-Claude Royer,Mario Südholt Actes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France Communication dans un congrès hal-00700750v1
Composable Controllers in Fractal: Implementation and Interference Analysis Abdelhakim Hannousse,Rémi Douence,Gilles Ardourel the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99 Communication dans un congrès hal-00606269v2
Views for Aspectualizing Component Models Abdelhakim Hannousse,Gilles Ardourel,Rémi Douence the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10 Communication dans un congrès hal-00448686v1
Vers une réification de l'énergie dans le domaine du logiciel Jean-Marc Menaud,Adrien Lebre,Thomas Ledoux,Jacques Noyé,Pierre Cointeet al. Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000 Communication dans un congrès hal-00467411v1
Expressive Scoping of Distributed Aspects Éric Tanter,Johan Fabry,Rémi Douence,Jacques Noyé,Mario Südholt AOSD 2009, Mar 2009, Charlottesville, Virginia, United States. pp.27-38, ⟨10.1145/1509239.1509245⟩ Communication dans un congrès inria-00421683v1
Lazy Composition of Representations in Java Rémi Douence,Xavier Lorca,Nicolas Loriant SC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71 Communication dans un congrès inria-00403417v1
Aspect Preserving Properties Simplice Djoko Djoko,Rémi Douence,Pascal Fradet ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. ⟨10.1145/1328408.1328429⟩ Communication dans un congrès inria-00418836v1
Debugging and testing middleware with aspect-based control-flow and causal patterns Luis Daniel Benavides Navarro,Rémi Douence,Mario Südholt ACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. ⟨10.1007/978-3-540-89856-6_10⟩ Communication dans un congrès istex inria-00418841v1
LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns Luis Daniel Benavides Navarro,Rémi Douence,Angel Núñez,Mario Südholt Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. pp.36-45, ⟨10.1007/978-3-642-02047-6⟩ Communication dans un congrès hal-00469648v1
Aspect-based patterns for grid programming Luis Daniel Benavides Navarro,Rémi Douence,Fabien Hermenier,Jean-Marc Menaud,Mario Südholt 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), Oct 2008, Brazil. pp.141-148, ⟨10.1109/SBAC-PAD.2008.22⟩ Communication dans un congrès hal-00432090v1
Specialized aspect languages preserving classes of properties Simplice Djoko Djoko,Rémi Douence,Pascal Fradet IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town, South Africa. ⟨10.1109/SEFM.2008.21⟩ Communication dans un congrès inria-00418837v1
Invasive Patterns for Distributed Programs Luis Daniel Benavides Navarro,Mario Südholt,Rémi Douence,Jean-Marc Menaud Distributed Objects, Middleware, and Applications, Nov 2007, Portugal. pp.772-789 Communication dans un congrès hal-00467821v1
Invasive Patterns: Aspect-Based Adaptation of Distributed Applications Luis Daniel Benavides Navarro,Mario Südholt,Rémi Douence,Jean-Marc Menaud Workshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany Communication dans un congrès hal-00469639v1
Concurrent Aspects Rémi Douence,Didier Le Botlan,Jacques Noyé,Mario Südholt 5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩ Communication dans un congrès inria-00467938v1
Towards a model of concurrent AOP Rémi Douence,Didier Le Botlan,Jacques Noyé,Mario Südholt SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany Communication dans un congrès inria-00468018v1
Relational Aspects for Context Passing Beyond Stack Inspection Rémi Douence Software Engineering Properties of Languages and Aspect Technologies, Mar 2006, Germany Communication dans un congrès hal-00469635v1
An expressive aspect language for system applications with Arachne Rémi Douence,Thomas Fritz,Nicolas Loriant,Jean-Marc Menaud,Marc Ségura-Devillechaiseet al. 4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States Communication dans un congrès inria-00441355v1
A crosscut language for control-flow Rémi Douence,Luc Teboul Third International Conference on Generative Programming and Component Engineering (GPCE'04), 2004, Vancouver, Canada, Canada. pp.95-114 Communication dans un congrès hal-00457086v1
Composition, reuse and interaction analysis of stateful aspects Rémi Douence,Pascal Fradet,Mario Südholt 3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK Communication dans un congrès inria-00000946v1
Un modèle et un outil pour la programmation par aspects événementiels Rémi Douence,Mario Südholt 9th International Conference on Languages and Models with Objects (LMO'2003), 2003, Vannes, France. pp.105-118 Communication dans un congrès hal-00457184v1
A framework for the detection and resolution of aspect interactions Rémi Douence,Pascal Fradet,Mario Südholt Conference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA Communication dans un congrès inria-00000950v1
No Java without Caffeine ― A tool for dynamic analysis of Java programs Yann-Gaël Guéhéneuc,Rémi Douence,Narendra Jussien ASE'02: 17th IEEE conference on Automated Software Engineering, Sep 2002, Edinburgh, UK, Romania. pp.117--126, ⟨10.1109/ASE.2002.1115000⟩ Communication dans un congrès hal-00869117v1

Chapitre d'ouvrage (2)

Composants et aspects Jacques Noyé,Rémi Douence,Mario Südholt Mourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005 Chapitre d'ouvrage hal-00457122v1
Trace-Based Aspects Rémi Douence,Pascal Fradet,Mario Südholt Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004 Chapitre d'ouvrage inria-00000947v1

HDR (1)

Composition non modulaire modulaire Rémi Douence Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015 HDR tel-01357054v1