Publications HAL de la structure stack;ascola

2020

Journal articles

titre
An overview of service placement problem in Fog and Edge Computing
auteur
Farah Ait Salaht, Frédéric Desprez, Adrien Lebre
article
ACM Computing Surveys, Association for Computing Machinery, In press, pp.1-38
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02596419/file/ACM_Surveys_Hal.pdf BibTex

Conference papers

titre
Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization
auteur
Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
article
CCGrid2020 - 20th International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia
Accès au bibtex
BibTex
titre
Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto
auteur
Maverick Chardet, Hélène Coullon, Christian Pérez
article
CCGrid 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia
Accès au bibtex
BibTex
titre
Multi-site Connectivity for Edge Infrastructures DIMINET:DIstributed Module for Inter-site NETworking
auteur
David Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari
article
CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, IEEE; The University of Melbourne, May 2020, Melbourne, Australia. pp.1-10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02573638/file/DIMINET__On_Demand_Multi_site_Connectivity_for_Edge_Infrastructures%281%29.pdf BibTex

Book sections

titre
A Fog storage software architecture for the Internet of Things
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
Advances in Edge Computing: Massive Parallel Processing and Applications, IOS Press, pp.61-105, 2020, Advances in Parallel Computing, 978-1-64368-062-0. ⟨10.3233/APC200004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02496105/file/document.pdf BibTex

Reports

titre
Edge Computing Resource Management System: Two Years Later!
auteur
Ronan-Alexandre Cherrueau, Marie Delavergne, Adrien Lebre, Javier Rojas Balderrama, Matthieu Simonin
article
[Research Report] RR-9336, Inria Rennes Bretagne Atlantique. 2020
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02527366/file/RR-9336.pdf BibTex

2019

Journal articles

titre
Cost-Aware Partitioning for Efficient Large Graph Processing in Geo-Distributed Datacenters
auteur
Amelie Chi Zhou, Bingkun Shen, Yao Xiao, Shadi Ibrahim, Bingsheng He
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2019, pp.1-1. ⟨10.1109/TPDS.2019.2955494⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02389120/file/graphLong_main.pdf BibTex
titre
Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs
auteur
Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article
Future Generation Computer Systems, Elsevier, 2019, pp.1-28. ⟨10.1016/j.future.2019.08.024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02275473/file/paper_revision%20%281%29.pdf BibTex
titre
Shadow: Exploiting the Power of Choice for Efficient Shuffling in MapReduce
auteur
Sijie Wu, Hanhua Chen, Hai Jin, Shadi Ibrahim
article
IEEE transactions on big data, IEEE, 2019, pp.1-15. ⟨10.1109/TBDATA.2019.2943473⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02389072/file/Shadow-TBD-CR.pdf BibTex
titre
Data Location Management Protocol for Object Stores in a Fog Computing Infrastructure
auteur
Bastien Confais, Benoît Parrein, Adrien Lebre
article
IEEE Transactions on Network and Service Management, IEEE, 2019, pp.1-14. ⟨10.1109/TNSM.2019.2929823⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02190125/file/tnsm.pdf BibTex
titre
A New Framework for Evaluating Straggler Detection Mechanisms in MapReduce
auteur
Tien-Dat Phan, Guillaume Pallez, Shadi Ibrahim, Padma Raghavan
article
ACM Transactions on Modeling and Performance Evaluation of Computing Systems, ACM, 2019, X, pp.1-22. ⟨10.1145/3328740⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02172590/file/Paper-CR.pdf BibTex
titre
Estimating Energy Consumption of Cloud, Fog and Edge Computing Infrastructures
auteur
Ehsan Ahvar, Anne-Cécile Orgerie, Adrien Lebre
article
IEEE Transactions on Sustainable Computing, IEEE, 2019, pp.1-12. ⟨10.1109/TSUSC.2019.2905900⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02083080/file/main-hal.pdf BibTex

Conference papers

