|
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
Communication dans un congrès
hal-04460576
v1
|
|
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-04957986
v1
|
|
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-04460561
v1
|
|
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-03789045
v1
|
|
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-02177326
v2
|
|
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-01355262
v1
|
|
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-01221072
v1
|
|
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-01168303
v1
|
|
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-01016565
v1
|
|
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-00846810
v1
|
|
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-00867713
v1
|
|
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-00668975
v1
|
|
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-00662777
v1
|
|
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-00690706
v1
|
|
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-00670378
v1
|
|
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-00606270
v2
|
|
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-00700750
v1
|
|
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-00606269
v2
|
|
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-00448686
v1
|
|
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-00467411
v1
|
|
Expressive Scoping of Distributed Aspects
Éric Tanter
,
Johan Fabry
,
Rémi Douence
,
Jacques Noyé
,
Mario Südholt
Communication dans un congrès
inria-00421683
v1
|
|
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-00403417
v1
|
|
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-00418836
v1
|
|
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
Communication dans un congrès
hal-00469648
v1
|
|
Debugging and testing middleware with aspect-based control-flow and causal patterns
Luis Daniel Benavides Navarro
,
Rémi Douence
,
Mario Südholt
Communication dans un congrès
inria-00418841
v1
|
|
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-00432090
v1
|
|
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-00418837
v1
|
|
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-00467821
v1
|
|
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-00469639
v1
|
|
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-00467938
v1
|
|
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-00468018
v1
|
|
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-00469635
v1
|
|
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-00441355
v1
|
|
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-00457086
v1
|
|
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-00000946
v1
|
|
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-00457184
v1
|
|
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-00869117
v1
|
|
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-00000950
v1
|