Publications HAL de la structure stack;ascola

2016

Journal articles

titre
Effect capabilities for Haskell: Taming effect interference in monadic programming
auteur
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
article
Science of Computer Programming, 2016, 119, pp.3-30. ⟨10.1016/j.scico.2015.11.010⟩
Accès au bibtex
BibTex
titre
Using finite transducers for describing and synthesising structural time-series constraints
auteur
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
article
Constraints, 2016, 21 (1), pp.19. ⟨10.1007/s10601-015-9200-3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01370322/file/time_series_journal.pdf BibTex
titre
SLA guarantees for cloud services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Frederico Alvares de Oliveira Jr., Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
Future Generation Computer Systems, 2016, 54, pp.233-246. ⟨10.1016/j.future.2015.03.018⟩
Accès au bibtex
BibTex
titre
Lawvere-Tierney sheafification in Homotopy Type Theory
auteur
Kevin Quirin, Nicolas Tabareau
article
Journal of Formalized Reasoning, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01451710/file/sheaf_jfr.pdf BibTex

Conference papers

titre
Enabling Green Energy awareness in Interactive Cloud Application
auteur
Md Sabbir Hasan, Frederico Alvares de Oliveira, Thomas Ledoux, Jean-Louis Pazat
article
CloudCom 2016: IEEE International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. ⟨10.1109/CloudCom.2016.0071⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01365230/file/sabbir_hasan.pdf BibTex
titre
Performance Analysis of Object Store Systems in a Fog/Edge Computing Infrastructures
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
CloudCom, Dec 2016, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.science/hal-01397686/file/cloudcom.pdf BibTex
titre
AAL and Static Conflict Detection in Policy
auteur
Jean-Claude Royer, Anderson Santana de Oliveira
article
15th International Conference on Cryptology and Network Security, Nov 2016, Milan, Italy. pp.362-382, ⟨10.1007/978-3-319-48965-0_22⟩
Accès au bibtex
BibTex
titre
Partial Type Equivalences for Verified Dependent Interoperability
auteur
Pierre-Evariste Dagand, Nicolas Tabareau, Éric Tanter
article
ICFP 2016 - 21st ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. pp.298-310, ⟨10.1145/2951913.2951933⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01328012/file/main.pdf BibTex
titre
Quel système de stockage pour les architectures Fog ?
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
Compas'2016, Jul 2016, Lorient, France
Accès au texte intégral et bibtex
https://hal.science/hal-01376292/file/compas2016.pdf BibTex
titre
TrustyDrive: a Multi-Cloud Storage Service that Protects Your Privacy
auteur
Rémy Pottier, Jean-Marc Menaud
article
IEEE 9th International Conference on Cloud Computing, Jun 2016, San Francisco, United States
Accès au bibtex
BibTex
titre
Time-Series Constraints: Improvements and Application in CP and MIP Contexts
auteur
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
article
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01355262/file/CPAIOR16.pdf BibTex
titre
The Definitional Side of the Forcing
auteur
Guilhem Jaber, Gabriel Lewertowski, Pierre-Marie Pédrot, Matthieu Sozeau, Nicolas Tabareau
article
Logics in Computer Science, May 2016, New York, United States. ⟨10.1145/http://dx.doi.org/10.1145/2933575.2935320⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01319066/file/main.pdf BibTex
titre
Deploying Distributed Cloud Infrastructures: Who and at What Cost?
auteur
Adrien Lebre, Anthony Simonet, Anne-Cécile Orgerie
article
Proceedings of the fifth IEEE International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability, Apr 2016, Berlin, Germany. pp.6, ⟨10.1109/IC2EW.2016.48⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01404594/file/Intercloud_2016.pdf BibTex
titre
Renaming Global Variables in C Mechanically Proved Correct
auteur
Julien Cohen
article
Fourth International Workshop on Verification and Program Transformation, Apr 2016, Eindhoven, Netherlands
Accès au bibtex
BibTex

Book sections

titre
Cloud Capacity Planning and Management
auteur
Yousri Kouki, Frederico Alvares de Oliveira, Thomas Ledoux
article
Encyclopedia of Cloud Computing, Wiley-IEEE Press, 2016, 978-1-118-82197-8. ⟨10.1002/9781118821930.ch23⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Managing Logical and Computational Complexity using Program Transformations
auteur
Nicolas Tabareau
article
Category Theory [math.CT]. université de nantes, 2016
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01406351/file/tabareau_hdr.pdf BibTex

Poster communications

titre
Monitoring accountability policies with AccMon framework
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer
article
GDR-GPL, Jun 2016, Besançon, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01332040/file/poster.pdf BibTex
titre
Extensible Modules for JavaScript
auteur
Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
article
ACM Press. SAC '16 - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. , Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp.3, 2016, ⟨10.1145/2851613.2851958⟩
Accès au bibtex
BibTex

Reports

titre
ENOS: a Holistic Framework for Conducting Scientific Evaluations of OpenStack
auteur
Ronan-Alexandre Cherrueau, Adrien Lebre, Dimitri Pertin, Anthony Simonet, Matthieu Simonin
article
[Technical Report] RT-0485, Inria Rennes Bretagne Atlantique; Nantes. 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01415522/file/RT-485.pdf BibTex
titre
A Ring to Rule Them All - Revising OpenStack Internals to Operate Massively Distributed Clouds
auteur
Adrien Lebre, Jonathan Pastor, Frédéric Desprez
article
[Technical Report] RT-0480, INRIA. 2016, pp.1-24
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01320235/file/RT-480.pdf BibTex

Theses

