Rémi Douence

54
Documents
Affiliations actuelles
  • Gallinette : vers une nouvelle génération d'assistant à la preuve (LS2N - équipe GALLINETTE)
  • Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

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

Publications

20
13
6
5
3
2
2
1
1
1
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
24
8
7
7
5
5
4
4
3
3
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
42
21
7
5
2
1
1
1
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Dynamic Adaptation of the Squid web cache with Arachne

Marc Ségura-Devillechaise , Jean-Marc Menaud , Nicolas Loriant , Thomas Fritz , Rémi Douence et al.

IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)

Article dans une revue inria-00442177v1
Deposit thumbnail

An expressive aspect language for system applications with Arachne

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et 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
Deposit thumbnail

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 Oliveira et al.

SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom

Communication dans un congrès hal-00846810v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Cointe et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

An expressive aspect language for system applications with Arachne

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

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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