titre
Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
auteur
Hélène Coullon, Claude Jard, Didier Lime
article
IFM 2019 - 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02323641/file/main.pdf BibTex
titre
Is it time to revisit Erasure Coding in Data-intensive clusters?
auteur
Jad Darrous, Shadi Ibrahim, Christian Pérez
article
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.165-178, ⟨10.1109/MASCOTS.2019.00026⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02263116/file/MASCOTS%20CR.pdf BibTex
titre
Modeling Self-Adaptive Fog Systems Using Bigraphs
auteur
Hamza Sahli, Thomas Ledoux, Éric Rutten
article
FOCLASA 2019 - 17th International Workshop on coordination and Self-Adaptativeness of Sotware applications, Sep 2019, Oslo, Norway. pp.1-16
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02271394/file/paper-7.pdf BibTex
titre
Leveraging Kernel Security Mechanisms to Improve Container Security: a Survey
auteur
Maxime Belair, Sylvie Laniepce, Jean-Marc Menaud
article
IWSECC 2019 - 2nd International Workshop on Security Engineering for Cloud Computing, Aug 2019, Canterbury, United Kingdom. pp.1-6, ⟨10.1145/3339252.3340502⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02169298/file/paper.pdf BibTex
titre
YOLO: Speeding up VM and Docker Boot Time by reducing I/O operations
auteur
Thuy Linh Nguyen, Ramon Nou, Adrien Lebre
article
EURO-PAR 2019 - European Conference on Parallel Processing, Aug 2019, Göttingen, Germany. pp.273-287, ⟨10.1007/978-3-030-29400-7_20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02172288/file/Euro-Par_2019_pdf_158.pdf BibTex
titre
Incorporating Probabilistic Optimizations for Resource Provisioning of Data Processing Workflows
auteur
Amelie Chi Zhou, Yao Xiao, Bingsheng He, Shadi Ibrahim, Reynold Cheng
article
ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1-10, ⟨10.1145/3337821.3337847⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02389078/file/probabilistic_main.pdf BibTex
titre
On the Importance of Container Image Placement for Service Provisioning in the Edge
auteur
Jad Darrous, Thomas Lambert, Shadi Ibrahim
article
ICCCN 2019 - 28th International Conference on Computer Communications and Networks, Jul 2019, Valencia, Spain. pp.1-9, ⟨10.1109/ICCCN.2019.8846920⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02134507/file/ICCCN_2019-CR.pdf BibTex
titre
A workflow scheduling deadline-based heuristic for energy optimization in Cloud
auteur
Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
article
GreenCom 2019 - 15th IEEE International Conference on Green Computing and Communications, Jul 2019, Atlanta, United States. pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02165835/file/Cadorel.pdf BibTex
titre
Experimental Characterization of Variation in Power Consumption for Processors of Different generations
auteur
Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
article
GreenCom 2019 - 15th IEEE International Conference on Green Computing and Communications, Jul 2019, Atlanta, United States. pp.1-9
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02166019/file/Wang.pdf BibTex
titre
Service Placement in Fog Computing Using Constraint Programming
auteur
Farah Ait Salaht, Frédéric Desprez, Adrien Lebre, Charles Prud'Homme, Mohamed Abderrahim
article
SCC 2019 : IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.19-27, ⟨10.1109/SCC.2019.00017⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02108806/file/SCC_2019.pdf BibTex
titre
When FPGA-Accelerator Meets Stream Data Processing in the Edge
auteur
Song Wu, Die Hu, Shadi Ibrahim, Hai Jin, Jiang Xiao, Fei Chen, Haikun Liu
article
ICDCS'19 - 39th IEEE International Conference on Distributed Computing Systems, Jul 2019, Dallas, United States. pp.1818-1829, ⟨10.1109/ICDCS.2019.00180⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02389101/file/%28ICDCS2019%29FPGA-DSP.pdf BibTex
titre
Container interaction with host OS for enhanced security: a survey
auteur
Maxime Belair, Sylvie Laniepce, Jean-Marc Menaud
article
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au bibtex
BibTex
titre
BCTMark - Vers un outil pour l’évaluation des performances et du coût énergétique des technologies blockchain
auteur
Dimitri Saingre, Thomas Ledoux, Jean-Marc Menaud
article
COMPAS 2019 - Conférence d’informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France
Accès au bibtex
BibTex
titre
Distributing connectivity management in Cloud-Edge infrastructures : Challenges and approaches
auteur
David Espinel Sarmiento, Adrien Lebre, Lucas Nussbaum, Abdelhadi Chari
article
COMPAS 2019 - Conférence d'informatique en Parallélisme, Architecture et Système, Jun 2019, Anglet, France. pp.1-7
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02133606/file/Distributing_connectivity_in_Cloud_Edge_infrastructures-COMPAS.pdf BibTex
titre
An Empirical Study of Power Characterization Approaches for Servers
auteur
Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
article
ENERGY 2019 - The Ninth International Conference on Smart Grids, Green Communications and IT Energy-aware Technologies, Jun 2019, Athens, Greece. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02120589/file/Iaria_Energy_2019.pdf BibTex
titre
NCQ-Aware I/O Scheduling for Conventional Solid State Drives
auteur
Hao Fan, Song Wu, Shadi Ibrahim, Ximing Chen, Hai Jin, Jiang Xiao, Haibing Guan
article
IPDPS 2019 - 33rd IEEE International Parallel & Distributed Processing Symposium, May 2019, Rio de Janeiro, Brazil. pp.523-532, ⟨10.1109/IPDPS.2019.00062⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02389113/file/NCQ-AwareIOSchedulingforConventionalSolidStateDrives-revise%20%281%29.pdf BibTex
titre
On distributed collaboration for biomedical analyses
auteur
Fatima-Zahra Boujdad, Alban Gaignard, Mario Südholt, Wilmer Garzón-Alfonso, Luis Daniel Benavides Navarro, Richard Redon
article
CCGrid-Life 2019 Workshop on Clusters, Clouds and Grids for Life Sciences, May 2019, Larnaca, Cyprus. pp.1-10, ⟨10.1109/CCGRID.2019.00079⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02080463/file/main.pdf BibTex
titre
Efficient Resource Allocation for Multi-tenant Monitoring of Edge Infrastructures
auteur
Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Adrien Lebre, Charles Prud'Homme, Xavier Lorca
article
PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Feb 2019, Pavie, Italy. pp.1-8, ⟨10.1109/EMPDP.2019.8671621⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01987946/file/PID5731649.pdf BibTex

Books

