Publications HAL de la structure stack;ascola

2017

Journal articles

titre
Extensibility and Composability of a Multi-Stencil Domain Specific Framework
auteur
Hélène Coullon, Julien Bigot, Christian Pérez
article
International Journal of Parallel Programming, Springer Verlag, 2017, ⟨10.1007/s10766-017-0539-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01650998/file/article.pdf BibTex
titre
Performance Analysis of Object Store Systems in a Fog and Edge Computing Infrastructure
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
Transactions on Large-Scale Data- and Knowledge-Centered Systems, Springer Berlin / Heidelberg, 2017, Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIII, ⟨10.1007/978-3-662-55696-2_2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01587459/file/tldks.pdf BibTex
titre
Investigating Energy Consumption and Performance Trade-off for Interactive Cloud Application
auteur
Md Sabbir Hasan, Frederico Alvares, Thomas Ledoux, Jean-Louis Pazat
article
IEEE Transactions on Sustainable Computing, IEEE, 2017, 2 (2), pp.113 - 126. ⟨10.1109/TSUSC.2017.2714959⟩
Accès au bibtex
BibTex
titre
Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing
auteur
Md Sabbir Hasan, Yousri Kouki, Thomas Ledoux, Jean-Louis Pazat
article
IEEE transactions on cloud computing, IEEE, 2017, 5 (2), pp.249-262. ⟨10.1109/TCC.2015.2459710⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01187907/file/TCCSI-2014-12-0684.pdf BibTex
titre
Reactive Model Transformation with ATL
auteur
Salvador Martinez, Massimo Tisi, Rémi Douence
article
Science of Computer Programming, Elsevier, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01627991/file/ReactiveSCP%20%281%29.pdf BibTex
titre
A Domain-specific Language for The Control of Self-adaptive Component-based Architecture
auteur
Frederico Alvares, Eric Rutten, Lionel Seinturier
article
Journal of Systems and Software, Elsevier, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01450517/file/JSS16.pdf BibTex
titre
Towards energy-proportional Clouds partially powered by renewable energy
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 H. Roux, Ammar Sharaiha
article
Computing, Springer Verlag, 2017, 99 (1), pp.3-22. ⟨10.1007/s00607-016-0503-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01340318/file/paper.pdf BibTex

Conference papers