titre
Complex event processing domain-specific language and modelling of usages for sensors networks
auteur
Alexandre Garnier
article
Informatique et langage [cs.CL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0287⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01496893/file/Garnier_A_12_2016.pdf BibTex
titre
Lawvere-Tierney sheafification in Homotopy Type Theory
auteur
Kevin Quirin
article
Logic in Computer Science [cs.LO]. Ecole des Mines de Nantes, 2016. English. ⟨NNT : 2016EMNA0298⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01486550/file/Quirin_K_12_2016.pdf BibTex
titre
Extending interpreters by diverting, or how to extend interpreters without modifying their source code
auteur
Florent Marchand de Kerchove
article
Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0223⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01415588/file/Marchand_De_Kerchove_F_11_2016.pdf BibTex
titre
A Compositional Language of Security Techniques for Information Privacy in the Cloud
auteur
Ronan-Alexandre Cherrueau
article
Cryptographie et sécurité [cs.CR]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0233⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01416166/file/Cherrueau_RA_11_2016.pdf BibTex
titre
Contributions to massively distributed Cloud Computing infrastructures
auteur
Jonathan Pastor
article
Autre [cs.OH]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0240⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01416099/file/Pastor_J_10_2016.pdf BibTex
titre
Analysis and recommendations for virtualized datacenters
auteur
Frédéric Dumont
article
Calcul parallèle, distribué et partagé [cs.DC]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0249⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01880572/file/Dumont_F_09_2016.pdf BibTex
titre
Crosslayer elasticity management for Cloud : towards an efficient usage of Cloud resources and services
auteur
Simon Dupont
article
Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2016. Français. ⟨NNT : 2016EMNA0239⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01344377/file/Dupont_S_04_2016.pdf BibTex

2015

Journal articles

titre
SimGrid VM: Virtual Machine Support for a Simulation Framework of Distributed Systems
auteur
Laurent Pouilloux, Takahiro Hirofuchi, Adrien Lebre
article
IEEE Transactions on Cloud Computing, 2015, ⟨10.1109/TCC.2015.2481422⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01197274/file/main.pdf BibTex
titre
A Taxonomy of Domain-Specific Aspect Languages
auteur
Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter
article
ACM Computing Surveys, 2015, 47 (3), pp.44. ⟨10.1145/2685028⟩
Accès au bibtex
BibTex

Conference papers

titre
Opportunistic Scheduling in Clouds Partially Powered by Green Energy
auteur
Yunbo Li, Anne-Cécile Orgerie, Jean-Marc Menaud
article
IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia
Accès au texte intégral et bibtex
https://hal.science/hal-01205911/file/PID3949721.pdf BibTex
titre
Energy-Aware Massively Distributed Cloud Facilities: The DISCOVERY Initiative
auteur
Frédéric Desprez, Shadi Ibrahim, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Anthony Simonet
article
IEEE International Conference on Green Computing and Communications (GreenCom), Dec 2015, Sydney, Australia. pp.476 - 477, ⟨10.1109/DSDIS.2015.58⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01338456/file/poster.pdf BibTex
titre
Abstract Accountability Language: Translation, Compliance and Application
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
article
ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, Dec 2015, New Delhi, India
Accès au bibtex
BibTex
titre
Gradual Certified Programming in Coq
auteur
Éric Tanter, Nicolas Tabareau
article
11th ACM Dynamic Languages Symposium (DLS 2015), Oct 2015, Pittsburgh, United States. ⟨10.1145/2816707.2816710⟩
Accès au bibtex
BibTex
titre
Experimental Analysis on Autonomic Strategies for Cloud Elasticity
auteur
Simon Dupont, Jonathan Lejeune, Frederico Alvares, Thomas Ledoux
article
2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, United States. ⟨10.1109/ICCAC.2015.22⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01178419/file/CAC2015-sdupont.pdf BibTex
titre
Reducing synchronization cost in distributed multi-resource allocation problem
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
ICPP 2015 - 44th International Conference on Parallel Processing, Sep 2015, Beijing, China. pp.540-549, ⟨10.1109/ICPP.2015.63⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01162329/file/PID3746705.pdf BibTex
titre
Lazy Evaluation for OCL
auteur
Massimo Tisi, Rémi Douence, Dennis Wagelaar
article
Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Accès au bibtex
BibTex
titre
VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms
auteur
Adrien Lebre, Jonathan Pastor, Mario Südholt
article
Europar 2015, Aug 2015, Vienne, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01159033/file/main.pdf BibTex
titre
Virtual Machine Introspection: Techniques and Applications
auteur
Yacine Hebbal, Sylvie Laniepce, Jean-Marc Menaud
article
International Conference on Availability, Reliability and Security, Aug 2015, Toulouse, France
Accès au bibtex
BibTex
titre
SensorScript: a Domain-Specific Language for Sensor Networks
auteur
Alexandre Garnier, Rémy Pottier, Jean-Marc Menaud
article
International Conference on Future Internet of Things and Cloud (FiCloud-2015), Aug 2015, Rome, Italy
Accès au bibtex
BibTex
titre
A Language for the Composition of Privacy-Enforcement Techniques
auteur
Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
article
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⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01168303/file/cherrueau-ratsp-2015.pdf BibTex
titre
SensorScript : un langage de requête dédié, orienté métiers, pour les réseaux de capteurs
auteur
Alexandre Garnier, Jean-Marc Menaud, Rémy Pottier
article
Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Accès au bibtex
BibTex
titre
Monitoring de l’utilisation mémoire et CPU par processus, basé sur l’introspection de machines virtuelles
auteur
Frédéric Dumont, Jean-Marc Menaud, Sylvie Laniepce
article
Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2015, Lille, France
Accès au bibtex
BibTex
titre
Checking Accountability with a Prover
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
article
39th IEEE Annual Computer Software and Applications Conference (COMPSAC), Jul 2015, Taichung, Taiwan. pp.83-88, ⟨10.1109/COMPSAC.2015.8⟩
Accès au bibtex
BibTex
titre
Delta Scaling: How Resources Scalability/Termination Can Be Taken Place Economically?
auteur
Yousri Kouki, Md Sabbir Hasan, Thomas Ledoux
article
11th World Congress on Services (SERVICES), IEEE, Jun 2015, New York, United States. pp.55-62, ⟨10.1109/SERVICES.2015.17⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01162745/file/FSEC_Md%20Sabbir%20Hasan.pdf BibTex
titre
Synthesizing Realistic Cloud Workload Traces for Studying Dynamic Ressource System Management
auteur
Jean-Marc Menaud, Frederic Dumont
article
International Conference on Cloud Computing and Big Data, Jun 2015, Huangshan, China
Accès au bibtex
BibTex
titre
The EPOC project: Energy Proportional and Opportunistic Computing system
auteur
Nicolas Beldiceanu, Bárbara Dumas Feris, Philippe Gravey, Md Sabbir Hasan, Claude Jard, Thomas Ledoux, Yunbo Li, Didier Lime, Gilles Madi-Wamba, Jean-Marc Menaud, Pascal Morel, Michel Morvan, Marie-Laure Moulinard, Anne-Cécile Orgerie, Jean-Louis Pazat, Olivier Roux, Ammar Sharaiha
article
International Conference on Smart Cities and Green ICT Systems (SMARTGREENS), May 2015, Lisbonne, Portugal
Accès au texte intégral et bibtex
https://hal.science/hal-01131602/file/SMARTGREENS_2015_60.pdf https://hal.science/hal-01131602/file/SMARTGREENS_2015_60%20%281%29.pdf BibTex
titre
Adding Storage Simulation Capacities to the SimGrid Toolkit: Concepts, Models, and API
auteur
Adrien Lebre, Arnaud Legrand, Frédéric Suter, Pierre Veyre
article
CCGrid 2015 - Proceedings of the 15th IEEE/ACM Symposium on Cluster, Cloud and Grid Computing, May 2015, Shenzhen, China. pp.251-260, ⟨10.1109/CCGrid.2015.134⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01197128/file/sg_storage_ccgrid15.pdf BibTex
titre
Towards Modular Instrumentation of Interpreters in JavaScript
auteur
Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
article
FOAL - Foundations of Aspect-Oriented Languages, Mar 2015, Fort Collins, United States. ⟨10.1145/2735386.2736753⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01116662/file/main.pdf BibTex
titre
Wild omega-Categories for the Homotopy Hypothesis in Type Theory
auteur
André Hirschowitz, Tom Hirschowitz, Nicolas Tabareau
article
Typed Lambda Calculi and Applications, 2015, Varsovie, Poland. pp.226-240, ⟨10.4230/LIPIcs.TLCA.2015.226⟩
Accès au bibtex
BibTex

Book sections

titre
From Regulatory Obligations to Enforceable Accountability Policies in the Cloud
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Sanatan de Oliveira, Karin Bernsmed
article
Cloud Computing and Services Sciences, Springer International Publishing Switzerland, 2015
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Modular non-modular composition
auteur
Rémi Douence
article
Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01357054/file/main.pdf BibTex

Master thesis

titre
Ensembles nominaux dans Coq/SSreflect
auteur
Gabriel Lewertowski
article
Langage de programmation [cs.PL]. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01250862/file/rapport%20%281%29.pdf BibTex

Reports

titre
A Correct Refactoring Operation to Rename Global Variables in C Programs
auteur
Julien Cohen
article
[Research Report] LINA-University of Nantes. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-01248121/file/CohenRefactoring2015.pdf BibTex
titre
The DISCOVERY Initiative - Overcoming Major Limitations of Traditional Server-Centric Clouds by Operating Massively Distributed IaaS Facilities
auteur
Adrien Lebre, Jonathan Pastor, . The Discovery Consortium
article
[Research Report] RR-8779, Inria. 2015, pp.14
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01203648/file/RR-8779.pdf BibTex
titre
A Language for the Composition of Privacy-Enforcement Techniques
auteur
Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt
article
[Research Report] RR-8720, Inria Rennes; École des Mines de Nantes; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01145694/file/RR-8720.pdf BibTex
titre
Reducing synchronization cost in distributed multi-resource allocation problem
auteur
Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
[Research Report] RR-8689, Ecole des Mines de Nantes, Inria, LINA; Sorbonne Universités, UPMC, CNRS, Inria, LIP6; INRIA. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01120808/file/RR-8689.pdf BibTex

Preprints, Working Papers, ...

titre
Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation
auteur
Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
article
2015
Accès au texte intégral et bibtex
https://hal.science/hal-01181143/file/main.pdf BibTex

2014

Journal articles

titre
Adapting Transformations to Metamodel Changes via External Transformation Composition
auteur
Kelly Garces, Juan M. Vara, Frédéric Jouault, Esperanza Marcos
article
Software and Systems Modeling, 2014, pp.789-806. ⟨10.1007/s10270-012-0297-1⟩
Accès au bibtex
BibTex
titre
Execution Levels for Aspect-Oriented Programming: Design, Semantics, Implementations and Applications
auteur
Éric Tanter, Ismael Figueroa, Nicolas Tabareau
article
Science of Computer Programming, 2014, 80 (1), pp.311-342. ⟨10.1016/j.scico.2013.09.002⟩
Accès au bibtex
BibTex
titre
Effective Aspects: A Typed Monadic Embedding of Pointcuts and Advice
auteur
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
article
LNCS Transactions on Aspect-Oriented Software Development, 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00872782/file/TAOSD-EffectiveAspects.pdf BibTex
titre
Propagation Engine Prototyping with a Domain Specific Language
auteur
Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
article
Constraints, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00867604/file/cons2013_propeng.pdf BibTex

Conference papers

titre
Accountability for Data Protection
auteur
Mohamed Sellami, Jean-Claude Royer, Walid Benghabrit
article
International Workshop on Computational Intelligence for Multimedia Understanding, Nov 2014, Paris, France
Accès au bibtex
BibTex
titre
GBFS: Efficient Data-Sharing on Hybrid Platforms. Towards adding WAN-Wide elasticity to DFSes.
auteur
Adrien Lebre, Gustavo Bervian Brand
article
WPBA Workshop in Proceedings of 26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France
Accès au bibtex
BibTex
titre
Effect Capabilities For Haskell
auteur
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
article
Brazilian Symposium on Programming Languages (SBLP), Sep 2014, Maceio, Brazil
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01038053/file/main_sblp.pdf BibTex
titre
Lazier Imperative Programming
auteur
Rémi Douence, Nicolas Tabareau
article
Principles and Practice of Declarative Programming (PPDP), Sep 2014, Canterbury, United Kingdom
Accès au bibtex
BibTex
titre
Accountability for Abstract Component Design
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami
article
EUROMICRO DSD/SEAA 2014, Aug 2014, Verona, Italy. pp.213-220, ⟨10.1109/SEAA.2014.68⟩
Accès au bibtex
BibTex
titre
Locality-aware Cooperation for VM Scheduling in Distributed Clouds
auteur
Jonathan Pastor, Marin Bertier, Frédéric Desprez, Adrien Lebre, Flavien Quesnel, Cédric Tedeschi
article
Euro-Par 2014, Aug 2014, Porto, Portugal
Accès au bibtex
BibTex
titre
Cloud Energy Broker: Towards SLA-driven Green Energy Planning for IaaS Providers
auteur
Md Sabbir Hasan, Yousri Kouki, Thomas Ledoux, Jean-Louis Pazat
article
IEEE Internatonal Conference on High Performance Computing and Communications, HPCC 2014, Aug 2014, Paris, France. pp.1-8, ⟨10.1109/HPCC.2014.44⟩
Accès au bibtex
BibTex
titre
Universe Polymorphism in Coq
auteur
Matthieu Sozeau, Nicolas Tabareau
article
Interactive Theorem Proving, Jul 2014, Vienna, Austria
Accès au bibtex
BibTex
titre
Abstract Accountability Language
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Karin Bernsmed, Anderson Santana de Oliveira
article
IFIPTM - 8th IFIP WG 11.11 International Conference on Trust Management, Jul 2014, Singapore, Singapore. pp.229--236
Accès au bibtex
BibTex
titre
Enforcing Expressive Accountability Policies
auteur
Ronan-Alexandre Cherrueau, Mario Südholt
article
WETICE - IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Sumitra Reddy, Jun 2014, Parma, Italy. pp.333--338, ⟨10.1109/WETICE.2014.71⟩
Accès au bibtex
BibTex
titre
A Language Support for Cloud Elasticity Management
auteur
Yousri Kouki, Frederico Alvares de Oliveira Jr., Simon Dupont, Thomas Ledoux
article
IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, CCGrid 2014, May 2014, Chicago, United States. pp.1-8, ⟨10.1109/CCGrid.2014.17⟩
Accès au bibtex
BibTex
titre
Aspectual Session Types
auteur
Nicolas Tabareau, Mario Südholt, Éric Tanter
article
Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00872791/file/preprint.pdf BibTex
titre
Compositional Reasoning About Aspect Interference
auteur
Ismael Figueroa, Tom Schrijvers, Nicolas Tabareau, Éric Tanter
article
13th International Conference on Modularity (Modularity'14), Apr 2014, Lugano, Switzerland
Accès au bibtex
BibTex
titre
A Cloud Accountability Policy Representation Framework
auteur
Walid Benghabrit, Hervé Grall, Jean-Claude Royer, Mohamed Sellami, Monir Azraoui, Kaoutar Elkhiyaoui, Melek Önen, Anderson Santana de Oliveira, Karin Bernsmed
article
CLOSER - 4th International Conference on Cloud Computing and Services Science, Apr 2014, Barcelone, Spain
Accès au bibtex
BibTex
titre
JEScala: Modular Coordination with Declarative Events and Joins
auteur
Jurgen Michael van Ham, Guido Salvaneschi, Mira Mezini, Jacques Noyé
article
Modularity '14 - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland
Accès au bibtex
BibTex
titre
PASCS 2014: Privacy and Accountability for Software and Cloud Services
auteur
Mohamed Sellami, Jean-Claude Royer, Anderson Santana de Oliveira
article
2014 IEEE 23RD INTERNATIONAL WETICE CONFERENCE (WETICE), 2014, Parma, Italy. pp.332
Accès au bibtex
BibTex

Book sections

titre
Beyond The Clouds, How Should Next Generation Utility Computing Infrastructures Be Designed?
auteur
Marin Bertier, Frédéric Desprez, Gilles Fedak, Adrien Lebre, Anne-Cécile Orgerie, Jonathan Pastor, Flavien Quesnel, Jonathan Rouzaud-Cornabas, Cédric Tedeschi
article
Mahmood, Zaigham. Cloud Computing: Challenges, Limitations and R&D Solutions, Springer, 2014, ISBN 978-3-319-10529-1
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01067888/file/main.pdf BibTex
titre
Software Architecture for Product Lines
auteur
Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer
article
Mourad Oussalah. Software Architecture 1, Wiley-ISTE, pp.171-210, 2014, 978-1-84821-600-6. ⟨10.1002/9781118930960.ch5⟩
Accès au bibtex
BibTex

Reports

titre
Lazier Imperative Programming
auteur
Rémi Douence, Nicolas Tabareau
article
[Research Report] RR-8569, INRIA. 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01025633/file/RR-8569.pdf BibTex

Theses

titre
A chemical programming language for orchestrating services : Application to interoperability problems
auteur
Mayleen Lacouture
article
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0011⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01127487/file/2014EMNA0011.pdf BibTex
titre
A logical study of program equivalence
auteur
Guilhem Jaber
article
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0124⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01126927/file/2014EMNA0124.pdf BibTex
titre
Loose coupling and substitution principle in objet-oriented frameworks for web services
auteur
Diana Allam
article
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0115⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01083286/file/Allam_D_07_2014.pdf BibTex
titre
Power management in virtualized data centers : Form a load scenario to the optimization of the tasks placement
auteur
Guillaume Le Louët
article
Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0119⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01044650/file/LeLouet_G_05_2014.pdf BibTex
titre
Effective aspects : A typed monadic model to control and reason about aspect interference
auteur
Ismael Figueroa
article
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0220⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01067730/file/Figueroa_I_04_2014.pdf BibTex
titre
Controlling propagation and search within a constraint solver
auteur
Charles Prud'Homme
article
Intelligence artificielle [cs.AI]. Ecole des Mines de Nantes, 2014. Français. ⟨NNT : 2014EMNA0194⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01060921/file/Prudhomme_C_02_2014.pdf BibTex

2013

Journal articles

titre
RightCapacity: SLA-driven Cross-Layer Cloud Elasticity Management
auteur
Yousri Kouki, Thomas Ledoux
article
International Journal of Next-Generation Computing, 2013, 4 (3), pp.250-262. ⟨10.47164/ijngc.v4i3.56⟩
Accès au bibtex
BibTex
titre
Denotational Semantics of A User-Oriented, Domain-Specific Language
auteur
Julien Mercadal, Zoé Drey, Charles Consel
article
Electronic Proceedings in Theoretical Computer Science, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00865381/file/1309.5141.pdf BibTex
titre
Behind the Scenes in SANTE: A Combination of Static and Dynamic Analyses
auteur
Omar Chebaro, Pascal Cuoq, Nikolai Kosmatov, Bruno Marre, Anne Pacalet, Nicky Williams, Boris Yakobowski
article
Automated Software Engineering, 2013, 21 (1), pp.107-143. ⟨10.1007/s10515-013-0127-x⟩
Accès au bibtex
BibTex
titre
Modular and Flexible Causality Control on the Web
auteur
Paul Leger, Éric Tanter, Rémi Douence
article
Science of Computer Programming, 2013
Accès au bibtex
BibTex

Conference papers

titre
OptiPlace: designing cloud management with flexible power models through constraint programing
auteur
Guillaume Le Louët, Jean-Marc Menaud
article
International Conference on Utility and Cloud Computing, Dec 2013, Dresden, Germany
Accès au bibtex
BibTex
titre
Adapting workflows using generic schemas: application to the security of business processes
auteur
Ronan-Alexandre Cherrueau, Mario Südholt, Omar Chebaro
article
CloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013, Dec 2013, Bristol, United Kingdom. pp.519-524
Accès au bibtex
BibTex
titre
The Substitution Principle in an Object-Oriented Framework for Web Services: From Failure to Success
auteur
Diana Allam, Hervé Grall, Jean-Claude Royer
article
The 15th International Conference on Information Integration and Web-based Applications & Services (iiWAS2013), Gabriele Kotsis, Dec 2013, Vienna, Austria
Accès au bibtex
BibTex
titre
Using the EXECO toolbox to perform automatic and reproducible cloud experiments
auteur
Matthieu Imbert, Laurent Pouilloux, Jonathan Rouzaud-Cornabas, Adrien Lebre, Takahiro Hirofuchi
article
1st International Workshop on UsiNg and building ClOud Testbeds (UNICO, collocated with IEEE CloudCom 2013, Dec 2013, Bristol, United Kingdom. ⟨10.1109/CloudCom.2013.119⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00861886/file/paper-unico13.pdf BibTex
titre
Adding a Live Migration Model Into SimGrid, One More Step Toward the Simulation of Infrastructure-as-a-Service Concerns
auteur
Takahiro Hirofuchi, Adrien Lebre, Laurent Pouilloux
article
5th IEEE International Conference on Cloud Computing Technology and Science (IEEE CloudCom 2013), Dec 2013, Bristol, United Kingdom
Accès au bibtex
BibTex
titre
Adding Virtual Machine Abstractions Into SimGrid, A First Step Toward the Simulation of Infrastructure-as-a-Service Concerns
auteur
Takahiro Hirofuchi, Adrien Lebre
article
Third International Conference on Cloud and Green Computing (CGC 2013), Sep 2013, Karlsruhe, Germany
Accès au bibtex
BibTex
titre
Transformations between Composite and Visitor implementations in Java
auteur
Akram Ajouli, Julien Cohen, Jean-Claude Royer
article
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013), Sep 2013, Santander, Spain. 8 p
Accès au texte intégral et bibtex
https://hal.science/hal-00834149/file/rapport.pdf BibTex
titre
Reference monitors for security and interoperability in OAuth 2.0
auteur
Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, Yves Roudier, Matteo Dell'Amico
article
SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Accès au bibtex
BibTex
titre
Estimating the Power Consumption of an Idle Virtual Machine
auteur
Flavien Quesnel, Hemant Kumar Mehta, Jean-Marc Menaud
article
The 2013 IEEE International Conference on Green Computing and Communications (GreenCom 2013), Aug 2013, Beijing, China
Accès au bibtex
BibTex
titre
Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling
auteur
Flavien Quesnel, Adrien Lebre, Jonathan Pastor, Mario Südholt, Daniel Balouek
article
ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Jul 2013, Melbourne, Australia
Accès au bibtex
BibTex
titre
Enabling Large-Scale Testing of IaaS Cloud Platforms on the Grid'5000 Testbed
auteur
Sébastien Badia, Alexandra Carpen-Amarie, Adrien Lebre, Lucas Nussbaum
article
TTC - 1st International Workshop on Testing The Cloud, co-located with ISSTA 2013, ACM - SGIPLAN, Jul 2013, Lugano, Switzerland. pp.7-12, ⟨10.1145/2489295.2489298⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00907888/file/grid5000-ttc.pdf BibTex
titre
Dynamic Scalability of a Consolidation Service
auteur
Ahmed El Rheddane, Noel de Palma, Fabienne Boyer, Frédéric Dumont, Jean-Marc Menaud, Alain Tchana
article
International Conference on Cloud Computing, Indus Track, Jun 2013, Santa Clara Marriott, United States. pp.01-09
Accès au texte intégral et bibtex
https://hal.science/hal-00835817/file/cloud-13.pdf BibTex
titre
A framework for the coordination of multiple autonomic managers in cloud environments
auteur
Frederico Alvares de Oliveira Jr., Thomas Ledoux, Remi Sharrock
article
IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO), Jun 2013, Philadelphia (PA), United States. pp.179-188
Accès au bibtex
BibTex
titre
Flauncher and DVMS -- Deploying and Scheduling Thousands of Virtual Machines on Hundreds of Nodes Distributed Geographically
auteur
Daniel Balouek, Adrien Lebre, Flavien Quesnel
article
IEEE International Scalable Computing Challenge (SCALE 2013), held in conjunction with CCGrid'2013, May 2013, Delft, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00920094/file/main.pdf BibTex
titre
Towards QoS-Oriented SLA Guarantees for Online Cloud Services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
The 13th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid 2013), May 2013, Delft, Netherlands. pp.50-57, ⟨10.1109/CCGrid.2013.66⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00780000/file/IEEE-CCGrid-2013%281%29.pdf BibTex
titre
From Object-Oriented Programming to Service-Oriented Computing: How to Improve Interoperability by Preserving Subtyping
auteur
Diana Allam, Hervé Grall, Jean-Claude Royer
article
WEBIST 2013 - 9th International Conference on Web Information Systems and Technologies, May 2013, Aachen, Germany. pp.169-173
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00800153/file/main.pdf BibTex
titre
StressCloud: An infrastructure stresser for Virtual Machine Managers
auteur
Guillaume Le Louët, Jean-Marc Menaud
article
Energy Efficiency in Large Scale Distributed Systems conference, Apr 2013, Austria. pp.01-08
Accès au bibtex
BibTex
titre
Taming aspects with monads and membranes
auteur
Ismael Figueroa, Nicolas Tabareau, Éric Tanter
article
FOAL'13: Foundations of aspect-oriented languages, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451598.2451600⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00808983/file/main.pdf BibTex
titre
Aspectizing JavaScript Security
auteur
Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt
article
MISS - 3rd Workshop on Modularity In Systems Software, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451613.2451616⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00786258/file/main.pdf BibTex
titre
A Typed Monadic Embedding of Aspects
auteur
Nicolas Tabareau, Ismael Figueroa, Éric Tanter
article
12th annual international conference on Aspect-Oriented Software Development (Modularity-AOSD'13), Mar 2013, Fukuoka, Japan
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00763695/file/main.pdf BibTex
titre
SCAling : SLA-driven Cloud Auto-scaling
auteur
Yousri Kouki, Thomas Ledoux
article
ACM Symposium on Applied Computing, SAC 2013, Mar 2013, Coimbra, Portugal. pp.411-414
Accès au bibtex
BibTex
titre
Practical use of static composition of refactoring operations
auteur
Julien Cohen, Akram Ajouli
article
ACM Symposium on Applied Computing (SAC), Mar 2013, Coimbra, Portugal. pp.1700-1705, ⟨10.1145/2480362.2480684⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00751304/file/CohenAjouli2013.pdf BibTex
titre
Flexible and expressive aspect-based control over service compositions in the Cloud
auteur
Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt
article
4th International Workshop on Variability & Composition, Mar 2013, Fukuoka, Japan
Accès au bibtex
BibTex
titre
Anti-Unification with Type Classes
auteur
Nicolas Tabareau, Éric Tanter, Ismael Figueroa
article
Journées Francophones des Langages Applicatifs (JFLA), Feb 2013, Aussois, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00765862/file/main.pdf BibTex
titre
StressCloud, un outils d'évaluation pour les gestionnaires d'infrastructure virtualisée
auteur
Guillaume Le Louët, Jean-Marc Menaud
article
Conférence Française en Systèmes d'Exploitation, Jan 2013, Grenoble, France. pp.01-12
Accès au bibtex
BibTex
titre
SLA et qualité de service pour le Cloud Computing
auteur
Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11
Accès au bibtex
BibTex
titre
A Server Consolidation Problem: Definition and Model
auteur
Lionel Eyraud-Dubois, Adrien Lebre, Patrick Martineau, Ameur Soukhal, Vincent t'Kindt, Denis Trystram
article
Proceedings of the 14th conference ROADEF, 2013, Troyes, France
Accès au bibtex
BibTex
titre
Prototyper des Moteurs de Propagation avec un DSL
auteur
Charles Prud'Homme, Xavier Lorca, Rémi Douence, Narendra Jussien
article
Journées française de la Programmation par Contraintes, 2013, Aix-en-Provence, France. pp.279-288
Accès au texte intégral et bibtex
https://hal.science/hal-00867713/file/jfpc2013-propengine_fr.pdf BibTex

Book sections

titre
Architectures logicielles pour les lignes de produits
auteur
Hugo Arboleda, Rubby Casallas, Jaime Chavarriaga, Jean-Claude Royer
article
Architectures logicielles : Principes, techniques et outils, ISTE, pp.189-225, 2013, 978-2-7462-4517-4
Accès au bibtex
BibTex
titre
Adding Virtualization Capabilities to the Grid'5000 Testbed
auteur
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
article
Ivanov, IvanI. and Sinderen, Marten and Leymann, Frank and Shan, Tony. Cloud Computing and Services Science, 367, Springer International Publishing, pp.3-20, 2013, Communications in Computer and Information Science, 978-3-319-04518-4. ⟨10.1007/978-3-319-04519-1_1⟩
Accès au bibtex
BibTex

Other publications

titre
Accountability for Cloud and Other Future Internet Services
auteur
Siani Pearson, Vasilis Tountopoulos, Daniele Catteddu, Mario Südholt, Refik Molva, Christoph Reich
article
2013
Accès au bibtex
BibTex

Reports

titre
Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?
auteur
Adrien Lebre, Jonathan Pastor, Marin Bertier, Frédéric Desprez, Jonathan Rouzaud-Cornabas, Cédric Tedeschi, Paolo Anedda, Gianluigi Zanetti, Ramon Nou, Toni Cortes, Etienne Rivière, Thomas Ropars
article
[Research Report] RR-8348, INRIA. 2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00854204/file/RR-8348.pdf BibTex
titre
Refactoring Composite to Visitor and Inverse Transformation in Java
auteur
Akram Ajouli, Julien Cohen
article
2013
Accès au texte intégral et bibtex
https://hal.science/hal-00652872/file/rapport.pdf BibTex
titre
Contraction analysis of nonlinear random dynamical systems
auteur
Nicolas Tabareau, Jean-Jacques Slotine
article
[Research Report] RR-8368, INRIA. 2013, pp.17
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00864079/file/RR-8368.pdf BibTex

Theses

titre
SLA-driven cloud elasticity anagement approach
auteur
Yousri Kouki
article
Génie logiciel [cs.SE]. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0134⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00919900/file/Kouki_Y_12_2013.pdf BibTex
titre
Views and program transformations for modular maintenances
auteur
Akram Ajouli
article
Autre. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0112⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00866997/file/Ajouli_Ak_09_2013.pdf BibTex
titre
Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
auteur
Frederico Guilherme Alvares de Oliveira Junior
article
Software Engineering [cs.SE]. Université de Nantes, 2013. English. ⟨NNT : ED 503-186⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00853575/file/main.pdf BibTex
titre
Toward cooperative management of large-scale virtualized infrastructures : the case of scheduling
auteur
Flavien Quesnel
article
Génie logiciel [cs.SE]. Ecole Centrale de Nantes (ECN), 2013. Français. ⟨NNT : 2013EMNA0046⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00821103/file/Quesnel_F_02_2013.pdf BibTex

Preprints, Working Papers, ...

titre
Univalence for free
auteur
Matthieu Sozeau, Nicolas Tabareau
article
2013
Accès au texte intégral et bibtex
https://hal.science/hal-00786589/file/main.pdf BibTex

2012

Journal articles

titre
Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS
auteur
Flavien Quesnel, Adrien Lebre, Mario Südholt
article
Concurrency and Computation: Practice and Experience, 2012, pp.XX
Accès au bibtex
BibTex
titre
Essential AOP: The A Calculus
auteur
Bruno de Fraine, Erik Ernst, Mario Südholt
article
ACM Transactions on Programming Languages and Systems (TOPLAS), 2012, ⟨10.1145/2362389.2362391⟩
Accès au bibtex
BibTex
titre
Self-management of cloud applications and infrastructure for energy optimization
auteur
Frederico Alvares de Oliveira Jr., Thomas Ledoux
article
Operating Systems Review, 2012, 46 (2), pp.10-18. ⟨10.1145/2331576.2331579⟩
Accès au bibtex
BibTex
titre
Architecture for the next generation system management tools
auteur
Jérôme Gallard, Adrien Lebre, Christine Morin, Thomas Naughton, Stephen L. Scott, Geoffroy Vallée
article
Future Generation Computer Systems, 2012, 28 (1), pp.136-146. ⟨10.1016/j.future.2011.06.003⟩
Accès au bibtex
BibTex

Conference papers

titre
SLA-driven Capacity Planning for Cloud applications
auteur
Yousri Kouki, Thomas Ledoux
article
IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2012, Dec 2012, Taipei, Taiwan. pp.135-140
Accès au bibtex
BibTex
titre
Testing Inexecutable Conditions on Input Pointers in C Programs with SANTE
auteur
Omar Chebaro, Mickaël Delahaye, Nikolai Kosmatov
article
ICSSEA 2012 - 24th International Conference on Software & Systems Engineering and their Applications, Oct 2012, Paris, France. pp.1-7
Accès au bibtex
BibTex
titre
Extending Type Theory with Forcing
auteur
Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau
article
LICS 2012 : Logic In Computer Science, Jun 2012, Dubrovnik, Croatia. pp.0-0
Accès au texte intégral et bibtex
https://hal.science/hal-00685150/file/forcing_lics.pdf BibTex
titre
An Automatic Reversible Transformation from Composite to Visitor in Java
auteur
Akram Ajouli
article
CIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00733182/file/CIEL2012-Ajouli-paper13.pdf BibTex
titre
Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
auteur
Frederico Alvares de Oliveira Jr., Remi Sharrock, Thomas Ledoux
article
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00682914/file/978-3-642-30829-1_3_Chapter.pdf BibTex
titre
E\{Java, CaesarJ, Scala\} : un exercice d'intégration de la programmation par objets, par aspects et par évènements
auteur
Jacques Noyé
article
Quatrièmes journées nationales du GDR GPL, Jun 2012, Rennes, France. pp.85-86
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00726618/file/noye-COSMAL2012.pdf BibTex
titre
A lesson on structural testing with PathCrawler-online.com
auteur
Omar Chebaro, Nikolai Kosmatov, Nicky Williams, Bernard Botella, Muriel Roger
article
6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
Accès au bibtex
BibTex
titre
A Message-Passing Model for Service Oriented Computing
auteur
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
article
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668975/file/main.pdf BibTex
titre
CSLA : a Language for improving Cloud SLA Management
auteur
Yousri Kouki, Thomas Ledoux
article
International Conference on Cloud Computing and Services Science, CLOSER 2012, Apr 2012, Porto, Portugal. pp.586-591
Accès au bibtex
BibTex
titre
Invertible Program Restructurings for Continuing Modular Maintenance
auteur
Julien Cohen, Rémi Douence, Akram Ajouli
article
16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Mar 2012, Szeged, Hungary. pp.347-352, ⟨10.1109/CSMR.2012.42⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00662777/file/CohenDouence.pdf BibTex
titre
A Practical Monadic Aspect Weaver
auteur
Ismael Figueroa, Éric Tanter, Nicolas Tabareau
article
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00690717/file/main.pdf BibTex
titre
A Monadic Interpretation of Execution Levels and Exceptions for AOP
auteur
Nicolas Tabareau
article
Modularity: AOSD'12, Mar 2012, Postdam, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00592132/file/aspect_2_category_aosd_2012.pdf BibTex
titre
Taming Aspects with Membranes
auteur
Éric Tanter, Nicolas Tabareau, Rémi Douence
article
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00690706/file/main.pdf BibTex
titre
A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
auteur
Diana Allam
article
AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668999/file/aosd551p-allam.pdf BibTex
titre
btrScript : a safe management system for virtualized data center
auteur
Jean-Marc Menaud, Rémy Pottier
article
ICAS 2012 - The Eighth International Conference on Autonomic and Autonomous Systems, Mar 2012, St. Maarten, Netherlands
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00656091/file/document.pdf BibTex
titre
Adding high-level concurrency to EScala
auteur
Jurgen Michael van Ham
article
Aspect-oriented software development, Mar 2012, Potsdam, Germany. pp.19-20, ⟨10.1145/2162110.2162125⟩
Accès au bibtex
BibTex
titre
Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)
auteur
Tom Dinkelaker, Johan Fabry, Jacques Noyé
article
AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany
Accès au bibtex
BibTex