titre
Logiciel et Industrie du Futur
auteur
Jean-Christophe Bach, Antoine Beugnard, Hugo Bruneliere, Hélène Coullon, Fabien Lehuédé, Guillaume Massonnet, Jacques Noyé, Gilles Simonin
article
Presse des Mines, pp.62, 2019, Mathématiques et Informatique, 9782356715760
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02299214/file/LogicielEtIndustrieDuFutur_VersionAuteurs.pdf BibTex

Poster communications

titre
Enabling Data Processing under Erasure Coding in the Fog
auteur
Jad Darrous, Shadi Ibrahim
article
ICPP 2019 - 48th International Conference on Parallel Processing, Aug 2019, Kyoto, Japan. pp.1
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02388835/file/Flyer.pdf BibTex

Reports

titre
An overview of service placement problem in Fog and Edge Computing
auteur
Farah Ait Salaht, Frédéric Desprez, Adrien Lebre
article
[Research Report] RR-9295, Univ Lyon, EnsL, UCBL, CNRS, Inria, LIP, LYON, France. 2019, pp.1-43
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02313711/file/RR_9295.pdf BibTex
titre
YOLO: Speeding up VM Boot Time by reducing I/O operations
auteur
Thuy Linh Nguyen, Ramon Nou, Adrien Lebre
article
[Research Report] RR-9245, Inria. 2019, pp.1-18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01983626/file/RR-9245.pdf BibTex

Theses

titre
Scalable and Efficient Data Management in Distributed Clouds: Service Provisioning and Data Processing
auteur
Jad Darrous
article
Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2019. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02501316/file/THESIS_DARROUS_JAD_ENS_LYON_2019.pdf BibTex
titre
Fast delivery of virtual machines and containers : understanding and optimizing the boot operation
auteur
Thuy Linh Nguyen
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2019. English. ⟨NNT : 2019IMTA0147⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02418752/file/2019IMTA0147_Nguyen-ThuyLinh.pdf BibTex
titre
Unified isolation architectures and mechanisms against side channel attacks for decentralized cloud infrastructures
auteur
Mohammad-Mahdi Bazm
article
Software Engineering [cs.SE]. Université de Nantes (UNAM), 2019. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02417362/file/phd-final-MohammadMahdiBAZM-190708.pdf BibTex

2018

Journal articles

titre
End-to-end Energy Models for Edge Cloud-based IoT Platforms: Application to Data Stream Analysis in IoT
auteur
Yunbo Li, Anne-Cécile Orgerie, Ivan Rodero, Betsegaw Lemma Amersho, Manish Parashar, Jean-Marc Menaud
article
Future Generation Computer Systems, Elsevier, 2018, 87, pp.667-678. ⟨10.1016/j.future.2017.12.048⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01673501/file/paper.pdf BibTex
titre
CoMe4ACloud: An End-to-End Framework for Autonomic Cloud Systems
auteur
Zakarea Al-Shara, Frederico Alvares, Hugo Bruneliere, Jonathan Lejeune, Charles Prud'Homme, Thomas Ledoux
article
Future Generation Computer Systems, Elsevier, 2018, 86, pp.339-354. ⟨10.1016/j.future.2018.03.039⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01762716/file/FGCS2018_CoMe4ACloud_AuthorsVersion.pdf BibTex
titre
Putting the Next 500 VM Placement Algorithms to the Acid Test
auteur
Adrien Lebre, Jonathan Pastor, Anthony Simonet, Mario Südholt
article
IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, 2018, pp.1-14. ⟨10.1109/TPDS.2018.2855158⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01816248/file/vmplaces-TPDS18-preprint.pdf BibTex
titre
Improving the Effectiveness of Burst Buffers for Big Data Processing in HPC Systems with Eley
auteur
Orcun Yildiz, Amelie Chi Zhou, Shadi Ibrahim
article
Future Generation Computer Systems, Elsevier, 2018, 86, pp.308-318. ⟨10.1016/j.future.2018.03.029⟩
Accès au bibtex
BibTex
titre
Isolation in Cloud Computing Infrastructures: New Security Challenges
auteur
Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
article
Annals of Telecommunications - annales des télécommunications, Springer, In press
Accès au bibtex
BibTex

Conference papers