titre
Green energy aware scheduling problem in virtualized datacenters
auteur
Gilles Madi Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud
article
ICPADS 2017, Dec 2017, Shenzen, China. pp.648-655
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01582936/file/papier_scheduling.pdf BibTex
titre
Virtual Machine Placement for Hybrid Cloud using Constraint Programming
auteur
Hélène Coullon, Guillaume Le Louët, Jean-Marc Menaud
article
ICPADS 2017, Dec 2017, Shenzhen, China
Accès au bibtex
BibTex
titre
GPaaScaler: Green Energy aware Platform Scaler for Interactive Cloud Application
auteur
Md Sabbir Hasan, Frederico Alvares de Oliveira Jr., Thomas Ledoux
article
IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2017, Austin, United States. pp.79-89
Accès au bibtex
BibTex
titre
Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing
auteur
Hélène Coullon, Jacques Noyé
article
SOHOMA 2017, Oct 2017, Nantes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01591113/file/main.pdf BibTex
titre
Side-Channels Beyond the Cloud Edge : New Isolation Threats and Solutions
auteur
Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
article
CSNet 2017 : 1st Cyber Security in Networking Conference, Oct 2017, Rio de Janeiro, Brazil. pp.1-8, ⟨10.1109/CSNET.2017.8241986⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01593144/file/csnet2017_draft.pdf BibTex
titre
Cloud workload prediction and generation models
auteur
Gilles Madi Wamba, Yunbo Li, Anne-Cécile Orgerie, Nicolas Beldiceanu, Jean-Marc Menaud
article
SBAC-PAD: International Symposium on Computer Architecture and High Performance Computing, Oct 2017, Campinas, Brazil. pp.89-96
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01578354/file/paper.pdf BibTex
titre
Comparative Experimental Analysis of the Quality-of-Service and Energy-Efficiency of VMs and Containers' Consolidation for Cloud Applications
auteur
Ismael Cuadrado-Cordero, Anne-Cécile Orgerie, Jean-Marc Menaud
article
International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2017), Sep 2017, Split, Croatia. pp.1-6, ⟨10.23919/SOFTCOM.2017.8115516⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01578325/file/Paper.pdf BibTex
titre
Eley: On the Effectiveness of Burst Buffers for Big Data Processing in HPC systems
auteur
Orcun Yildiz, Amelie Chi Zhou, Shadi Ibrahim
article
Cluster'17-2017 IEEE International Conference on Cluster Computing, Sep 2017, Hawaii, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01570737/file/Cluster2017-CR.pdf BibTex
titre
Energy-Driven Straggler Mitigation in MapReduce
auteur
Tien-Dat Phan, Shadi Ibrahim, Amelie Zhou, Guillaume Aupy, Gabriel Antoniu
article
Euro-Par'17 - 23rd International European Conference on Parallel and Distributed Computing, Aug 2017, Santiago de Compostela, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01560044/file/EuroPar2017.pdf BibTex
titre
Logico-numerical Control for Software Components Reconfiguration
auteur
Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten
article
CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644754/file/ccta-final.pdf BibTex
titre
Production Deployment Tools for IaaSes: an Overall Model and Survey
auteur
Hélène Coullon, Dimitri Pertin, Christian Pérez
article
The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2017, Prague, Czech Republic. pp.183-190, ⟨10.1109/FiCloud.2017.51⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01532489/file/main.pdf BibTex
titre
A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study
auteur
Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jerome Francois, Adrien Lebre
article
The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), Aug 2017, Prague, Czech Republic. pp.337-344, ⟨10.1109/FiCloud.2017.30⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01591161/file/PID4851985.pdf BibTex
titre
K-binID: Kernel Binary Code Identification for Virtual Machine Introspection
auteur
Yacine Hebbal, Sylvie Laniepce, Jean-Marc Menaud
article
IEEE Conference on Dependable and Secure Computing (DSC), Aug 2017, Taiwan, Taiwan
Accès au bibtex
BibTex
titre
Hidden Process Detection using Kernel Functions Instrumentation
auteur
Yacine Hebbal, Sylvie Laniepce, Jean-Marc Menaud
article
IEEE Conference on Dependable and Secure Computing (DSC), Aug 2017, Taiwan, Taiwan
Accès au bibtex
BibTex
titre
Language Support for Modular Autonomic Managers in Reconfigurable Software Components
auteur
Frederico Alvares, Gwenaël Delaval, Eric Rutten, Lionel Seinturier
article
SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, Jul 2017, Colombus, United States. pp.271 - 278, ⟨10.1109/ICAC.2017.48⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01575353/file/SeAC.pdf BibTex
titre
K-binID : Identification de code binaire noyau à des fins d’introspection de machine virtuelle
auteur
Yacine Hebbal, Sylvie Laniepce, Jean-Marc Menaud
article
Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), Jun 2017, Sophia Antipolis, France
Accès au bibtex
BibTex
titre
An object store for Fog infrastructures based on IPFS and a Scale-Out NAS
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
RESCOM 2017, Jun 2017, Le Croisic, France. pp.2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01559065/file/RESCOM17_paper_5.pdf BibTex
titre
On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters
auteur
Amelie Zhou, Shadi Ibrahim, Bingsheng He
article
ICDCS'17- The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Jun 2017, Atlanta, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01560187/file/ICDCS-GraphPartitioning.pdf BibTex
titre
Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System
auteur
Yacine Taleb, Shadi Ibrahim, Gabriel Antoniu, Toni Cortes
article
The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), Jun 2017, Atlanta, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01496959/file/ICDCS-CR.pdf BibTex
titre
Leveraging Renewable Energy in Edge Clouds for Data Stream Analysis in IoT
auteur
Yunbo Li, Anne-Cécile Orgerie, Ivan Rodero, Manish Parashar, Jean-Marc Menaud
article
CCGrid 2017 - IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing , May 2017, Madrid, Spain. pp.186-195
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01472358/file/papier-CCGrid2017.pdf BibTex
titre
Toward a Holistic Framework for Conducting Scientific Evaluations of OpenStack
auteur
Ronan-Alexandre Cherrueau, Dimitri Pertin, Anthony Simonet, Adrien Lebre, Matthieu Simonin
article
The 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), May 2017, Madrid, Spain. pp.544-548, ⟨10.1109/CCGRID.2017.87⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01664515/file/main.pdf BibTex
titre
An Object Store Service for a Fog/Edge Computing Infrastructure based on IPFS and Scale-out NAS
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
1st IEEE International Conference on Fog and Edge Computing - ICFEC’2017, May 2017, Madrid, Spain. pp.41-50, ⟨10.1109/ICFEC.2017.13⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01483702/file/fec.pdf BibTex
titre
Making Cloud-based Systems Elasticity Testing Reproducible
auteur
Michel Albonico, Jean-Marie Mottu, Gerson Sunyé, Frederico Alvares
article
7th International Conference on Cloud Computing and Services Science, Apr 2017, Porto, Portugal
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01471916/file/sac_to_closer.pdf BibTex
titre
Privacy-Aware Data Storage in Cloud Computing
auteur
Rémy Pottier, Jean-Marc Menaud
article
International Conference on Cloud Computing and Services Science (CLOSER), Apr 2017, Porto, Portugal. pp.8
Accès au bibtex
BibTex
titre
Towards a generic autonomic model to manage Cloud Services
auteur
Jonathan Lejeune, Frederico Alvares, Thomas Ledoux
article
The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), Apr 2017, Porto, Portugal. pp.175-186, ⟨10.5220/0006302801750186⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01511360/file/CLOSER-2017.pdf BibTex
titre
Revising OpenStack to Operate Fog/Edge Computing infrastructures
auteur
Adrien Lebre, Jonathan Pastor, Anthony Simonet, Frédéric Desprez
article
IEEE International Conference on Cloud Engineering, Apr 2017, Vancouver, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01273427/file/main_submitted.pdf BibTex
titre
ElaScript: a DSL for Coding Elasticity in Cloud Computing
auteur
Simon Dupont, Salma Bouri, Frederico Alvares de Oliveira, Thomas Ledoux
article
32nd ACM Symposium on Applied Computing - Track on Cloud Computing, Apr 2017, Marrakech, Morocco. pp.392-398
Accès au bibtex
BibTex
titre
Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center
auteur
Yunbo Li, Anne-Cécile Orgerie, Jean-Marc Menaud
article
PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing , Mar 2017, St Petersburg, Russia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01432752/file/pdp.pdf BibTex
titre
Virtual Machine Boot Time Model
auteur
Thuy Linh Nguyen, Adrien Lebre
article
PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2017, St Peterbourg, Russia. pp.430 - 437, ⟨10.1109/PDP.2017.58⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01586932/file/PID4602741.pdf BibTex
titre
Formalising Real Numbers in Homotopy Type Theory
auteur
Gaëtan Gilbert
article
6th ACM SIGPLAN Conference on Certified Programs and Proofs , Jan 2017, Paris, France. pp.112 - 124, ⟨10.1145/3018610.3018614⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01449326/file/p112-gilbert.pdf BibTex
titre
Modèles de la théorie des types donnés par traduction de programme
auteur
Simon Boulier, Pierre-Marie Pédrot, Nicolas Tabareau
article
28ièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01503089/file/main.pdf BibTex