Book sections

titre
Self-management of applications and systems to optimize energy in data centers
auteur
Frederico Alvares de Oliveira Jr., Adrien Lebre, Thomas Ledoux, Jean-Marc Menaud
article
Ivona Brandic and Massimo Villari and Francesco Tusa. Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, IGI Global, 2012, ⟨10.4018/978-1-4666-1631-8.ch019⟩
Accès au bibtex
BibTex

Other publications

titre
Forcing in Coq
auteur
Matthieu Sozeau, Nicolas Tabareau, Guilhem Jaber
article
2012
Accès au bibtex
BibTex

Books

titre
Model-Driven and Software Product Line Engineering
auteur
Hugo Arboleda, Jean-Claude Royer
article
ISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9
Accès au bibtex
BibTex

Reports

titre
Adding Virtualization Capabilities to Grid'5000
auteur
Daniel Balouek, Alexandra Carpen-Amarie, Ghislain Charrier, Frédéric Desprez, Emmanuel Jeannot, Emmanuel Jeanvoine, Adrien Lebre, David Margery, Nicolas Niclausse, Lucas Nussbaum, Olivier Richard, Christian Pérez, Flavien Quesnel, Cyril Rohr, Luc Sarzyniec
article
[Research Report] RR-8026, INRIA. 2012, pp.18
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00720910/file/RR-8026.pdf BibTex
titre
From Implicit to Explicit Pavings
auteur
Gilles Chabert, Rémi Douence
article
[Research Report] RR-8028, INRIA. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00720739/file/RR-8028.pdf BibTex
titre
Well-Typed Services Cannot Go Wrong
auteur
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
article
[Research Report] RR-7899, INRIA. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00700570/file/main.pdf BibTex
titre
Towards QoS-Oriented SLA Guarantees for Online Cloud Services
auteur
Damián Serrano, Sara Bouchenak, Yousri Kouki, Thomas Ledoux, Jonathan Lejeune, Julien Sopena, Luciana Arantes, Pierre Sens
article
[Research Report] RR-LIG-034, LIG. 2012
Accès au texte intégral et bibtex
https://hal.science/hal-01472052/file/RR-LIG-034_orig.pdf BibTex