titre
Combining Heuristics to Optimize and Scale the Placement of IoT Applications in the Fog
auteur
Ye Xia, Xavier Etchevers, Loic Letondeur, Adrien Lebre, Thierry Coupaye, Frédéric Desprez
article
UCC 2018 - 11th IEEE/ACM Conference on Utility and Cloud Computing, Dec 2018, Zurich, Switzerland. pp.1-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01942097/file/paper-fonts.pdf BibTex
titre
Automatic Energy Efficient HPC Programming: A Case Study
auteur
Issam Raïs, Hélène Coullon, Laurent Lefèvre, Christian Pérez
article
ISPA 2018 - 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, Dec 2018, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01922301/file/ispa2018.pdf BibTex
titre
Combining Separation of Concerns and Performance in Distributed Software Reconfiguration
auteur
Maverick Chardet
article
Doctoral symposium @ Middleware 2018 - ACM/IFIP International Middleware Conference, Dec 2018, Rennes, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01939853/file/main_plain.pdf BibTex
titre
Scalability and Locality Awareness of Remote Procedure Calls: An Experimental Study in Edge Infrastructures
auteur
Javier Rojas Balderrama, Matthieu Simonin
article
CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.40-47, ⟨10.1109/CloudCom2018.2018.00023⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01891567/file/main_submited.pdf BibTex
titre
Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux Containers
auteur
Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
article
CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.239-242, ⟨10.1109/CloudCom2018.2018.00053⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01875777/file/cloudcom2018_draft.pdf BibTex
titre
A Tree-Based Approach to locate Object Replicas in a Fog Storage Infrastructure
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
GLOBECOM 2018 - IEEE Global Communications Conference, Dec 2018, Abu Dhabi, United Arab Emirates. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01946365/file/paper.pdf BibTex
titre
SeDuCe: a Testbed for Research on Thermal and Power Management in Datacenters
auteur
Jonathan Pastor, Jean-Marc Menaud
article
GREEN 2018 - Third International Conference on Green Communications, Computing and Technologies, Sep 2018, Venise, Italy. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01855452/file/main.pdf BibTex
titre
SeDuCe: a Testbed for Research on Thermal and Power Management in Datacenters
auteur
Jonathan Pastor, Jean-Marc Menaud
article
SoftCom 2018 - 26th International Conference on Software, Telecommunications and Computer Networks, Sep 2018, Split, Croatia. pp.1-6, ⟨10.23919/SOFTCOM.2018.8555773⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01855459/file/main.pdf BibTex
titre
Potential effects on server power metering and modeling
auteur
Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
article
CloudComp 2018 - 8th EAI International Conference on Cloud Computing, Sep 2018, Exeter, United Kingdom. pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01869705/file/cloudcomp2018.pdf BibTex
titre
Dual-Paradigm Stream Processing
auteur
Song Wu, Zhiyi Liu, Shadi Ibrahim, Lin Gu, Hai Jin, Fei Chen
article
ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.Article No. 83, ⟨10.1145/3225058.3225120⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01834668/file/ICPP2018-Stream.pdf BibTex
titre
Energy-Efficient Speculative Execution using Advanced Reservation for Heterogeneous Clusters
auteur
Amelie Chi Zhou, Tien-Dat Phan, Shadi Ibrahim, Bingsheng He
article
ICPP 2018 - 47th International Conference on Parallel Processing, Aug 2018, Eugene, United States. pp.article n°8, ⟨10.1145/3225058.3225084⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01807496/file/ICPP2018.pdf BibTex
titre
Madeus: A formal deployment model
auteur
Maverick Chardet, Hélène Coullon, Dimitri Pertin, Christian Pérez
article
4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), Jul 2018, Orléans, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01858150/file/main.pdf BibTex
titre
Edge Computing Resource Management System: a Critical Building Block! Initiating the debate via OpenStack
auteur
Ronan-Alexandre Cherrueau, Adrien Lebre, Dimitri Pertin, Fetahi Wuhib, João Soares
article
HotEdge 2018 - USENIX Workshop on Hot Topics in Edge Computing, Jul 2018, Boston, MA, United States. pp.1-6
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01812747/file/hotedge2018.pdf BibTex
titre
Ordonnancement multi-objectifs de workflows dans un Cloud privé
auteur
Emile Cadorel, Hélène Coullon, Jean-Marc Menaud
article
ComPAS 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01801453/file/finale.pdf BibTex
titre
Etude de l'influence de la température du processeur sur la consommation des serveurs
auteur
Yewan Wang, David Nörtershäuser, Stéphane Masson, Jean-Marc Menaud
article
ComPAS 2018 - Conférence d'informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01807805/file/compas2018_wang.pdf BibTex
titre
Interfaces comportementales pour la reconfiguration de modèles à composants
auteur
Maverick Chardet, Hélène Coullon, Christian Pérez
article
Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01897803/file/main.pdf BibTex
titre
TurboSream: Towards Low-Latency Data Stream Processing
auteur
Song Wu, Mi Liu, Shadi Ibrahim, Hai Jin, Lin Gu, Fei Chen, Zhiyi Liu
article
ICDCS 2018 - 38th IEEE International Conference on Distributed Computing Systems, Jul 2018, Vienna, Austria. pp.1-11, ⟨10.1109/ICDCS.2018.00099⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01807302/file/ICDCS2018.pdf BibTex
titre
SeDuCe: Toward a testbed for research on thermal and power management in datacenters
auteur
Jonathan Pastor, Jean-Marc Menaud
article
E2DC 2018 - 7th International Workshop on Energy-Efficient Data Centres, Jun 2018, Karlsruhe, Germany. pp.513-518, ⟨10.1145/3208903.3213523⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01793521/file/main.pdf BibTex
titre
Etude de l'influence des aspects thermiques sur la consommation et l'efficacité énergétique des serveurs
auteur
Yewan Wang, David Nörtershäuser, Stéphane Le Masson, Jean-Marc Menaud
article
SFT 2018 - 26ème Congrès Français de Thermique, May 2018, Pau, France. pp.1-8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01763524/file/PapierSFT2018_WANG.PDF BibTex
titre
Nitro: Network-Aware Virtual Machine Image Management in Geo-Distributed Clouds
auteur
Jad Darrous, Shadi Ibrahim, Amelie Chi Zhou, Christian Pérez
article
CCGrid 2018 - 18th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, May 2018, Washington D.C., United States. pp.553-562, ⟨10.1109/CCGRID.2018.00082⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01745405/file/Nitro_CCGrid_18_CR_FINAL.pdf BibTex
titre
Cache-Based Side-Channel Attacks Detection through Intel Cache Monitoring Technology and Hardware Performance Counters
auteur
Mohammad-Mahdi Bazm, Thibaut Sautereau, Marc Lacoste, Mario Südholt, Jean-Marc Menaud
article
FMEC 2018 - Third IEEE International Conference on Fog and Mobile Edge Computing, Apr 2018, Barcelona, Spain. pp.1-6, ⟨10.1109/FMEC.2018.8364038⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01762803/file/fmec2018_draft.pdf BibTex
titre
EnosStack: A LAMP-like stack for the experimenter
auteur
Ronan-Alexandre Cherrueau, Matthieu Simonin, Alexandre van Kempen
article
INFOCOM WKSHPS 2018 - IEEE International Conference on Computer Communications, Apr 2018, Honolulu, United States. pp.336-341, ⟨10.1109/INFCOMW.2018.8407024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01916484/file/main.pdf BibTex
titre
Improving locality of an object store working in a Fog environment
auteur
Bastien Confais, Adrien Lebre, Benoît Parrein
article
1st Grid’5000-FIT school, Apr 2018, Nice, France. pp.1-2
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01759998/file/paper.pdf BibTex
titre
On the Performance of Spark on HPC Systems: Towards a Complete Picture
auteur
Orcun Yildiz, Shadi Ibrahim
article
SCA 2018 - SupercomputingAsia, Mar 2018, Singapore, Singapore. pp.70-89, ⟨10.1007/978-3-319-69953-0_5⟩
Accès au bibtex
BibTex
titre
Constructive Privacy for Shared Genetic Data
auteur
Fatima-Zahra Boujdad, Mario Südholt
article
CLOSER 2018 - 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal. pp.1-8
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01692620/file/closer18.pdf BibTex
titre
A Model-based Architecture for Autonomic and Heterogeneous Cloud Systems
auteur
Hugo Bruneliere, Zakarea Al-Shara, Frederico Alvares, Jonathan Lejeune, Thomas Ledoux
article
CLOSER 2018 - 8h International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Portugal. pp.201-212, ⟨10.5220/0006773002010212⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01705248/file/CoMe4ACloud_CLOSER2018_CameraReady.pdf BibTex

