Accéder directement au contenu

Rémi Douence

52
Documents
Affiliations actuelles
  • 495900
  • 489559

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Functional Languages Semantics Certified Programming Haskell Agda Java Object-Oriented Languages

Publications

Image document

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
Image document

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
Image document

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
Image document

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 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
Image document

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
Image document

Dynamic Adaptation of the Squid web cache with Arachne

Marc Ségura-Devillechaise , Jean-Marc Menaud , Nicolas Loriant , Thomas Fritz , Rémi Douence
IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Article dans une revue inria-00442177v1
Image document

An expressive aspect language for system applications with Arachne

Rémi Douence , Thomas Fritz , Nicolas Loriant , Jean-Marc Menaud , Marc Ségura-Devillechaise
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 Menaud
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
Image document

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
Communication dans un congrès hal-04460576v1
Image document

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
Image document

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
Image document

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
Image document

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íguez
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
Image document

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

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

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 Oliveira
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Communication dans un congrès hal-00846810v1
Image document

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
Image document

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
Image document

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
Image document

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

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
Image document

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
Image document

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
Image document

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

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 Cointe
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
Image document

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

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

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 inria-00418841v1

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

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
Image document

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

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
Image document

An expressive aspect language for system applications with Arachne

Rémi Douence , Thomas Fritz , Nicolas Loriant , Jean-Marc Menaud , Marc Ségura-Devillechaise
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
Image document

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

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
Image document

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

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
Image document

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
Image document

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