Rémi Douence
- 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
Compétences
Publications
Publications
|
|
CoqTL: A Coq DSL for Rule-Based Model TransformationSoftware and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩ |
|
|
Reactive Model Transformation with ATLScience of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩ |
|
|
Using finite transducers for describing and synthesising structural time-series constraintsConstraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩ |
|
|
Propagation Engine Prototyping with a Domain Specific LanguageConstraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩ |
Modular and Flexible Causality Control on the WebScience of Computer Programming, 2013 |
|
Aspects Preserving PropertiesScience of Computer Programming, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩ |
|
|
|
Scoping strategies for distributed aspectsScience of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩ |
|
|
The next 700 Krivine MachinesHigher-Order and Symbolic Computation, 2007, 20 (3), pp.237-255. ⟨10.1007/s10990-007-9016-y⟩ |
|
|
Dynamic Adaptation of the Squid web cache with ArachneIEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1) |
|
|
An expressive aspect language for system applications with ArachneLNCS Transactions on Aspect-Oriented Software Development, 2006, 1 (1) |
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 |
|
A generic reification technique for object-oriented reflective languagesHigher-Order and Symbolic Computation, 2001, 14 (1), pp.7--34 |
|
|
Linear Effects, Exceptions, and Resource SafetyESOP 2026 - 35th European Symposium on Programming, Apr 2026, Turin, Italy. ⟨10.48550/arXiv.2510.23517⟩ |
|
|
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. ⟨10.1609/aaai.v38i8.28641⟩ |
|
|
Automated Proof Tactics for Model TransformationECMFA 2024 - 20th European Conference on Modelling Foundations and Applications, Jul 2024, Enschede, Netherlands. pp.1-14, ⟨10.5381/jot.2024.23.3.a1⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Efficient Deconstruction with Typed Pointer Reversal (abstract)ML 2019 - Workshop, KC Sivaramakrishnan, Aug 2019, Berlin, Germany. pp.1-8 |
|
|
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⟩ |
Lazy Evaluation for OCLModels 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada |
|
|
|
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⟩ |
Lazier Imperative ProgrammingPrinciples and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom |
|
Reference monitors for security and interoperability in OAuth 2.0SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom |
|
|
|
Prototyper des Moteurs de Propagation avec un DSLJournées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288 |
|
|
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⟩ |
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142 |
|
|
Taming Aspects with MembranesFoundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany |
|
|
Program Transformation based Views for Modular MaintenanceTroisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219 |
|
|
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 |
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 |
|
|
|
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 |
Views for Aspectualizing Component Modelsthe 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10 |
|
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 |
|
Expressive Scoping of Distributed AspectsAOSD 2009, Mar 2009, Charlottesville, Virginia, United States. pp.27-38, ⟨10.1145/1509239.1509245⟩ |
|
|
|
Lazy Composition of Representations in JavaSC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71 |
Aspect Preserving PropertiesACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. ⟨10.1145/1328408.1328429⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
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⟩ |
|
Invasive Patterns for Distributed ProgramsDistributed Objects, Middleware, and Applications, Nov 2007, Portugal. pp.772-789 |
|
Invasive Patterns: Aspect-Based Adaptation of Distributed ApplicationsWorkshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany |
|
Concurrent Aspects5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩ |
|
|
|
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 |
Relational Aspects for Context Passing Beyond Stack InspectionSoftware Engineering Properties of Languages and Aspect Technologies, Mar 2006, Germany |
|
|
|
An expressive aspect language for system applications with Arachne4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States |
A crosscut language for control-flowThird International Conference on Generative Programming and Component Engineering (GPCE'04), 2004, Vancouver, Canada, Canada. pp.95-114 |
|
|
|
Composition, reuse and interaction analysis of stateful aspects3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK |
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 |
|
|
|
A framework for the detection and resolution of aspect interactionsConference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA |
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⟩ |
Composants et aspectsMourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005 |
|
|
|
Trace-Based AspectsMehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004 |
|
|
Composition non modulaire modulaireGénie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015 |