Theses

titre
A domain specific language for virtualized infrastructures
auteur
Rémy Pottier
article
Langage de programmation [cs.PL]. Ecole des Mines de Nantes, 2012. Français. ⟨NNT : 2012EMNA0017⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01146418/file/Pottier_R_09_2012Diffusion.pdf BibTex

Preprints, Working Papers, ...

titre
Criojo: A Pivot Language for Service-Oriented Computing - The Introspective Chemical Abstract Machine
auteur
Hervé Grall, Mayleen Lacouture
article
2012
Accès au texte intégral et bibtex
https://hal.science/hal-00676083/file/criojo_main.pdf BibTex

2011

Journal articles

titre
Aspects Preserving Properties
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
article
Science of Computer Programming, 2011, 77 (3), pp.393-422. ⟨10.1016/j.scico.2011.10.010⟩
Accès au bibtex
BibTex
titre
Structured and flexible gray-box composition using invasive distributed patterns
auteur
Ismael Mejia, Mario Südholt
article
IADIS International Journal on Computer Science and Information Systems, 2011, 1, 6, pp.13
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00583673/file/mejia-sudholt_iadisjournal.pdf BibTex
titre
Aspectizing Java Access Control
auteur
Rodolfo Toledo, Angel Núñez, Éric Tanter, Jacques Noyé
article
IEEE Transactions on Software Engineering, 2011, 38 (1), pp.101-117. ⟨10.1109/TSE.2011.6⟩
Accès au bibtex
BibTex