Habilitation à diriger des recherches

titre
Reconfiguration dynamique d’architectures logicielles : des métaclasses aux « nuages verts »
auteur
Thomas Ledoux
article
Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques, 2018
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01864344/file/HDR-version-HAL.pdf BibTex

Reports

titre
Conducting Thousands of Experiments to Analyze VMs, Dockers and Nested Dockers Boot Time
auteur
Thuy Linh Nguyen, Adrien Lebre
article
[Research Report] RR-9221, INRIA. 2018, pp.1-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01919354/file/RR-9221.pdf BibTex
titre
A Framework for Edge Infrastructures Monitoring
auteur
Mohamed Abderrahim, Meryem Ouzzif, Karine Guillouard, Jérôme François, Xavier Lorca, Charles Prud'Homme, Adrien Lebre
article
[Research Report] RR-9215, Orange Labs; Inria Nancy - Grand Est; IMT-Atlantique. 2018, pp.1-14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01897570/file/RR_A_Framework_for_Edge_Infrastructures_Monitoring.pdf BibTex
titre
EnosStack: A LAMP-like stack for the experimenter
auteur
Ronan-Alexandre Cherrueau, Matthieu Simonin, Alexandre van Kempen
article
[Research Report] RR-9146, INRIA Rennes - Bretagne Atlantique. 2018, pp.1-14
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01689726/file/RR-9146.pdf BibTex

Theses

titre
Conception d’un système de supervision programmable et reconfigurable pour une infrastructure informatique et réseau répartie
auteur
Mohamed Abderrahim
article
Autre [cs.OH]. Ecole nationale supérieure Mines-Télécom Atlantique, 2018. Français. ⟨NNT : 2018IMTA0119⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02049129/file/2018IMTA0119_Abderrahim-Mohamed.pdf BibTex
titre
Conception d'un système de partage de données adapté à un environnement de Fog Computing
auteur
Bastien Confais
article
Calcul parallèle, distribué et partagé [cs.DC]. Université de Nantes, 2018. Français
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01868308/file/manuscrit-these-bconfais-final.pdf BibTex

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

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, Elsevier, 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, Springer Verlag, 2016, 21 (1), ⟨10.1007/s10601-015-9200-3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Elsevier, 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, ASDD-AlmaDL, 2016, 9 (2), ⟨10.6092/issn.1972-5787/6232⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/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
IEEE International Conference on Cloud Computing Technology and Science 2016, Dec 2016, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.inria.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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://tel.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/hal-01320235/file/RT-480.pdf BibTex

Theses

