- 20
- 12
- 5
- 5
- 3
- 2
- 2
- 1
- 1
- 1
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
- 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
- 24
- 8
- 7
- 7
- 5
- 5
- 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
- 5
- 5
- 1
- 1
- 1
- 1
- 1
|
CoqTL: A Coq DSL for Rule-Based Model TransformationSoftware and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩
Article dans une revue
hal-02333564v1
|
|
Reactive Model Transformation with ATLScience 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 constraintsConstraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
Article dans une revue
hal-01370322v1
|
|
Propagation Engine Prototyping with a Domain Specific LanguageConstraints, 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 WebScience of Computer Programming, 2013
Article dans une revue
hal-00755127v1
|
|
Aspects Preserving PropertiesScience 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 aspectsScience 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 MachinesHigher-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 ArachneIEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Article dans une revue
inria-00442177v1
|
|
An expressive aspect language for system applications with ArachneLNCS 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 composantsRevue 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 languagesHigher-Order and Symbolic Computation, 2001, 14 (1), pp.7--34
Article dans une revue
hal-00444033v1
|
|
Composing Biases by Using CP to Decompose Minimal Functional Dependencies for Acquiring Complex FormulaeAAAI 2024 - 38th Annual AAAI Conference on Artificial Intelligence, Feb 2024, Vancouver, Canada
Communication dans un congrès
hal-04460576v1
|
|
Boolean-Arithmetic Equations: Acquisition and UsesCPAIOR 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 BoundsCP 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)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 ContextsCPAIOR 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
|
|
A Language for the Composition of Privacy-Enforcement TechniquesIEEE 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 OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Communication dans un congrès
hal-01221072v1
|
|
Lazier Imperative ProgrammingPrinciples 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.0SETOP - 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 DSLJournées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Communication dans un congrès
hal-00867713v1
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Communication dans un congrès
hal-00668975v1
|
|
Invertible Program Restructurings for Continuing Modular Maintenance16th 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
|
|
Taming Aspects with MembranesFoundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Communication dans un congrès
hal-00690706v1
|
The Synthesis Problem for Trusted Service-based CollaborationsActes 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
|
|
|
Program Transformation based Views for Modular MaintenanceTroisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
Communication dans un congrès
hal-00670378v1
|
|
Composable Controllers in Fractal: Implementation and Interference Analysisthe 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99
Communication dans un congrès
hal-00606269v2
|
|
Static Analysis of Aspect Interaction and Composition in Component Modelsthe 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 Modelsthe 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 logicielJourné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 AspectsAOSD 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 JavaSC'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 PatternsWorkshop 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 patternsACM/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 PropertiesACM/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 programming20th 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 propertiesIEEE 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 ProgramsDistributed Objects, Middleware, and Applications, Nov 2007, Portugal. pp.772-789
Communication dans un congrès
hal-00467821v1
|
|
Invasive Patterns: Aspect-Based Adaptation of Distributed ApplicationsWorkshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany
Communication dans un congrès
hal-00469639v1
|
|
|
Towards a model of concurrent AOPSPLAT! 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 InspectionSoftware Engineering Properties of Languages and Aspect Technologies, Mar 2006, Germany
Communication dans un congrès
hal-00469635v1
|
|
Concurrent Aspects5th 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
|
|
|
An expressive aspect language for system applications with Arachne4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States
Communication dans un congrès
inria-00441355v1
|
A crosscut language for control-flowThird 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 aspects3rd 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énementiels9th 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 programsASE'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
|
|
|
A framework for the detection and resolution of aspect interactionsConference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA
Communication dans un congrès
inria-00000950v1
|
Composants et aspectsMourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005
Chapitre d'ouvrage
hal-00457122v1
|
|
|
Trace-Based AspectsMehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004
Chapitre d'ouvrage
inria-00000947v1
|
|
Composition non modulaire modulaireGénie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
HDR
tel-01357054v1
|