Conference papers

titre
Self-management of applications QoS for energy optimization in datacenters
auteur
Frederico Alvares de Oliveira Jr., Thomas Ledoux
article
2nd International Workshop on Green Computing Middleware (GCM'2011), Dec 2011, Portugal. pp.0-0
Accès au bibtex
BibTex
titre
Cross-layer SLA selection for Cloud services
auteur
Yousri Kouki, Thomas Ledoux, Rémi Sharrock
article
IEEE International Symposium on Network Cloud Computing and Applications, NCCA 2011, Nov 2011, Toulouse, France. pp.143-147
Accès au bibtex
BibTex
titre
Static Analysis of Aspect Interaction and Composition in Component Models
auteur
Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
article
the 10th International Conference on Generative Programming and Component Engineering (GPCE'11), Oct 2011, Portland, Oregon, United States. pp.18
Accès au texte intégral et bibtex
https://hal.science/hal-00606270/file/gpce2011-submission.pdf BibTex
titre
Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures
auteur
Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, Mario Südholt
article
4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
Accès au bibtex
BibTex
titre
Cooperative Dynamic Scheduling of Virtual Machines in Distributed Systems
auteur
Flavien Quesnel, Adrien Lebre
article
6th Workshop on Virtualization in High-Performance Cloud Computing, Aug 2011, Bordeaux, France. pp.457-466
Accès au bibtex
BibTex
titre
Composable Controllers in Fractal: Implementation and Interference Analysis
auteur
Abdelhakim Hannousse, Rémi Douence, Gilles Ardourel
article
the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA'11), Aug 2011, Oulu, Finland. pp.99
Accès au texte intégral et bibtex
https://hal.science/hal-00606269/file/seaa2011-submission.pdf BibTex
titre
DISCOVERY, Beyond the Clouds - DIStributed and COoperative framework to manage Virtual EnviRonments autonomicallY: a prospective study
auteur
Adrien Lebre, Paolo Anedda, Massimo Gaggero, Flavien Quesnel
article
Virtualization for High Performance Cloud Computing workshop (colocated with EUROPAR 2011), Aug 2011, Bordeaux, France
Accès au bibtex
BibTex
titre
The Journey of Biorthogonal Logical Relations to the Realm of Assembly Code
auteur
Guilhem Jaber, Nicolas Tabareau
article
Workshop LOLA 2011, Syntax and Semantics of Low Level Languages, Jun 2011, Toronto, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-00594386/file/lola2011.pdf BibTex
titre
Program Transformation based Views for Modular Maintenance
auteur
Akram Ajouli, Julien Cohen, Rémi Douence
article
Troisièmes journées nationales du GDR GPL, Jun 2011, Lille, France. pp.218-219
Accès au texte intégral et bibtex
https://hal.science/hal-00670378/file/poster.pdf BibTex
titre
Towards a Unified Formal Model for Service Orchestration and Choreography
auteur
Diana Allam, Hervé Grall, Jean-Claude Royer
article
Actes des troisièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel (Poster), Jun 2011, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00700737/file/main.pdf BibTex
titre
The Synthesis Problem for Trusted Service-based Collaborations
auteur
Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt
article
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
Accès au bibtex
BibTex
titre
Kalimucho: Contextual Deployment for QoS Management
auteur
Christine Louberry, Philippe Roose, Marc Dalmau
article
11th Distributed Applications and Interoperable Systems (DAIS), Jun 2011, Reykjavik, Iceland. pp.43-56, ⟨10.1007/978-3-642-21387-8_4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00596372/file/DAIS_LouberryRD.pdf BibTex
titre
Consolidation dynamique d'applications Web haute-disponibilité
auteur
Fabien Hermenier, Julia L. Lawall, Jean-Marc Menaud, Gilles Muller
article
CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France
Accès au bibtex
BibTex
titre
Kalimucho : Plateforme d'Adaptation des Applications Mobiles
auteur
Christine Louberry, Philippe Roose, Marc Dalmau
article
NOTERE 201- Conférence Internationale sur les NOuvelles Technologies de la REpartition, May 2011, Paris, France. pp.83-90
Accès au texte intégral et bibtex
https://hal.science/hal-00593459/file/NotereLouberryCameraReady.pdf BibTex
titre
Aspect oriented programming: a language for 2-categories
auteur
Nicolas Tabareau
article
Proceedings of the 10th international workshop on Foundations of aspect-oriented languages, Mar 2011, Porto de Galinhas, Brazil. pp.13--17, ⟨10.1145/1960510.1960514⟩
Accès au bibtex
BibTex
titre
Towards a robust model for distributed aspects
auteur
Ismael Mejia, Mario Südholt
article
1st Workshop In Modularity in Systems Software (MISS), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1960518.1960523⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00567604/file/mejia-sudholt_miss2011.pdf BibTex
titre
Invasive composition for the evolution of a health information system
auteur
Ismael Mejia, Mario Südholt, Luis Daniel Benavides Navarro
article
2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00567598/file/mejia-sudholt-benavides_varicomp-AOSD2011.pdf BibTex
titre
EScala: Modular Event-Driven Object Interactions in Scala
auteur
Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
article
10th International Conference on Aspect-Oriented Software Development (AOSD 2011), Mar 2011, Porto de Galinhas, Brazil. ⟨10.1145/1960275.1960303⟩
Accès au bibtex
BibTex
titre
Proceedings of the sixth annual workshop on Domain-specific aspect languages (DSAL 2011)
auteur
Tom Dinkelaker, Jacques Noyé, Éric Tanter
article
AOSD - Aspect-Oriented Software Development - 2011, Mar 2011, Porto de Galinhas, Brazil
Accès au bibtex
BibTex
titre
Component types qualification in Java legacy code driven by communication integrity rules
auteur
Hugo Arboleda, Jean-Claude Royer
article
ISEC 2011 : India Software Engineering Conference, Feb 2011, Thiruvananthapuram, Kerala, India. pp.155-164, ⟨10.1145/1953355.1953377⟩
Accès au bibtex
BibTex
titre
Operating Systems and Virtualization Frameworks: From Local to Distributed Similarities
auteur
Flavien Quesnel, Adrien Lebre
article
19th Euromicro International Conference on Parallel, Distributed and Network-Based Computing, Feb 2011, Ayia Napa, Cyprus. pp.495
Accès au bibtex
BibTex

Book sections

titre
Introduction
auteur
Awais Rashid, Jean-Claude Royer, Andreas Rummler
article
Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.3-26, 2011
Accès au bibtex
BibTex
titre
Managing Information Flow in SPL Development Processes
auteur
Nicolas Anquetil, Uira Kulesza, Ricardo Mateus, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler
article
Aspect-Oriented, Model-Driven Software Product Lines, The AMPLE way, Cambridge University Press, pp.222-262, 2011
Accès au bibtex
BibTex
titre
Product line implementation with ECaesarJ
auteur
Vaidas Gasiūnas, Angel Núñez, Jacques Noyé, Mira Mezini
article
Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines - The AMPLE Way, Cambridge University Press, 2011, ISBN-13: 9780521767224
Accès au bibtex
BibTex
titre
Empirical research in software product line engineering
auteur
Phil Greenwood, Vander Alves, John Hutchinson, Christa Schwanninger, Nicolas Anquetil
article
Awais Rashid and Jean-Claude Royer and Andreas Rummler. Aspect-Oriented, Model-Driven Software Product Lines -- The AMPLE way, Cambridge University Press, pp.411--443, 2011, 978-0-521-76722-4. ⟨10.1017/CBO9781139003629.014⟩
Accès au bibtex
BibTex

Books

titre
Aspect-Oriented, Model-Driven Software Product Lines The AMPLE Way
auteur
Awais Rashid, Jean-Claude Royer, Andreas Rummler
article
Cambridge University Press, pp.470, 2011
Accès au bibtex
BibTex

Reports

titre
Exploring Membranes for Controlling Aspects
auteur
Éric Tanter, Nicolas Tabareau, Rémi Douence
article
[Research Report] RR-7739, INRIA. 2011, pp.33
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00592133/file/RR-7739.pdf BibTex
titre
Modular and Flexible Causality Control on the Web
auteur
Paul Leger, Éric Tanter, Rémi Douence
article
[Research Report] RR-7742, INRIA. 2011
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00626363/file/RR-7742.pdf BibTex
titre
Aspect Oriented Programming: a language for 2-categories
auteur
Nicolas Tabareau
article
[Research Report] RR-7527, INRIA. 2011, pp.30
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00470400/file/RR7527.pdf BibTex
titre
Dynamic Consolidation of Highly Available Web Applications
auteur
Fabien Hermenier, Julia Lawall, Jean-Marc Menaud, Gilles Muller
article
[Research Report] RR-7545, INRIA. 2011, pp.26
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00567102/file/RR-7545.pdf BibTex

Theses

titre
Aspectualizing Component Models : implementation and Interferences Analysis
auteur
Abdelhakim Hannousse
article
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2011. English. ⟨NNT : 2011EMNA0009⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00657285/file/Hannousse_A_11_2011.pdf BibTex
titre
A Common Aspect Languages Interpreter
auteur
Ali Assaf
article
Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00726510/file/Assaf-phd2011.pdf BibTex
titre
A VPA-based Aspect Language
auteur
Dong Ha Nguyen
article
Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00642636/file/PhD-DongHaNGUYEN-abstract.txt BibTex
titre
A Programming Model Integrating Classes, Events and Aspects
auteur
Angel Núñez
article
Software Engineering [cs.SE]. Université de Nantes, 2011. English. ⟨NNT : 2011 NANT 2063⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00656649/file/Nunez-phd2011.pdf BibTex

Preprints, Working Papers, ...

titre
Decomposing Logical Relations with Forcing
auteur
Guilhem Jaber, Nicolas Tabareau
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00585717/file/forcing.pdf BibTex
titre
Views, Program Transformations, and the Evolutivity Problem in a Functional Language
auteur
Julien Cohen, Rémi Douence
article
2011
Accès au texte intégral et bibtex
https://hal.science/hal-00481941/file/Cohen.pdf BibTex

2010

Journal articles

titre
Managing Virtual Resources: Fly through the Sky
auteur
Jérôme Gallard, Adrien Lebre
article
ERCIM News, 2010, Cloud Computing, Platforms, Software and Applications, pp.36--37
Accès au bibtex
BibTex
titre
Scoping strategies for distributed aspects
auteur
Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
article
Science of Computer Programming, 2010, 75 (12), pp.1235-1261. ⟨10.1016/j.scico.2010.06.011⟩
Accès au bibtex
BibTex
titre
Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe
auteur
Awais Rashid, Thomas Cottenier, Phil Greenwood, Ruzanna Chitchyan, Meunier Regine, Coelho Roberta, Mario Südholt, Wouter Joosen
article
Computer, 2010, 43 (2), pp.19-26. ⟨10.1109/MC.2010.30⟩
Accès au bibtex
BibTex
titre
A model-driven traceability framework for software product lines
auteur
Nicolas Anquetil, Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler, André Sousa
article
Software and Systems Modeling, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00668175/file/sosym-traceability-ATF.pdf BibTex
titre
How synchronization protects from noise.
auteur
Nicolas Tabareau, Jean-Jacques Slotine, Quang-Cuong Pham
article
PLoS Computational Biology, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩
Accès au bibtex
https://arxiv.org/pdf/0801.0011 BibTex

Conference papers

titre
Architecture for the Next Generation System Management Tools.
auteur
Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas J. Naughton, Stephen L. Scott, Adrien Lebre
article
First International Conference on Utility and Cloud Computing (UCC 2010), Dec 2010, Chennai, India
Accès au bibtex
BibTex
titre
Self-optimisation of the energy footprint in Service-Oriented Architectures
auteur
Frederico Alvares de Oliveira Jr., Thomas Ledoux
article
1st International Workshop on Green Computing Middleware, Nov 2010, India. pp.4-9, ⟨10.1145/1925013.1925014⟩
Accès au bibtex
BibTex
titre
Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking
auteur
Ismael Mejia, Mario Südholt
article
IADIS International Conference APPLIED COMPUTING 2010, International Association for Development of the Information Society and "Politehnica" University of Timisoara, Romania, Oct 2010, Timisoara, Romania
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00511843/file/mejia-sudholt_iadis2010.pdf BibTex
titre
A Comparison of Model Migration Tools
auteur
Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitris Kolovos, Kelly Garcés, Richard F. Paige, Fiona A.C. Polack
article
Proc. of Models 2010 Foundation Track, Oct 2010, Oslo, Norway. To appear
Accès au texte intégral et bibtex
https://hal.science/hal-00499395/file/rose-herrmannsdoerfer-williams-kolovos-garces-piage-polack_Models10.pdf BibTex
titre
Fiesta Toolkit: Model-Driven Software Product Lines in Practice
auteur
Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
article
Brazilian Conference on Software: Theory and Practice, Sep 2010, Brazil. pp.61--66
Accès au bibtex
BibTex
titre
Automated Reasoning for Derivation of Model-Driven SPLs
auteur
Hugo Arboleda, Victor Vargas, Francisco Diaz Juan, Jean-Claude Royer
article
2nd International Workshop on Model-driven Approaches in Software Product Line Engineering (MAPLE 2010) at SPLC 2010, Sep 2010, South Korea. pp.181--188
Accès au bibtex
BibTex
titre
CREOLE: a Universal Language for Creating, Requesting, Updating and Deleting Resources
auteur
Mayleen Lacouture, Hervé Grall, Thomas Ledoux
article
International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010), Sep 2010, PARIS, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00493063/file/CREOLE_FOCLASA2010.pdf BibTex
titre
FICS 2010
auteur
Dale Miller, Arnaud Carayol, Panos Rondogiannis, Lars Birkedal, Marek Czarnecki, Hervé Grall, Paul Levy, Matteo Mio, Keiko Nakata, Andrei Romashchenko, Jan Schwinghammer, Kristian Støvring, Tarmo Uustalu, Pawel Waszkiewicz
article
7th Workshop on Fixed Points in Computer Science, FICS 2010, Aug 2010, Brno, Czech Republic. pp.89
Accès au texte intégral et bibtex
https://hal.science/hal-00512377/file/proceedings.pdf BibTex
titre
Krivine realizability for compiler correctness
auteur
Guilhem Jaber, Nicolas Tabareau
article
Workshop LOLA 2010, Syntax and Semantics of Low Level Languages, Jul 2010, Edinburgh, United Kingdom
Accès au texte intégral et bibtex
https://hal.science/hal-00475210/file/lola2010-jaber-tabareau.pdf BibTex
titre
Performance and Power Management for Cloud Infrastructures
auteur
Jean-Marc Menaud, Hien Nguyen Van, Frédéric Dang Tran
article
Cloud 2010, Jul 2010, Miami - Florida, United States. pp.329-336, ⟨10.1109/CLOUD.2010.25⟩
Accès au bibtex
BibTex
titre
Reliable Dynamic Reconfiguration in a Reflective Component Model
auteur
Marc Léger, Thomas Ledoux, Thierry Coupaye
article
CBSE 2010, Jun 2010, Prague, Czech Republic. pp.74-92
Accès au bibtex
BibTex
titre
Cluster-Wide Context Switch of Virtualized Jobs
auteur
Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
article
VTDC10 - The 4th International Workshop on Virtualization Technologies in Distributed Computing, Jun 2010, Chicago, United States
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00476790/file/hermenier-etal-vtdc2010.pdf BibTex
titre
The Increasing Nvalue Constraint
auteur
Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
article
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Jun 2010, Bologna, Italy. ⟨10.1007/978-3-642-13520-0_5⟩
Accès au bibtex
BibTex
titre
La contrainte Increasing NValue
auteur
Nicolas Beldiceanu, Fabien Hermenier, Xavier Lorca, Thierry Petit
article
JFPC 2010 - Sixièmes Journées Francophones de Programmation par Contraintes, Jun 2010, Caen, France. pp.61-70
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00520296/file/beldiceanu.pdf BibTex
titre
A Reconfiguration Language for Virtualized Grid Infrastructures
auteur
Rémy Pottier, Marc Léger, Jean-Marc Menaud
article
10th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) / Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. pp.42-55, ⟨10.1007/978-3-642-13645-0_4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00474647/file/paper.pdf BibTex
titre
Essential AOP: The A Calculus
auteur
Bruno de Fraine, Erik Ernst, Mario Südholt
article
European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. pp.000
Accès au bibtex
BibTex
titre
Automatizing the Evaluation of Model Matching Systems
auteur
Kelly Garcés, Wolfgang Kling, Frédéric Jouault
article
Workshop on matching and meaning 2010, Mar 2010, Leicester, United Kingdom. To appear
Accès au texte intégral et bibtex
https://hal.science/hal-00466946/file/garces_kling_jouault_aisb2010.pdf BibTex
titre
Views for Aspectualizing Component Models
auteur
Abdelhakim Hannousse, Gilles Ardourel, Rémi Douence
article
the 9th AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS 2010), Mar 2010, St-Malo, France. acp4is10
Accès au bibtex
BibTex
titre
A theory of distributed aspects
auteur
Nicolas Tabareau
article
9th International Conference on Aspect-Oriented Software Development (AOSD '10), Mar 2010, Rennes, Saint-Malo, France. pp.133--144, ⟨10.1145/1739230.1739246⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00423996/file/theory_of_distributed_aspects_fullversion.pdf BibTex
titre
Vers une réification de l'énergie dans le domaine du logiciel
auteur
Jean-Marc Menaud, Adrien Lebre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, Mario Südholt
article
Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000
Accès au bibtex
BibTex
titre
Saline: Improving Best-Effort Job Management in Grids
auteur
Jérôme Gallard, Adrien Lebre, Christine Morin
article
PDP 2010: The 18th Euromicro International Conference on Parallel, Distributed and Network-Based Computing -- Special Session: Virtualization in Distributed Systems, 2010, Pisa, Italy
Accès au bibtex
BibTex

Master thesis

titre
Krivine Realizability for Compiler Correctness
auteur
Guilhem Jaber
article
Symbolic Computation [cs.SC]. 2010
Accès au texte intégral et bibtex
https://dumas.ccsd.cnrs.fr/dumas-00530710/file/JaberGuilhem.pdf BibTex

Books

titre
Langages et Modèles à Objets
auteur
Eric Cariou, Jean-Claude Royer
article
Université de Pau et des pays de l'adour, pp.100, 2010
Accès au bibtex
BibTex
titre
Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development
auteur
Mario Südholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry
article
ACM, pp.230, 2010
Accès au bibtex
BibTex

Reports

titre
Controlling Contractors with Monads for Hybrid Dynamical Systems
auteur
Gilles Chabert, Rémi Douence
article
[Research Report] RR-7451, INRIA. 2010, pp.20
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00536614/file/RR-7451.pdf BibTex
titre
Architecture for the Next Generation System Management Tools for Distributed Computing Platforms
auteur
Jérôme Gallard, Geoffroy Vallée, Thomas J. Naughton, Adrien Lebre, Stephen L. Scott, Christine Morin
article
[Research Report] RR-7325, INRIA. 2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00494328/file/RR-7325.pdf BibTex
titre
Declarative Events for Object-Oriented Programming
auteur
Vaidas Gasiūnas, Lucas Satabin, Mira Mezini, Angel Núñez, Jacques Noyé
article
[Research Report] RR-7313, INRIA. 2010, pp.38
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00494645/file/RR-7313.pdf BibTex

Theses

titre
Adaptation and evaluation of generic model matching strategies
auteur
Kelly Garces
article
Software Engineering [cs.SE]. Université de Nantes, 2010. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00532926/file/these_GARCES.pdf BibTex

Preprints, Working Papers, ...

titre
Proving Fixed Points
auteur
Hervé Grall
article
2010
Accès au texte intégral et bibtex
https://hal.science/hal-00507775/file/grall_fics2010.pdf BibTex
titre
Linear logic as a foundation for service-oriented computing
auteur
Hervé Grall, Nicolas Tabareau
article
2010
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00473854/file/editioncalculus-fulltext.pdf BibTex

2009

Journal articles

titre
The Ample Project, Traceability of Software Product Line Development: Models and Uncertainty
auteur
Joost Noppen, Jean-Claude Royer
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2009, 85, pp.43-48
Accès au bibtex
BibTex

Conference papers

titre
JavaCompExt: Extracting Architectural Elements from Java Source Code
auteur
Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
article
WCRE, Oct 2009, Lille, France. pp.317-318, ⟨10.1109/WCRE.2009.53⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00457219/file/paper-new.pdf BibTex
titre
SLA-aware virtual resource management for cloud infrastructures
auteur
Hien Nguyen Van, Frederic Dang Tran, Jean-Marc Menaud
article
9th IEEE International Conference on Computer and Information Technology (CIT'09), Oct 2009, Xiamen, China. pp.1-8
Accès au texte intégral et bibtex
https://hal.science/hal-00474722/file/CIT2009.pdf BibTex
titre
Dealing with Fine-Grained Configurations in Model-Driven SPLs
auteur
Hugo Arboleda, Rubby Casallas, Jean-Claude Royer
article
SPLC, Aug 2009, United States. pp.1-10
Accès au bibtex
BibTex
titre
Lazy Composition of Representations in Java
auteur
Rémi Douence, Xavier Lorca, Nicolas Loriant
article
SC'09 - International Conference on Software Composition, Jul 2009, Lille, France. pp.55-71
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00403417/file/douence-al-sc09.pdf BibTex
titre
Declarative Definition of Contexts with Polymorphic Events
auteur
Angel Núñez, Jacques Noyé, Vaidas Gasiūnas
article
International Workshop on Context-Oriented Programming at ECOOP '09 (COP '09), Jul 2009, Genova, Italy. ⟨10.1145/1562112.1562114⟩
Accès au bibtex
BibTex
titre
Managing Model Adaptation by Precise Detection of Metamodel Changes
auteur
Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
article
In Proc. of ECMDA 2009, Jun 2009, Enschede,, Netherlands. pp.34-49, ⟨10.1007/978-3-642-02674-4⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00466940/file/garces-jouault-cointe-bezivin_ecmda09.pdf BibTex
titre
Refinement Proposal of the Goldberg's Theory
auteur
Jérôme Gallard, Adrien Lebre, Geoffroy Vallée, Christine Morin, Pascal Gallard, Stephen L. Scott
article
ICA3PP'09: International Conference on Algorithms and Architectures for Parallel Processing, Jun 2009, Tapei, Taiwan. pp.853-865, ⟨10.1007/978-3-642-03095-6_80⟩
Accès au bibtex
BibTex
titre
Autonomic virtual resource management for service hosting platforms
auteur
Hien Nguyen Van, Frédéric Dang Tran, Jean-Marc Menaud
article
Workshop on Software Engineering Challenges in Cloud Computing, May 2009, Vancouver, Canada, Canada. pp.1-8
Accès au texte intégral et bibtex
https://hal.science/hal-00474721/file/ICSE2009_CLOUD_1310_NGUYENVAN_Hien.pdf BibTex
titre
Handling Persistent States in Process Checkpoint/Restart Mechanisms for HPC Systems
auteur
Pierre Riteau, Adrien Lebre, Christine Morin
article
9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID '09), May 2009, Shanghai, China. ⟨10.1109/CCGRID.2009.29⟩
Accès au bibtex
BibTex
titre
Product Derivation in a Model-Driven Software Product Line using Decision Models
auteur
Hugo Arboleda, Andres Romero, Rubby Casallas, Jean-Claude Royer
article
IDEAS, Apr 2009, Colombia. pp.59--72
Accès au bibtex
BibTex
titre
A Domain Specific Language for Expressing Model Matching
auteur
Kelly Garcés, Frédéric Jouault, Pierre Cointe, Jean Bézivin
article
Proceedings of the 5ère Journée sur l'Ingénierie Dirigée par les Modèles (IDM09), Mar 2009, Nancy, France, France. pp.33-48
Accès au texte intégral et bibtex
https://hal.science/hal-00466942/file/garces-jouault-cointe-bezivin_idm09.pdf BibTex
titre
Entropy: a Consolidation Manager for Clusters
auteur
Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall
article
VEE 2009 - 5th International Conference on Virtual Execution Environments, Mar 2009, Washington, DC, United States. pp.41-50, ⟨10.1145/1508293.1508300⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01102354/file/hermenier-vee09.pdf BibTex
titre
Expressive Scoping of Distributed Aspects
auteur
Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt
article
AOSD 2009, Mar 2009, Charlottesville, Virginia, United States. pp.27-38, ⟨10.1145/1509239.1509245⟩
Accès au bibtex
BibTex
titre
Flexible Pointcut Implementation: An Interpreted Approach
auteur
Ali Assaf, Jacques Noyé
article
Langages et Modèles à Objets (LMO 2009), Olivier Zendra, Mar 2009, Nancy, France. pp.45-60
Accès au bibtex
BibTex
titre
Event Strictness for Components with Complex Bindings
auteur
Fabricio Fernandes, Jean-Claude Royer, Robin Passama
article
ISEC, Feb 2009, India. pp.47--56
Accès au bibtex
BibTex
titre
Changement de contexte pour tâches virtualisées à l'échelle des grappes
auteur
Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
article
7ème Conférence Francophone sur les Systèmes d'Exploitation (CFSE09), 2009, Toulouse, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00420355/file/cfse3.pdf BibTex
titre
Unifying Runtime Adaptation and Design Evolution
auteur
Brice Morin, Thomas Ledoux, Mahmoud Ben Hassine, Franck Chauvel, Olivier Barais, Jean-Marc Jézéquel
article
IEEE 9th International Conference on Computer and Information Technology (CIT'09), 2009, Xiamen, China, China
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468517/file/Morin09b.pdf BibTex

Book sections

titre
Designing Open-Ended Languages: An Historical Perspective
auteur
Pierre Cointe
article
Gerard Assayag and Andrez Gerzso. New Computational Paradigms for Computer Music, Delatour France / IRCAM Centre Georges Pompidou, pp.49-64, 2009, Musique/Sciences
Accès au bibtex
BibTex

Books

titre
Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages (FOAL'09)
auteur
Mario Südholt
article
ACM, pp.0, 2009, 978-1-60558-452-2
Accès au bibtex
BibTex

Proceedings

titre
Proceedings of the 4th workshop on Domain-specific aspect languages (DSAL 2009)
auteur
Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter
article
Thomas Cleenewerck, Johan Fabry, Anne-Françoise Le Meur, Jacques Noyé, Éric Tanter. Aspect-oriented software development, Mar 2009, Charlottesville, Virginia, United States. ACM Press, 24 p., 2009, 978-1-60558-455-3
Accès au bibtex
BibTex

Reports

titre
Aspects Preserving Properties
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
article
[Research Report] RR-7155, INRIA. 2009
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00449851/file/RR-7155.pdf BibTex
titre
Cluster-Wide Context Switch of Virtualized Jobs
auteur
Fabien Hermenier, Adrien Lebre, Jean-Marc Menaud
article
[Research Report] RR-6929, INRIA. 2009
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00383325/file/RR-6929.pdf BibTex
titre
Saline: Improving Best-Effort Job Management in Grids
auteur
Jérôme Gallard, Adrien Lebre, Christine Morin
article
[Research Report] RR-7055, INRIA. 2009
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00422593/file/RR-7055.pdf BibTex

Theses

titre
Online Management of Jobs in Clusters using Virtual Machines
auteur
Fabien Hermenier
article
Réseaux et télécommunications [cs.NI]. Université de Nantes, 2009. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00476822/file/Thesis-Fabien_Hermenier.pdf BibTex
titre
FieSta: An approach for Fine-Grained Scope Definition, Configuration and Derivation of Model-Driven Software Product Lines
auteur
Hugo Arboleda
article
Software Engineering [cs.SE]. Université de Nantes; Universidad Los Andès, Bogota, 2009. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00484779/file/HugoArboleda-PhDThesis.pdf BibTex
titre
Reliability of dynamic reconfigurations in component-based architectures
auteur
Marc Léger
article
Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2009. Français. ⟨NNT : 2009ENMP1618⟩
Accès au texte intégral et bibtex
https://pastel.hal.science/tel-00485033/file/these-MarcLeger.pdf BibTex

2008

Journal articles

titre
La traçabilité dans les lignes de produits logiciels
auteur
Nicolas Anquetil, Ismenia Galvão, Joost Noppen
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2008, 14 (3), pp.47--57
Accès au bibtex
BibTex
titre
Cross-layer rate control, medium access control and routing design in cooperative VANET
auteur
Liang Zhou, Baoyu Zheng, Benoit Geller, Anne Wei, Shan Xu, Yajun Li
article
Computer Communications, 2008, ⟨10.1016/j.comcom.2007.12.006⟩
Accès au texte intégral et bibtex
https://ensta-paris.hal.science/hal-01248385/file/11%20Computer%20Communications%202008.pdf BibTex

Conference papers

titre
Aspect-based patterns for grid programming
auteur
Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt
article
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⟩
Accès au bibtex
BibTex
titre
Complementarity between Virtualization and Single System Image Technologies
auteur
Jérôme Gallard, Geoffroy Vallée, Adrien Lebre, Christine Morin, Pascal Gallard, Stephen L. Scott
article
Euro-Par 2008 Workshops - Parallel Processing: VHPC 2008, UNICORE 2008, HPPC 2008, SGS 2008, PROPER 2008, ROIA 2008, and DPA 2008, Aug 2008, Las Palmas de Gran Canaria, Spain. ⟨10.1007/978-3-642-00955-6_6⟩
Accès au bibtex
BibTex
titre
LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns
auteur
Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, Mario Südholt
article
Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. pp.36-45, ⟨10.1007/978-3-642-02047-6⟩
Accès au bibtex
BibTex
titre
Traceability for Model Driven, Software Product Line Engineering
auteur
Nicolas Anquetil, Birgit Grammel, Ismenia Galvão, Joost Noppen, Soffora Shakil Khan, Hugo Arboleda, Awais Rashid
article
ECMDA Traceability Workshop, Jun 2008, Germany. pp.77--86
Accès au bibtex
BibTex
titre
Summary of the third workshop on Domain-Specific Aspect Languages
auteur
Thomas Cleenewerck, Jacques Noyé, Johan Fabry, Anne-Françoise Le Meur, Éric Tanter
article
DSAL '08: Proceedings of the 2008 AOSD workshop on Domain-specific aspect languages, Thomas Cleenewerck and Jacques Noyé and Johan Fabry and Anne-Françoise Lemeur and Éric Tanter, Mar 2008, Bruxelles, Belgium. pp.1-5, ⟨10.1145/1404927.1404928⟩
Accès au bibtex
BibTex
titre
Debugging and testing middleware with aspect-based control-flow and causal patterns
auteur
Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt
article
ACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. ⟨10.1007/978-3-540-89856-6_10⟩
Accès au bibtex
BibTex
titre
Cross-Document Dependency Analysis for System-of-System Integration
auteur
Asad Syed Ali Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt
article
15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. pp.0
Accès au bibtex
BibTex
titre
Aspect Preserving Properties
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
article
ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation, 2008, San Francisco, United States. ⟨10.1145/1328408.1328429⟩
Accès au bibtex
BibTex
titre
Specialized aspect languages preserving classes of properties
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
article
IEEE International Conference on Software Engineering and Formal Methods, 2008, Cape Town, South Africa. ⟨10.1109/SEFM.2008.21⟩
Accès au bibtex
BibTex
titre
Industrial characterization of scatterometry for advanced APC of 65 nm CMOS logic gate patterning
auteur
Karen Dabertrand, Mathieu Touchet, Stéphanie Kremer, Catherine Chaton, Maxime Gatefait, Enrique Aparicio, Marco Polli, Jean-Claude Royer
article
SPIE Advanced Lithography, 2008, San Jose, United States. ⟨10.1117/12.771614⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00462558/file/dabertrand2008.pdf BibTex

2007

Conference papers

titre
Invasive Patterns for Distributed Programs
auteur
Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud
article
Distributed Objects, Middleware, and Applications, Nov 2007, Portugal. pp.772-789
Accès au bibtex
BibTex
titre
Invasive Patterns: Aspect-Based Adaptation of Distributed Applications
auteur
Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud
article
Workshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany
Accès au bibtex
BibTex

Other publications

titre
Proof of correctness of aspect transformations in the CASB
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet
article
2007
Accès au bibtex
BibTex

2006

Journal articles

titre
Dynamic Adaptation of the Squid web cache with Arachne
auteur
Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Thomas Fritz, Rémi Douence, Mario Südholt, Egon Wuchner
article
IEEE Software, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00442177/file/segura.ieeesoft06.pdf BibTex
titre
An expressive aspect language for system applications with Arachne
auteur
Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, Mario Südholt
article
LNCS Transactions on Aspect-Oriented Software Development, 2006, 1 (1)
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00442180/file/douence.taosd06.pdf BibTex

Conference papers

titre
Concurrent Aspects
auteur
Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
article
5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
Accès au bibtex
BibTex
titre
Automatic Speech Recognition and Intrinsic Speech Variation
auteur
M Benzeguiba, Renato de Mori, O Deroo, Simon Dupont, T Erbes, Denis Jouvet, L Fissore, P Laface, A Mertins, C Ris, R Rose, V Tyagi, C Wellekens
article
IEEE International Conference on Acoustics, Speech and Signal Processing, May 2006, Toulouse, France. ⟨10.1109/ICASSP.2006.1661452⟩
Accès au bibtex
BibTex
titre
Towards a model of concurrent AOP
auteur
Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt
article
SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00468018/file/Douence-al-splat2006.pdf BibTex
titre
Relational Aspects for Context Passing Beyond Stack Inspection
auteur
Rémi Douence
article
Software Engineering Properties of Languages and Aspect Technologies, Mar 2006, Germany
Accès au bibtex
BibTex

Other publications

titre
Towards a Common Aspect Semantic Base (CASB), Deliverable 54
auteur
Simplice Djoko Djoko, Rémi Douence, Pascal Fradet, Didier Le Botlan
article
2006
Accès au bibtex
BibTex