titre
Langage dédié au traitement des événements complexes et modélisation des usages pour les réseaux de capteurs
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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-01486550/file/Quirin_K_12_2016.pdf BibTex
titre
Un langage de composition des techniques de sécurité pour préserver la vie privée dans le nuage
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://tel.archives-ouvertes.fr/tel-01416166/file/Cherrueau_RA_11_2016.pdf BibTex
titre
Etendre des interpréteurs par détournement, ou comment étendre des interpréteurs sans en modifier le code : avec une application à des analyses dynamiques pour un interpréteur de JavaScript
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://tel.archives-ouvertes.fr/tel-01415588/file/Marchand_De_Kerchove_F_11_2016.pdf BibTex
titre
Contributions à la mise en place d'une infrastructure de Cloud Computing à large échelle
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://tel.archives-ouvertes.fr/tel-01416099/file/Pastor_J_10_2016.pdf BibTex
titre
Analyses et préconisations pour les centres de données virtualisés
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://tel.archives-ouvertes.fr/tel-01880572/file/Dumont_F_09_2016.pdf BibTex
titre
Gestion autonomique de l'élasticité multi-couche des applications dans le Cloud : vers une utilisation efficiente des ressources et des services du Cloud
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://tel.archives-ouvertes.fr/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, IEEE, 2015, ⟨10.1109/TCC.2015.2481422⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01197274/file/main.pdf 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, Springer Verlag, 2015, pp.19. ⟨10.1007/s10601-015-9200-3⟩
Accès au bibtex
BibTex
titre
A Taxonomy of Domain-Specific Aspect Languages
auteur
Johan Fabry, Tom Dinkelaker, Jacques Noyé, Éric Tanter
article
ACM Computing Surveys, Association for Computing Machinery, 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.archives-ouvertes.fr/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://hal.inria.fr/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
Accès au texte intégral et bibtex
https://hal.inria.fr/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.archives-ouvertes.fr/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
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
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://hal.inria.fr/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
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://hal.inria.fr/hal-01168303/file/cherrueau-ratsp-2015.pdf 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
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
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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01131602/file/SMARTGREENS_2015_60.pdf https://hal.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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 Onen, 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://hal.inria.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/hal-01120808/file/RR-8689.pdf BibTex

Theses

titre
Seamless concurrent programming of objects, aspects and events
auteur
Jurgen Michael van Ham
article
Programming Languages [cs.PL]. Ecole des Mines de Nantes, 2015. English. ⟨NNT : 2015EMNA0118⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01238752/file/VanHam_JM_03_2015.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.archives-ouvertes.fr/hal-01181143/file/main.pdf BibTex

2014

Journal articles

titre
Adapting Transformations to Metamodel Changes via External Transformation Composition
auteur
Kelly Garces, Juan Vara, Frédéric Jouault, Esperanza Marcos
article
Software and Systems Modeling, Springer Verlag, 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, Elsevier, 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
Transactions on Aspect-Oriented Software Development, LNCS, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Springer Verlag, 2014, 19 (1), pp.57-76. ⟨10.1007/s10601-013-9151-5⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/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
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
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://hal.inria.fr/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://hal.inria.fr/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
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://hal.inria.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-01083286/file/Allam_D_07_2014.pdf BibTex
titre
Maîtrise énergétique des centres de données virtualisés : D'un scénario de charge à l'optimisation du placement des calculs
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://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/tel-01067730/file/Figueroa_I_04_2014.pdf BibTex
titre
Contrôle de la propagation et de la recherche dans un solveur de contraintes
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://tel.archives-ouvertes.fr/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 (IJNGC), 2013, 4 (3), pp.250-262
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, EPTCS, 2013, 129, pp.229-249. ⟨10.4204/EPTCS.129.14⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Springer Verlag, 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, Elsevier, 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
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
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
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
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://hal.inria.fr/hal-00861886/file/paper-unico13.pdf 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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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
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.archives-ouvertes.fr/hal-00780000/file/IEEE-CCGrid-2013%281%29.pdf 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://hal.inria.fr/hal-00920094/file/main.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://hal.inria.fr/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://hal.inria.fr/hal-00808983/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://hal.inria.fr/hal-00763695/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://hal.inria.fr/hal-00786258/file/main.pdf 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.archives-ouvertes.fr/hal-00751304/file/CohenAjouli2013.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
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://hal.inria.fr/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
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.archives-ouvertes.fr/hal-00867713/file/jfpc2013-propengine_fr.pdf 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

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
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.archives-ouvertes.fr/hal-00652872/file/rapport.pdf BibTex
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://hal.inria.fr/hal-00854204/file/RR-8348.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://hal.inria.fr/hal-00864079/file/RR-8368.pdf BibTex

Theses

titre
Approche dirigée par les contrats de niveaux de service pour la gestion de l'élasticité du "nuage
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://tel.archives-ouvertes.fr/tel-00919900/file/Kouki_Y_12_2013.pdf BibTex
titre
Vues et transformations de programmes pour la modularité des évolutions
auteur
Akram Ajouli
article
Autre. Ecole des Mines de Nantes, 2013. Français. ⟨NNT : 2013EMNA0112⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00866997/file/Ajouli_Ak_09_2013.pdf BibTex
titre
Multi Autonomic Management for Optimizing Energy Consumption in Cloud Infrastructures
auteur
Frederico 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://tel.archives-ouvertes.fr/tel-00853575/file/main.pdf BibTex
titre
Vers une gestion coopérative des infrastructures virtualisées à large échelle : le cas de l'ordonnancement
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://tel.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Wiley, 2012, pp.XX
Accès au bibtex
BibTex
titre
An Automatic Reversible Transformation from Composite to Visitor in Java
auteur
Akram Ajouli
article
CIEL 2012, P. Collet, P. Merle (eds.); Conférence en Ingénierie du Logiciel (CIEL), 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00733182/file/CIEL2012-Ajouli-paper13.pdf BibTex
titre
btrScript : a safe management system for virtualized data center
auteur
Jean-Marc Menaud, Rémy Pottier
article
The 8th International Conference on Autonomic and Autonomous Systems ( ICAS 2012 ), XPS, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00656091/file/document.pdf BibTex
titre
Self-management of cloud applications and infrastructure for energy optimization
auteur
Frederico Alvares de Oliveira Jr., Thomas Ledoux
article
Operating Systems Review, Association for Computing Machinery, 2012, 46 (2)
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, Elsevier, 2012, 28 (1), pp.136-146. ⟨10.1016/j.future.2011.06.003⟩
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), ACM, 2012, ⟨10.1145/2362389.2362391⟩
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.archives-ouvertes.fr/hal-00685150/file/forcing_lics.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://hal.inria.fr/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://hal.inria.fr/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
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
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://hal.inria.fr/hal-00668975/file/main.pdf 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.archives-ouvertes.fr/hal-00662777/file/CohenDouence.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://hal.inria.fr/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://hal.inria.fr/hal-00690706/file/main.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://hal.inria.fr/hal-00690717/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://hal.inria.fr/hal-00668999/file/aosd551p-allam.pdf 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
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

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
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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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.archives-ouvertes.fr/hal-01472052/file/RR-LIG-034_orig.pdf BibTex

Theses

titre
Un langage dédié à l'administration d'infrastructures virtualisées
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://tel.archives-ouvertes.fr/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.archives-ouvertes.fr/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, Elsevier, 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, Iadis Press, 2011, 1, 6, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Institute of Electrical and Electronics Engineers, 2011, 38 (1), pp.101-117. ⟨10.1109/TSE.2011.6⟩
Accès au bibtex
BibTex
titre
Energy-QoS Tradeoffs in J2EE Hosting Centers.
auteur
Aaiman Gadafi, Daniel Hagimont, Laurent Broto, Remi Sharrock, Noël de Palma
article
International Journal of Autonomic Computing, Inderscience, 2011
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, Remi 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.archives-ouvertes.fr/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
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.archives-ouvertes.fr/hal-00606269/file/seaa2011-submission.pdf 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
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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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 troisimes journes nationales du Groupement De Recherche CNRS du Gnie 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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-00593459/file/NotereLouberryCameraReady.pdf 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://hal.inria.fr/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://hal.inria.fr/inria-00567598/file/mejia-sudholt-benavides_varicomp-AOSD2011.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
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
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
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
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
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
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

Directions of work or proceedings

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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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, ERCIM, 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, Elsevier, 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, IEEE Computer Society, 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, Springer Verlag, 2010, 9 (4), pp.427--451. ⟨10.1007/s10270-009-0120-9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Public Library of Science, 2010, 6 (1), pp.e1000637. ⟨10.1371/journal.pcbi.1000637⟩
Accès au bibtex
BibTex

Conference papers

titre
Architecture for the Next Generation System Management Tools.
auteur
Jérôme Gallard, Christine Morin, Geoffroy Vallée, Thomas Naughton, Stephen 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://hal.inria.fr/inria-00511843/file/mejia-sudholt_iadis2010.pdf BibTex
titre
A Comparison of Model Migration Tools
auteur
Louis Rose, Markus Herrmannsdoerfer, James Williams, Dimitrios Kolovos, Kelly Garcés, Richard Paige, Fiona Polack
article
Proc. of Models 2010 Foundation Track, Oct 2010, Oslo, Norway. To appear
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/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.archives-ouvertes.fr/hal-00466946/file/garces_kling_jouault_aisb2010.pdf 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://hal.inria.fr/inria-00423996/file/theory_of_distributed_aspects_fullversion.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
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

Directions of work or proceedings

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

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

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://hal.inria.fr/inria-00536614/file/RR-7451.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://hal.inria.fr/inria-00494645/file/RR-7313.pdf BibTex
titre
Architecture for the Next Generation System Management Tools for Distributed Computing Platforms
auteur
Jérôme Gallard, Geoffroy Vallée, Thomas Naughton, Adrien Lebre, Stephen Scott, Christine Morin
article
[Research Report] RR-7325, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494328/file/RR-7325.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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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, Génie industriel multimédia, 2009, 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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 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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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
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://hal.inria.fr/inria-00468517/file/Morin09b.pdf 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://hal.inria.fr/inria-00420355/file/cfse3.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

Directions of work or 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

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

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://hal.inria.fr/inria-00449851/file/RR-7155.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://hal.inria.fr/inria-00422593/file/RR-7055.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://hal.inria.fr/inria-00383325/file/RR-6929.pdf BibTex

Theses

