BibTeX records: Rémi Douence

download as .bib file

@inproceedings{DBLP:conf/aaai/GindullinBCDQ24,
  author       = {Ramiz Gindullin and
                  Nicolas Beldiceanu and
                  Jovial Cheukam{-}Ngouonou and
                  R{\'{e}}mi Douence and
                  Claude{-}Guy Quimper},
  editor       = {Michael J. Wooldridge and
                  Jennifer G. Dy and
                  Sriraam Natarajan},
  title        = {Composing Biases by Using {CP} to Decompose Minimal Functional Dependencies
                  for Acquiring Complex Formulae},
  booktitle    = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
                  2024, Thirty-Sixth Conference on Innovative Applications of Artificial
                  Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
                  in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
                  Canada},
  pages        = {8030--8037},
  publisher    = {{AAAI} Press},
  year         = {2024},
  url          = {https://doi.org/10.1609/aaai.v38i8.28641},
  doi          = {10.1609/AAAI.V38I8.28641},
  timestamp    = {Tue, 02 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/GindullinBCDQ24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GindullinBCDQ23,
  author       = {Ramiz Gindullin and
                  Nicolas Beldiceanu and
                  Jovial Cheukam{-}Ngouonou and
                  R{\'{e}}mi Douence and
                  Claude{-}Guy Quimper},
  editor       = {Andr{\'{e}} A. Cir{\'{e}}},
  title        = {Boolean-Arithmetic Equations: Acquisition and Uses},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 20th International Conference, {CPAIOR} 2023,
                  Nice, France, May 29 - June 1, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13884},
  pages        = {378--394},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-33271-5\_25},
  doi          = {10.1007/978-3-031-33271-5\_25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GindullinBCDQ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-08990,
  author       = {Jovial Cheukam{-}Ngouonou and
                  Ramiz Gindullin and
                  Nicolas Beldiceanu and
                  R{\'{e}}mi Douence and
                  Claude{-}Guy Quimper},
  title        = {Proving Conjectures Acquired by Composing Multiple Biases},
  journal      = {CoRR},
  volume       = {abs/2312.08990},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.08990},
  doi          = {10.48550/ARXIV.2312.08990},
  eprinttype    = {arXiv},
  eprint       = {2312.08990},
  timestamp    = {Mon, 08 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-08990.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BeldiceanuCDGQ22,
  author       = {Nicolas Beldiceanu and
                  Jovial Cheukam{-}Ngouonou and
                  R{\'{e}}mi Douence and
                  Ramiz Gindullin and
                  Claude{-}Guy Quimper},
  editor       = {Christine Solnon},
  title        = {Acquiring Maps of Interrelated Conjectures on Sharp Bounds},
  booktitle    = {28th International Conference on Principles and Practice of Constraint
                  Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
  series       = {LIPIcs},
  volume       = {235},
  pages        = {6:1--6:18},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.CP.2022.6},
  doi          = {10.4230/LIPICS.CP.2022.6},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/BeldiceanuCDGQ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ChengTD20,
  author       = {Zheng Cheng and
                  Massimo Tisi and
                  R{\'{e}}mi Douence},
  title        = {CoqTL: a Coq {DSL} for rule-based model transformation},
  journal      = {Softw. Syst. Model.},
  volume       = {19},
  number       = {2},
  pages        = {425--439},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10270-019-00765-6},
  doi          = {10.1007/S10270-019-00765-6},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sosym/ChengTD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PerezTD17,
  author       = {Salvador Mart{\'{\i}}nez Perez and
                  Massimo Tisi and
                  R{\'{e}}mi Douence},
  title        = {Reactive model transformation with {ATL}},
  journal      = {Sci. Comput. Program.},
  volume       = {136},
  pages        = {1--16},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.scico.2016.08.006},
  doi          = {10.1016/J.SCICO.2016.08.006},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/PerezTD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/BeldiceanuCDS16,
  author       = {Nicolas Beldiceanu and
                  Mats Carlsson and
                  R{\'{e}}mi Douence and
                  Helmut Simonis},
  title        = {Using finite transducers for describing and synthesising structural
                  time-series constraints},
  journal      = {Constraints An Int. J.},
  volume       = {21},
  number       = {1},
  pages        = {22--40},
  year         = {2016},
  url          = {https://doi.org/10.1007/s10601-015-9200-3},
  doi          = {10.1007/S10601-015-9200-3},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/BeldiceanuCDS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/ArafailovaBDFRP16,
  author       = {Ekaterina Arafailova and
                  Nicolas Beldiceanu and
                  R{\'{e}}mi Douence and
                  Pierre Flener and
                  Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
                  Justin Pearson and
                  Helmut Simonis},
  editor       = {Claude{-}Guy Quimper},
  title        = {Time-Series Constraints: Improvements and Application in {CP} and
                  {MIP} Contexts},
  booktitle    = {Integration of {AI} and {OR} Techniques in Constraint Programming
                  - 13th International Conference, {CPAIOR} 2016, Banff, AB, Canada,
                  May 29 - June 1, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9676},
  pages        = {18--34},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-33954-2\_2},
  doi          = {10.1007/978-3-319-33954-2\_2},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ArafailovaBDFRP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ArafailovaBDCFR16,
  author       = {Ekaterina Arafailova and
                  Nicolas Beldiceanu and
                  R{\'{e}}mi Douence and
                  Mats Carlsson and
                  Pierre Flener and
                  Mar{\'{\i}}a Andre{\'{\i}}na Francisco Rodr{\'{\i}}guez and
                  Justin Pearson and
                  Helmut Simonis},
  title        = {Global Constraint Catalog, Volume II, Time-Series Constraints},
  journal      = {CoRR},
  volume       = {abs/1609.08925},
  year         = {2016},
  url          = {http://arxiv.org/abs/1609.08925},
  eprinttype    = {arXiv},
  eprint       = {1609.08925},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/ArafailovaBDCFR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Douence15,
  author       = {R{\'{e}}mi Douence},
  title        = {Composition non modulaire modulaire. (Modular non-modular composition)},
  year         = {2015},
  url          = {https://tel.archives-ouvertes.fr/tel-01357054},
  timestamp    = {Sat, 30 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/hal/Douence15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TisiDW15,
  author       = {Massimo Tisi and
                  R{\'{e}}mi Douence and
                  Dennis Wagelaar},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Lazy Evaluation for {OCL}},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {46--61},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/TisiDW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/CherrueauDS15,
  author       = {Ronan{-}Alexandre Cherrueau and
                  R{\'{e}}mi Douence and
                  Mario S{\"{u}}dholt},
  title        = {A Language for the Composition of Privacy-Enforcement Techniques},
  booktitle    = {2015 {IEEE} TrustCom/BigDataSE/ISPA, Helsinki, Finland, August 20-22,
                  2015, Volume 1},
  pages        = {1037--1044},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/Trustcom.2015.480},
  doi          = {10.1109/TRUSTCOM.2015.480},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/trustcom/CherrueauDS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/PrudhommeLDJ14,
  author       = {Charles Prud'homme and
                  Xavier Lorca and
                  R{\'{e}}mi Douence and
                  Narendra Jussien},
  title        = {Propagation engine prototyping with a domain specific language},
  journal      = {Constraints An Int. J.},
  volume       = {19},
  number       = {1},
  pages        = {57--76},
  year         = {2014},
  url          = {https://doi.org/10.1007/s10601-013-9151-5},
  doi          = {10.1007/S10601-013-9151-5},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/constraints/PrudhommeLDJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/DouenceT14,
  author       = {R{\'{e}}mi Douence and
                  Nicolas Tabareau},
  editor       = {Olaf Chitil and
                  Andy King and
                  Olivier Danvy},
  title        = {Lazier Imperative Programming},
  booktitle    = {Proceedings of the 16th International Symposium on Principles and
                  Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
                  September 8-10, 2014},
  pages        = {7--18},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2643135.2643159},
  doi          = {10.1145/2643135.2643159},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ppdp/DouenceT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/LegerTD13,
  author       = {Paul Leger and
                  {\'{E}}ric Tanter and
                  R{\'{e}}mi Douence},
  title        = {Modular and flexible causality control on the Web},
  journal      = {Sci. Comput. Program.},
  volume       = {78},
  number       = {9},
  pages        = {1538--1558},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.scico.2012.11.005},
  doi          = {10.1016/J.SCICO.2012.11.005},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/LegerTD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/CherrueauDRSORD13,
  author       = {Ronan{-}Alexandre Cherrueau and
                  R{\'{e}}mi Douence and
                  Jean{-}Claude Royer and
                  Mario S{\"{u}}dholt and
                  Anderson Santana de Oliveira and
                  Yves Roudier and
                  Matteo Dell'Amico},
  editor       = {Joaqu{\'{\i}}n Garc{\'{\i}}a{-}Alfaro and
                  Georgios V. Lioudakis and
                  Nora Cuppens{-}Boulahia and
                  Simon N. Foley and
                  William M. Fitzgerald},
  title        = {Reference Monitors for Security and Interoperability in OAuth 2.0},
  booktitle    = {Data Privacy Management and Autonomous Spontaneous Security - 8th
                  International Workshop, {DPM} 2013, and 6th International Workshop,
                  {SETOP} 2013, Egham, UK, September 12-13, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8247},
  pages        = {235--249},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-54568-9\_15},
  doi          = {10.1007/978-3-642-54568-9\_15},
  timestamp    = {Sun, 25 Oct 2020 22:34:56 +0100},
  biburl       = {https://dblp.org/rec/conf/esorics/CherrueauDRSORD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DjokoDF12,
  author       = {Simplice Djoko Djoko and
                  R{\'{e}}mi Douence and
                  Pascal Fradet},
  title        = {Aspects preserving properties},
  journal      = {Sci. Comput. Program.},
  volume       = {77},
  number       = {3},
  pages        = {393--422},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.scico.2011.10.010},
  doi          = {10.1016/J.SCICO.2011.10.010},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/DjokoDF12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/CohenDA12,
  author       = {Julien Cohen and
                  R{\'{e}}mi Douence and
                  Akram Ajouli},
  editor       = {Tom Mens and
                  Anthony Cleve and
                  Rudolf Ferenc},
  title        = {Invertible Program Restructurings for Continuing Modular Maintenance},
  booktitle    = {16th European Conference on Software Maintenance and Reengineering,
                  {CSMR} 2012, Szeged, Hungary, March 27-30, 2012},
  pages        = {347--352},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/CSMR.2012.42},
  doi          = {10.1109/CSMR.2012.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/csmr/CohenDA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/TanterTD12,
  author       = {{\'{E}}ric Tanter and
                  Nicolas Tabareau and
                  R{\'{e}}mi Douence},
  editor       = {Shmuel Katz and
                  Gary T. Leavens and
                  Hidehiko Masuhara},
  title        = {Taming aspects with membranes},
  booktitle    = {Proceedings of the eleventh workshop on Foundations of Aspect-Oriented
                  Languages, {FOAL} 2012, Potsdam, Germany, March 25-30, 2012},
  pages        = {3--8},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2162010.2162014},
  doi          = {10.1145/2162010.2162014},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foal/TanterTD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/AllamDGRS12,
  author       = {Diana Allam and
                  R{\'{e}}mi Douence and
                  Herv{\'{e}} Grall and
                  Jean{-}Claude Royer and
                  Mario S{\"{u}}dholt},
  editor       = {Karl{-}Heinz Krempels and
                  Jos{\'{e}} Cordeiro},
  title        = {A Message-passing Model for Service Oriented Computing},
  booktitle    = {{WEBIST} 2012 - Proceedings of the 8th International Conference on
                  Web Information Systems and Technologies, Porto, Portugal, 18 - 21
                  April, 2012},
  pages        = {136--142},
  publisher    = {SciTePress},
  year         = {2012},
  timestamp    = {Fri, 25 May 2012 12:31:27 +0200},
  biburl       = {https://dblp.org/rec/conf/webist/AllamDGRS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1201-5230,
  author       = {Julien Cohen and
                  R{\'{e}}mi Douence and
                  Akram Ajouli},
  title        = {Invertible Program Restructurings for Continuing Modular Maintenance},
  journal      = {CoRR},
  volume       = {abs/1201.5230},
  year         = {2012},
  url          = {http://arxiv.org/abs/1201.5230},
  eprinttype    = {arXiv},
  eprint       = {1201.5230},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1201-5230.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/HannousseDA11,
  author       = {Abdelhakim Hannousse and
                  R{\'{e}}mi Douence and
                  Gilles Ardourel},
  title        = {Composable Controllers in Fractal: Implementation and Interference
                  Analysis},
  booktitle    = {37th {EUROMICRO} Conference on Software Engineering and Advanced Applications,
                  {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011},
  pages        = {51--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SEAA.2011.18},
  doi          = {10.1109/SEAA.2011.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/HannousseDA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HannousseDA11,
  author       = {Abdelhakim Hannousse and
                  R{\'{e}}mi Douence and
                  Gilles Ardourel},
  editor       = {Ewen Denney and
                  Ulrik Pagh Schultz},
  title        = {Static analysis of aspect interaction and composition in component
                  models},
  booktitle    = {Generative Programming And Component Engineering, Proceedings of the
                  10th International Conference on Generative Programming and Component
                  Engineering, {GPCE} 2011, Portland, Oregon, USA, October 22-24, 2011},
  pages        = {43--52},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2047862.2047871},
  doi          = {10.1145/2047862.2047871},
  timestamp    = {Thu, 24 Jun 2021 16:19:31 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/HannousseDA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/TanterFDNS10,
  author       = {{\'{E}}ric Tanter and
                  Johan Fabry and
                  R{\'{e}}mi Douence and
                  Jacques Noy{\'{e}} and
                  Mario S{\"{u}}dholt},
  title        = {Scoping strategies for distributed aspects},
  journal      = {Sci. Comput. Program.},
  volume       = {75},
  number       = {12},
  pages        = {1235--1261},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.scico.2010.06.011},
  doi          = {10.1016/J.SCICO.2010.06.011},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/TanterFDNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1005-1213,
  author       = {Julien Cohen and
                  R{\'{e}}mi Douence},
  title        = {Views, Program Transformations, and the Evolutivity Problem},
  journal      = {CoRR},
  volume       = {abs/1005.1213},
  year         = {2010},
  url          = {http://arxiv.org/abs/1005.1213},
  eprinttype    = {arXiv},
  eprint       = {1005.1213},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1005-1213.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/TanterFDNS09,
  author       = {{\'{E}}ric Tanter and
                  Johan Fabry and
                  R{\'{e}}mi Douence and
                  Jacques Noy{\'{e}} and
                  Mario S{\"{u}}dholt},
  editor       = {Kevin J. Sullivan and
                  Ana Moreira and
                  Christa Schwanninger and
                  Jeff Gray},
  title        = {Expressive scoping of distributed aspects},
  booktitle    = {Proceedings of the 8th International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2009, Charlottesville, Virginia, USA,
                  March 2-6, 2009},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1509239.1509245},
  doi          = {10.1145/1509239.1509245},
  timestamp    = {Mon, 21 Jun 2021 12:26:27 +0200},
  biburl       = {https://dblp.org/rec/conf/aosd/TanterFDNS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soco/DouenceLL09,
  author       = {R{\'{e}}mi Douence and
                  Xavier Lorca and
                  Nicolas Loriant},
  editor       = {Alexandre Bergel and
                  Johan Fabry},
  title        = {Lazy Composition of Representations in Java},
  booktitle    = {Software Composition - 8th International Conference, SC@TOOLS 2009,
                  Zurich, Switzerland, July 2-3, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5634},
  pages        = {55--71},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02655-3\_6},
  doi          = {10.1007/978-3-642-02655-3\_6},
  timestamp    = {Thu, 25 Jun 2020 18:42:49 +0200},
  biburl       = {https://dblp.org/rec/conf/soco/DouenceLL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/NavarroDS08,
  author       = {Luis Daniel Benavides Navarro and
                  R{\'{e}}mi Douence and
                  Mario S{\"{u}}dholt},
  editor       = {Val{\'{e}}rie Issarny and
                  Richard E. Schantz},
  title        = {Debugging and Testing Middleware with Aspect-Based Control-Flow and
                  Causal Patterns},
  booktitle    = {Middleware 2008, {ACM/IFIP/USENIX} 9th International Middleware Conference,
                  Leuven, Belgium, December 1-5, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5346},
  pages        = {183--202},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-89856-6\_10},
  doi          = {10.1007/978-3-540-89856-6\_10},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/middleware/NavarroDS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/DjokoDF08,
  author       = {Simplice Djoko Djoko and
                  R{\'{e}}mi Douence and
                  Pascal Fradet},
  editor       = {Robert Gl{\"{u}}ck and
                  Oege de Moor},
  title        = {Aspects preserving properties},
  booktitle    = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
                  and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
                  California, USA, January 7-8, 2008},
  pages        = {135--145},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1328408.1328429},
  doi          = {10.1145/1328408.1328429},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/DjokoDF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbac-pad/NavarroDHMS08,
  author       = {Luis Daniel Benavides Navarro and
                  R{\'{e}}mi Douence and
                  Fabien Hermenier and
                  Jean{-}Marc Menaud and
                  Mario S{\"{u}}dholt},
  editor       = {Edson Norberto C{\'{a}}cares and
                  Walfredo Cirne and
                  Viktor K. Prasanna},
  title        = {Aspect-Based Patterns for Grid Programming},
  booktitle    = {20th International Symposium on Computer Architecture and High Performance
                  Computing, {SBAC-PAD} 2008, October 29 - November 1, 2008, Campo Grande,
                  MS, Brazil},
  pages        = {141--148},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SBAC-PAD.2008.22},
  doi          = {10.1109/SBAC-PAD.2008.22},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sbac-pad/NavarroDHMS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DjokoDF08,
  author       = {Simplice Djoko Djoko and
                  R{\'{e}}mi Douence and
                  Pascal Fradet},
  editor       = {Antonio Cerone and
                  Stefan Gruner},
  title        = {Specialized Aspect Languages Preserving Classes of Properties},
  booktitle    = {Sixth {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
                  2008},
  pages        = {227--236},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SEFM.2008.21},
  doi          = {10.1109/SEFM.2008.21},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/DjokoDF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DouenceF07,
  author       = {R{\'{e}}mi Douence and
                  Pascal Fradet},
  title        = {The next 700 Krivine machines},
  journal      = {High. Order Symb. Comput.},
  volume       = {20},
  number       = {3},
  pages        = {237--255},
  year         = {2007},
  url          = {https://doi.org/10.1007/s10990-007-9016-y},
  doi          = {10.1007/S10990-007-9016-Y},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/DouenceF07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/NavarroSDM07,
  author       = {Luis Daniel Benavides Navarro and
                  Mario S{\"{u}}dholt and
                  R{\'{e}}mi Douence and
                  Jean{-}Marc Menaud},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Invasive Patterns for Distributed Programs},
  booktitle    = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
                  GADA, and IS, {OTM} Confederated International Conferences CoopIS,
                  DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
                  2007, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4803},
  pages        = {772--789},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76848-7\_51},
  doi          = {10.1007/978-3-540-76848-7\_51},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/NavarroSDM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Segura-DevillechaiseMLDSFW06,
  author       = {Marc S{\'{e}}gura{-}Devillechaise and
                  Jean{-}Marc Menaud and
                  Nicolas Loriant and
                  R{\'{e}}mi Douence and
                  Mario S{\"{u}}dholt and
                  Thomas Fritz and
                  Egon Wuchner},
  title        = {Dynamic Adaptation of the Squid Web Cache with Arachne},
  journal      = {{IEEE} Softw.},
  volume       = {23},
  number       = {1},
  pages        = {34--41},
  year         = {2006},
  url          = {https://doi.org/10.1109/MS.2006.9},
  doi          = {10.1109/MS.2006.9},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/software/Segura-DevillechaiseMLDSFW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/DouenceFLMSS06,
  author       = {R{\'{e}}mi Douence and
                  Thomas Fritz and
                  Nicolas Loriant and
                  Jean{-}Marc Menaud and
                  Marc S{\'{e}}gura{-}Devillechaise and
                  Mario S{\"{u}}dholt},
  title        = {An Expressive Aspect Language for System Applications with Arachne},
  journal      = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
  volume       = {1},
  pages        = {174--213},
  year         = {2006},
  url          = {https://doi.org/10.1007/11687061\_6},
  doi          = {10.1007/11687061\_6},
  timestamp    = {Fri, 08 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taosd/DouenceFLMSS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/DouenceBNS06,
  author       = {R{\'{e}}mi Douence and
                  Didier Le Botlan and
                  Jacques Noy{\'{e}} and
                  Mario S{\"{u}}dholt},
  editor       = {Stan Jarzabek and
                  Douglas C. Schmidt and
                  Todd L. Veldhuizen},
  title        = {Concurrent aspects},
  booktitle    = {Generative Programming and Component Engineering, 5th International
                  Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
                  Proceedings},
  pages        = {79--88},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1173706.1173718},
  doi          = {10.1145/1173706.1173718},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gpce/DouenceBNS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/DouenceFLMSS05,
  author       = {R{\'{e}}mi Douence and
                  Thomas Fritz and
                  Nicolas Loriant and
                  Jean{-}Marc Menaud and
                  Marc S{\'{e}}gura{-}Devillechaise and
                  Mario S{\"{u}}dholt},
  editor       = {Mira Mezini and
                  Peri L. Tarr},
  title        = {An expressive aspect language for system applications with Arachne},
  booktitle    = {Proceedings of the 4th International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2005, Chicago, Illinois, USA, March 14-18,
                  2005},
  pages        = {27--38},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1052898.1052901},
  doi          = {10.1145/1052898.1052901},
  timestamp    = {Fri, 13 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aosd/DouenceFLMSS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/CointeNDLMMS04,
  author       = {Pierre Cointe and
                  Jacques Noy{\'{e}} and
                  R{\'{e}}mi Douence and
                  Thomas Ledoux and
                  Jean{-}Marc Menaud and
                  Gilles Muller and
                  Mario S{\"{u}}dholt},
  title        = {Programmation post-objets. Des langages d'aspects aux langages de
                  composants},
  journal      = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
  volume       = {10},
  number       = {4},
  pages        = {119--143},
  year         = {2004},
  url          = {https://doi.org/10.3166/objet.10.4.119-143},
  doi          = {10.3166/OBJET.10.4.119-143},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/Lobjet/CointeNDLMMS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/DouenceFS04,
  author       = {R{\'{e}}mi Douence and
                  Pascal Fradet and
                  Mario S{\"{u}}dholt},
  editor       = {Gail C. Murphy and
                  Karl J. Lieberherr},
  title        = {Composition, reuse and interaction analysis of stateful aspects},
  booktitle    = {Proceedings of the 3rd International Conference on Aspect-Oriented
                  Software Development, {AOSD} 2004, Lancaster, UK, March 22-24, 2004},
  pages        = {141--150},
  publisher    = {{ACM}},
  year         = {2004},
  url          = {https://doi.org/10.1145/976270.976288},
  doi          = {10.1145/976270.976288},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aosd/DouenceFS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/DouenceT04,
  author       = {R{\'{e}}mi Douence and
                  Luc Teboul},
  editor       = {Gabor Karsai and
                  Eelco Visser},
  title        = {A Pointcut Language for Control-Flow},
  booktitle    = {Generative Programming and Component Engineering: Third International
                  Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3286},
  pages        = {95--114},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30175-2\_6},
  doi          = {10.1007/978-3-540-30175-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/DouenceT04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/DouenceS03,
  author       = {R{\'{e}}mi Douence and
                  Mario S{\"{u}}dholt},
  title        = {Un mod{\`{e}}le et un outil pour la programmation par aspects {\'{e}}v{\'{e}}nementiels},
  journal      = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
  volume       = {9},
  number       = {1-2},
  pages        = {105--117},
  year         = {2003},
  url          = {https://doi.org/10.3166/objet.9.1-2.105-117},
  doi          = {10.3166/OBJET.9.1-2.105-117},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/Lobjet/DouenceS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/DouenceFS02,
  author       = {R{\'{e}}mi Douence and
                  Pascal Fradet and
                  Mario S{\"{u}}dholt},
  editor       = {Don S. Batory and
                  Charles Consel and
                  Walid Taha},
  title        = {A Framework for the Detection and Resolution of Aspect Interactions},
  booktitle    = {Generative Programming and Component Engineering, {ACM} {SIGPLAN/SIGSOFT}
                  Conference, {GPCE} 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2487},
  pages        = {173--188},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45821-2\_11},
  doi          = {10.1007/3-540-45821-2\_11},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/gpce/DouenceFS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GueheneucDJ02,
  author       = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
                  R{\'{e}}mi Douence and
                  Narendra Jussien},
  title        = {No Java without Caffeine: {A} Tool for Dynamic Analysis of Java Programs},
  booktitle    = {17th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
  pages        = {117},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASE.2002.1115000},
  doi          = {10.1109/ASE.2002.1115000},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/GueheneucDJ02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DouenceS01,
  author       = {R{\'{e}}mi Douence and
                  Mario S{\"{u}}dholt},
  title        = {A Generic Reification Technique for Object-Oriented Reflective Languages},
  journal      = {High. Order Symb. Comput.},
  volume       = {14},
  number       = {1},
  pages        = {7--34},
  year         = {2001},
  url          = {https://doi.org/10.1023/A:1011549115358},
  doi          = {10.1023/A:1011549115358},
  timestamp    = {Thu, 05 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lisp/DouenceS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reflection/DouenceMS01,
  author       = {R{\'{e}}mi Douence and
                  Olivier Motelet and
                  Mario S{\"{u}}dholt},
  editor       = {Akinori Yonezawa and
                  Satoshi Matsuoka},
  title        = {A Formal Definition of Crosscuts},
  booktitle    = {Metalevel Architectures and Separation of Crosscutting Concerns, Third
                  International Conference, {REFLECTION} 2001, Kyoto, Japan, September
                  25-28, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2192},
  pages        = {170--186},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45429-2\_13},
  doi          = {10.1007/3-540-45429-2\_13},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/reflection/DouenceMS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/DouenceF98,
  author       = {R{\'{e}}mi Douence and
                  Pascal Fradet},
  title        = {A Systematic Study of Functional Language Implementations},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {20},
  number       = {2},
  pages        = {344--387},
  year         = {1998},
  url          = {https://doi.org/10.1145/276393.276397},
  doi          = {10.1145/276393.276397},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/DouenceF98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AllenDG98,
  author       = {Robert Allen and
                  R{\'{e}}mi Douence and
                  David Garlan},
  editor       = {Egidio Astesiano},
  title        = {Specifying and Analyzing Dynamic Software Architectures},
  booktitle    = {Fundamental Approaches to Software Engineering, 1st Internationsl
                  Conference, FASE'98, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal,
                  March 28 - April 4, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1382},
  pages        = {21--37},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0053581},
  doi          = {10.1007/BFB0053581},
  timestamp    = {Sat, 07 Sep 2019 11:59:24 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AllenDG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/DouenceF95,
  author       = {R{\'{e}}mi Douence and
                  Pascal Fradet},
  editor       = {Manuel V. Hermenegildo and
                  S. Doaitse Swierstra},
  title        = {Towards a Taxonomy of Functional Languages Implementations},
  booktitle    = {Programming Languages: Implementations, Logics and Programs, 7th International
                  Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {982},
  pages        = {27--44},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0026812},
  doi          = {10.1007/BFB0026812},
  timestamp    = {Tue, 14 May 2019 10:00:35 +0200},
  biburl       = {https://dblp.org/rec/conf/plilp/DouenceF95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics