Publications HAL de la structure stack;ascola

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
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
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
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
Composition non modulaire modulaire
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