Directions of work or proceedings

titre
Algorithms and Architectures for Parallel Processing: 17th International Conference, Ica3pp 2017, Helsinki, Finland, August 21-23, 2017, Proceedings
auteur
Shadi Ibrahim, Kim-Kwang Raymond Choo, Zheng Yan, Witold Pedrycz
article
Ica3pp 2017 - 17th International Conference on Algorithms and Architectures for Parallel Processing, Aug 2017, Helsinki, Finland. 2017
Accès au bibtex
BibTex
titre
RESCOM 2017 Summer school
auteur
Damien Saucez, Adrien Lebre, Stefano Secci
article
Jun 2017, Le Croisic, France. CNRS, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01558074/file/Proceedings_RESCOM17.pdf BibTex

Habilitation à diriger des recherches

titre
Contributions to Large-scale Distributed Systems The infrastructure Viewpoint - Toward Fog and Edge Computing as The Next Utility Computing Paradigm?
auteur
Adrien Lebre
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Nantes, 2017
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01664343/file/hdr-manuscrit-AdrienLebre.pdf BibTex

Other publications

titre
The Coq Proof Assistant, version 8.7.1
auteur
The Coq Development Team
article
2017, pp.1-571. ⟨10.5281/zenodo.1133970⟩
Accès au bibtex
BibTex

Theses

titre
A formal model for accountability
auteur
Walid Benghabrit
article
Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0043⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01692550/file/2017IMTA0043_Benghabrit_Walid_diffusion.pdf BibTex
titre
Semantic monitoring mechanisms dedicated to security monitoring in IaaS cloud
auteur
Yacine Hebbal
article
Computation and Language [cs.CL]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0029⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01797056/file/2017IMTA0029_Hebbal-Yacine.pdf BibTex
titre
Resource allocation in a Cloud partially powered by renewable energy sources
auteur
Yunbo Li
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2017. English. ⟨NNT : 2017IMTA0019⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01595953/file/2017IMTA0019_LiYunbo.pdf BibTex
titre
Smart management of renewable energy in clouds : from infrastructure to application
auteur
Md Sabbir Hasan
article
Distributed, Parallel, and Cluster Computing [cs.DC]. INSA de Rennes, 2017. English. ⟨NNT : 2017ISAR0010⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01617963/file/THESE_HASAN_Sabbir_pdfstar.pdf BibTex

Preprints, Working Papers, ...

titre
Side Channels in the Cloud: Isolation Challenges, Attacks, and Countermeasures
auteur
Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01591808/file/sca_survey.pdf BibTex
titre
Model structure on the universe in a two level type theory
auteur
Simon Boulier, Nicolas Tabareau
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01579822/file/main.pdf BibTex