Publication de la collection HAL LS2N-ASCOLA pour 2017
Nombre de publications retournées : 48ART_INT | COMM_INT | COMM_NAT | THESE | AUTRES |
---|---|---|---|---|
7 | 31 | 3 | 6 | 1 |
Revues internationales avec comité de lecture (ART_INT)
- [1] N. Beldiceanu, B. Dumas Feris, P. Gravey, M. Hasan, C. Jard, T. Ledoux, Y. Li, D. Lime, G. Madi-Wamba, J. Menaud, P. Morel, M. Morvan, M. Moulinard, A. Orgerie, J. Pazat, O. Roux, A. Sharaiha. Towards energy-proportional Clouds partially powered by renewable energy. In Computing ; éd. Springer Verlag, 2017, vol. 99, num. 1.https://inria.hal.science/hal-01340318v1
- [2] F. Alvares, E. Rutten, L. Seinturier. A Domain-specific Language for The Control of Self-adaptive Component-based Architecture. In Journal of Systems and Software ; éd. Elsevier, 2017.https://hal.science/hal-01450517v1
- [3] S. Martínez, M. Tisi, R. Douence. Reactive Model Transformation with ATL. In Science of Computer Programming ; éd. Elsevier, 2017, vol. 136.https://inria.hal.science/hal-01627991v1
- [4] M. Hasan, Y. Kouki, T. Ledoux, J. Pazat. Exploiting Renewable sources: when Green SLA becomes a possible reality in Cloud computing. In IEEE Transactions on Cloud Computing ; éd. IEEE, 2017, vol. 5, num. 2.https://hal.science/hal-01187907v1
- [5] M. Hasan, F. Alvares, T. Ledoux, J. Pazat. Investigating Energy Consumption and Performance Trade-off for Interactive Cloud Application. In IEEE Transactions on Sustainable Computing ; éd. IEEE, 2017, vol. 2, num. 2.https://hal.science/hal-01540159v1
- [6] B. Confais, A. Lebre, B. Parrein. Performance Analysis of Object Store Systems in a Fog and Edge Computing Infrastructure. In Transactions on Large-Scale Data- and Knowledge-Centered Systems ; éd. Springer Berlin / Heidelberg, 2017.https://hal.science/hal-01587459v1
- [7] H. Coullon, J. Bigot, C. Pérez. Extensibility and Composability of a Multi-Stencil Domain Specific Framework. In International Journal of Parallel Programming ; éd. Springer Verlag, 2017.https://hal.science/hal-01650998v1
- [8] G. Gilbert. Formalising Real Numbers in Homotopy Type Theory. In 6th ACM SIGPLAN Conference on Certified Programs and Proofs, janvier 2017, Paris, France.https://inria.hal.science/hal-01449326v1
- [9] S. Boulier, P. Pédrot, N. Tabareau. The next 700 syntactical models of type theory. In Certified Programs and Proofs (CPP 2017), janvier 2017, Paris, France.https://inria.hal.science/hal-01445835v1
- [10] T. Nguyen, A. Lebre. Virtual Machine Boot Time Model. In PDP 2017 - 25th Euromicro International Conference on Parallel, Distributed and Network-based Processing, mars 2017, St Peterbourg, Russie.https://inria.hal.science/hal-01586932v1
- [11] Y. Li, A. Orgerie, J. Menaud. Balancing the use of batteries and opportunistic scheduling policies for maximizing renewable energy consumption in a Cloud data center. In PDP 2017 : 25th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, mars 2017, St Petersburg, Russie.https://inria.hal.science/hal-01432752v1
- [12] S. Dupont, S. Bouri, F. Alvares de Oliveira, T. Ledoux. ElaScript: a DSL for Coding Elasticity in Cloud Computing. In SAC 2017 : Symposium on Applied Computing, avril 2017, Marrakech, Maroc.https://hal.science/hal-01400236v1
- [13] A. Lebre, J. Pastor, A. Simonet, F. Desprez. Revising OpenStack to Operate Fog/Edge Computing infrastructures. In IC2E 2017 : IEEE International Conference on Cloud Engineering, avril 2017, Vancouver, Canada.https://inria.hal.science/hal-01273427v2
- [14] J. Lejeune, F. Alvares, T. Ledoux. Towards a generic autonomic model to manage Cloud Services. In The 7th International Conference on Cloud Computing and Services Science (CLOSER 2017), avril 2017, Porto, Portugal.https://hal.science/hal-01511360v1
- [15] M. Albonico, J. Mottu, G. Sunyé, F. Alvares. Making Cloud-based Systems Elasticity Testing Reproducible. In 7th International Conference on Cloud Computing and Services Science, avril 2017, Porto, Portugal.https://inria.hal.science/hal-01471916v2
- [16] R. Pottier, J. Menaud. Privacy-Aware Data Storage in Cloud Computing. In International Conference on Cloud Computing and Services Science (CLOSER), avril 2017, Porto, Portugal.https://inria.hal.science/hal-01472133v1
- [17] B. Confais, A. Lebre, B. Parrein. An Object Store Service for a Fog/Edge Computing Infrastructure based on IPFS and Scale-out NAS. In 1st IEEE International Conference on Fog and Edge Computing - ICFEC’2017, mai 2017, Madrid, Espagne.https://hal.science/hal-01483702v1
- [18] R. Cherrueau, D. Pertin, A. Simonet, A. Lebre, M. Simonin. Toward a Holistic Framework for Conducting Scientific Evaluations of OpenStack. In The 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGRID), mai 2017, Madrid, Espagne.https://hal.science/hal-01664515v1
- [19] Y. Li, A. Orgerie, I. Rodero, M. Parashar, J. Menaud. Leveraging Renewable Energy in Edge Clouds for Data Stream Analysis in IoT. In CCGRID 2017 : 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, mai 2017, Madrid, Espagne.https://inria.hal.science/hal-01472358v1
- [20] A. Zhou, S. Ibrahim, B. He. On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters. In ICDCS'17 : IEEE 37th International Conference on Distributed Computing Systems, juin 2017, Atlanta, états-Unis.https://inria.hal.science/hal-01560187v1
- [21] Y. Taleb, S. Ibrahim, G. Antoniu, T. Cortes. Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System. In ICDCS 2017 : 37th IEEE International Conference on Distributed Computing Systems, juin 2017, Atlanta, états-Unis.https://inria.hal.science/hal-01496959v1
- [22] P. Pédrot, N. Tabareau. An Effectful Way to Eliminate Addiction to Dependence. In Logic in Computer Science (LICS), 2017 32nd Annual ACM/IEEE Symposium on, juin 2017, Reykjavik, Islande.https://inria.hal.science/hal-01441829v1
- [23] F. Alvares, G. Delaval, E. Rutten, L. Seinturier. Language Support for Modular Autonomic Managers in Reconfigurable Software Components. In SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, juillet 2017, Colombus, états-Unis.https://inria.hal.science/hal-01575353v1
- [24] Y. Hebbal, S. Laniepce, J. Menaud. Hidden Process Detection using Kernel Functions Instrumentation. In DSC 2017 : IEEE Conference on Dependable and Secure Computing, août 2017, Taiwan, Taïwan.https://inria.hal.science/hal-01520864v1
- [25] Y. Hebbal, S. Laniepce, J. Menaud. K-binID: Kernel Binary Code Identification for Virtual Machine Introspection. In DSC 2017 : IEEE Conference on Dependable and Secure Computing, août 2017, Taipei, Taïwan.https://inria.hal.science/hal-01520867v1
- [26] H. Coullon, D. Pertin, C. Pérez. Production Deployment Tools for IaaSes: an Overall Model and Survey. In The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), août 2017, Prague, République tchèque.https://inria.hal.science/hal-01532489v1
- [27] M. Abderrahim, M. Ouzzif, K. Guillouard, J. Francois, A. Lebre. A Holistic Monitoring Service for Fog/Edge Infrastructures: a Foresight Study. In The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud 2017), août 2017, Prague, République tchèque.https://hal.science/hal-01591161v1
- [28] N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten. Logico-numerical Control for Software Components Reconfiguration. In CCTA 2017 - IEEE Conference on Control Technology and Applications, août 2017, Mauna Lani, HI, états-Unis.https://inria.hal.science/hal-01644754v1
- [29] T. Phan, S. Ibrahim, A. Zhou, G. Aupy, G. Antoniu. Energy-Driven Straggler Mitigation in MapReduce. In Euro-Par 2017 : 23rd International Conference on Parallel and Distributed Computing, août 2017, Santiago de Compostela, Espagne.https://inria.hal.science/hal-01560044v1
- [30] O. Yildiz, A. Zhou, S. Ibrahim. Eley: On the Effectiveness of Burst Buffers for Big Data Processing in HPC systems. In Cluster'17-2017 IEEE International Conference on Cluster Computing, septembre 2017, Honolulu, états-Unis.https://inria.hal.science/hal-01570737v1
- [31] I. Cuadrado-Cordero, A. Orgerie, J. Menaud. Comparative Experimental Analysis of the Quality-of-Service and Energy-Efficiency of VMs and Containers' Consolidation for Cloud Applications. In International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2017), septembre 2017, Split, Croatie.https://hal.science/hal-01578325v2
- [32] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Cloud workload prediction and generation models. In SBAC-PAD 2017 : 29th International Symposium on Computer Architecture and High Performance Computing, octobre 2017, Campinas, Brésil.https://hal.science/hal-01578354v1
- [33] M. Bazm, M. Lacoste, M. Südholt, J. Menaud. Side-Channels Beyond the Cloud Edge : New Isolation Threats and Solutions. In CSNet 2017 : 1st Cyber Security in Networking Conference, octobre 2017, Rio de Janeiro, Brésil.https://inria.hal.science/hal-01593144v2
- [34] H. Coullon, J. Noyé. Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing. In SOHOMA 2017 : Service Orientation in Holonic and Multi-Agent Manufacturing, octobre 2017, Nantes, France.https://inria.hal.science/hal-01591113v1
- [35] W. Benghabrit, J. Royer, A. de Oliveira. Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case. In PRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems CARe-MAS workshop, octobre 2017, Nice, France.https://hal.science/hal-01648976v1
- [36] M. Hasan, F. Alvares de Oliveira Jr., T. Ledoux. GPaaScaler: Green Energy aware Platform Scaler for Interactive Cloud Application. In UCC 2017 : 10th International Conference on Utility and Cloud Computing, décembre 2017, Austin, états-Unis.https://hal.science/hal-01650136v1
- [37] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Green energy aware scheduling problem in virtualized datacenters. In ICPADS 2017 : IEEE 23rd International Conference on Parallel and Distributed Systems, décembre 2017, Shenzen, Chine.https://hal.science/hal-01582936v1
- [38] H. Coullon, G. Le Louët, J. Menaud. Virtual Machine Placement for Hybrid Cloud using Constraint Programming. In 23rd International Conference on Parallel and Distributed Systems (ICPADS 2017), décembre 2017, Shenzhen, Chine.https://hal.science/hal-01581969v1
- [39] S. Boulier, P. Pédrot, N. Tabareau. Modèles de la théorie des types donnés par traduction de programme. In 28ièmes Journées Francophones des Langages Applicatifs, janvier 2017, Gourette, France.https://hal.science/hal-01503089v1
- [40] B. Confais, A. Lebre, B. Parrein. An object store for Fog infrastructures based on IPFS and a Scale-Out NAS. In RESCOM 2017, juin 2017, Le Croisic, France.https://hal.science/hal-01559065v1
- [41] Y. Hebbal, S. Laniepce, J. Menaud. K-binID : Identification de code binaire noyau à des fins d’introspection de machine virtuelle. In Conférence d’informatique en Parallélisme, Architecture et Système (ComPAS), juin 2017, Sophia Antipolis, France.https://inria.hal.science/hal-01520863v1
- [42] A. Lebre. Contributions to Large-scale Distributed Systems The infrastructure Viewpoint - Toward Fog and Edge Computing as The Next Utility Computing Paradigm?. https://theses.hal.science/tel-01664343v1
- [43] M. Hasan. Smart management of renewable energy in clouds : from infrastructure to application. Thèses : INSA de Rennes. https://theses.hal.science/tel-01617963v1
- [44] Y. Li. Resource allocation in a Cloud partially powered by renewable energy sources. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-01595953v1
- [45] Y. Hebbal. Semantic monitoring mechanisms dedicated to security monitoring in IaaS cloud. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-01797056v1
- [46] W. Benghabrit. A formal model for accountability. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-01692550v1
- [47] G. Daniel. Efficient persistence, query, and transformation of large models. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-01668561v1
- [48] T. Coq Development Team. The Coq Proof Assistant, version 8.7.1. https://inria.hal.science/hal-01673716v1