titre
Gestion dynamique des tâches dans les grappes, une approche à base de machines virtuelles
auteur
Fabien Hermenier
article
Réseaux et télécommunications [cs.NI]. Université de Nantes, 2009. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00484779/file/HugoArboleda-PhDThesis.pdf BibTex
titre
Fiabilité des reconfigurations dynamiques dans les architectures à composants
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.archives-ouvertes.fr/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, Hermès-Lavoisier, 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
Journal on Computer Communications, 2008, ⟨10.1016/j.comcom.2007.12.006⟩
Accès au texte intégral et bibtex
https://hal-ensta-paris.archives-ouvertes.fr//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 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
Cross-Document Dependency Analysis for System-of-System Integration
auteur
Asad 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
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
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

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
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
Transaction on Aspect-Oriented Software Development, LNCS, 2006, 1 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00442180/file/douence.taosd06.pdf BibTex
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, Institute of Electrical and Electronics Engineers, 2006, Special issue on Aspect-Oriented Programming, 23 (1)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00442177/file/segura.ieeesoft06.pdf BibTex

Conference papers

titre
Implementation of a neurophysiological model of saccadic eye movements on an anthropomorphic robotic head
auteur
Luigi Manfredi, Eliseo Stefano Maini, Paolo Dario, Cecilia Laschi, Benoît Girard, Nicolas Tabareau, Alain Berthoz
article
6th IEEE-RAS International Conference on Humanoid Robots, Dec 2006, Gênes, Italy. pp.438-443, ⟨10.1109/ICHR.2006.321309⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01525198/file/04115639.pdf BibTex
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://hal.inria.fr/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

2005

Conference papers

titre
Mixing Aspects and Components for Grid Computing
auteur
Jean-Marc Menaud, Jacques Noyé, Pierre Cointe, Christian Pérez
article
Workshop on Grid System, Jun 2005, Sophia Antipolis, France
Accès au bibtex
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
4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00441355/file/douence.aosd05.pdf BibTex
titre
Automating adaptive image generation for medical devices using Aspect-Oriented Programming
auteur
Thomas Fritz, Marc Ségura Devillechaise, Mario Südholt, Egon Wuchner, Jean-Marc Menaud
article
10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), 2005, Italy. pp.1025-1032
Accès au bibtex
BibTex

Book sections

titre
Composants et aspects
auteur
Jacques Noyé, Rémi Douence, Mario Südholt
article
Mourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005
Accès au bibtex
BibTex

2004

Journal articles

titre
Programmation post-objets : des langages d'aspects aux langages de composants
auteur
Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, Gilles Muller, Mario Südholt
article
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 10 (4), pp.119-143
Accès au bibtex
BibTex

Conference papers

titre
Constructing Component-based Extension Interfaces in Legacy Systems Code
auteur
Gilles Muller, Julia Lawall, Jean-Marc Menaud, Mario Südholt
article
EW 11 - Workshop on ACM SIGOPS European workshop, Sep 2004, Leuven, Belgium. ⟨10.1145/1133572.1133605⟩
Accès au bibtex
BibTex
titre
A crosscut language for control-flow
auteur
Rémi Douence, Luc Teboul
article
Third International Conference on Generative Programming and Component Engineering (GPCE'04), 2004, Vancouver, Canada, Canada. pp.95-114
Accès au bibtex
BibTex

2003

Conference papers

titre
Un modèle et un outil pour la programmation par aspects événementiels
auteur
Rémi Douence, Mario Südholt
article
9th International Conference on Languages and Models with Objects (LMO'2003), 2003, Vannes, France. pp.105-118
Accès au bibtex
BibTex
titre
Web Cache Prefetching as an aspect{:} Towards a Dynamic-Weaving Based Solution
auteur
Marc Ségura Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia Lawall
article
2nd AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), 2003, Boston, Massachusetts, USA, United States. pp.110-119
Accès au bibtex
BibTex
titre
Extensibilité Dynamique dans les Caches Web {:} une Approche par Aspects
auteur
Marc Ségura Devillechaise, Jean-Marc Menaud, Julia Lawall, Gilles Muller
article
3ème Conférence Française sur les Systèmes d'Exploitation , 2003, La Colle sur Loup, France. pp.477-487
Accès au bibtex
BibTex

2002

Conference papers

titre
Caching Web Services: Aspect Orientation to the Rescue
auteur
Marc Ségura-Devillechaise, Jean-Marc Menaud
article
Web Engineering and Peer-to-Peer Computing, May 2002, Pise, Italy
Accès au bibtex
BibTex
titre
No Java without Caffeine ― A tool for dynamic analysis of Java programs
auteur
Yann-Gaël Guéhéneuc, Rémi Douence, Narendra Jussien
article
17th IEEE conference on Automated Software Engineering (ASE'02), 2002, Edinburgh, UK, pp.117--126
Accès au bibtex
BibTex

Reports

titre
Detection and resolution of aspect interactions
auteur
Rémi Douence, Pascal Fradet, Mario Südholt
article
[Research Report] RR-4435, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072153/file/RR-4435.pdf BibTex

2001

Journal articles

titre
A generic reification technique for object-oriented reflective languages
auteur
Rémi Douence, Mario Südholt
article
Higher-Order and Symbolic Computation, Springer Verlag, 2001, 14 (1), pp.7--34
Accès au bibtex
BibTex