Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-ASCOLA  pour  2017

Nombre de publications retournées : 46


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
731314


Revues internationales avec comité de lecture (ART_INT)

    • [1] Y. Li, A. Orgerie, I. Rodero, B. Lemma Amersho, M. Parashar, J. Menaud. End-to-end Energy Models for Edge Cloud-based IoT Platforms: Application to Data Stream Analysis in IoT. In Future Generation Computer Systems ; éd. Elsevier, 2017.
      https://hal.archives-ouvertes.fr/hal-01673501
    • [2] N. Beldiceanu, B. Dumas Feris, P. Gravey, S. 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://hal.inria.fr/hal-01340318
    • [3] 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.archives-ouvertes.fr/hal-01450517
    • [4] S. Martinez, M. Tisi, R. Douence. Reactive Model Transformation with ATL. In Science of Computer Programming ; éd. Elsevier, 2017, vol. 136.
      https://hal.inria.fr/hal-01627991
    • [5] 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, vol. 5, num. 2. 06-2017
      https://hal.archives-ouvertes.fr/hal-01187907
    • [6] 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. 13-06-2017
      https://hal.archives-ouvertes.fr/hal-01540159
    • [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.archives-ouvertes.fr/hal-01650998

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [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://hal.inria.fr/hal-01449326
    • [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://hal.inria.fr/hal-01445835
    • [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://hal.inria.fr/hal-01586932
    • [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://hal.inria.fr/hal-01432752
    • [12] S. Dupont, S. Bouri, F. Alvares De Oliveira, T. Ledoux. ElaScript: a DSL for Coding Elasticity in Cloud Computing. In 32nd ACM Symposium on Applied Computing - Track on Cloud Computing, avril 2017, Marrakesh, Maroc.
      https://hal.archives-ouvertes.fr/hal-01400236
    • [13] A. Lebre, J. Pastor, A. Simonet, F. Desprez. Revising OpenStack to Operate Fog/Edge Computing infrastructures. In IEEE International Conference on Cloud Engineering, avril 2017, Vancouver, France.
      https://hal.inria.fr/hal-01273427
    • [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.archives-ouvertes.fr/hal-01511360
    • [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://hal.inria.fr/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://hal.inria.fr/hal-01472133
    • [17] B. Confais, A. Lèbre, 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.archives-ouvertes.fr/hal-01483702
    • [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.archives-ouvertes.fr/hal-01664515
    • [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 - IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, mai 2017, Madrid, Espagne.
      https://hal.inria.fr/hal-01472358
    • [20] A. Zhou, S. Ibrahim, B. He. On Achieving Efficient Data Transfer for Graph Processing in Geo-Distributed Datacenters. In ICDCS'17- The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), juin 2017, Atlanta, états-Unis.
      https://hal.inria.fr/hal-01560187
    • [21] Y. Taleb, S. Ibrahim, G. Antoniu, T. Cortes. Characterizing Performance and Energy-Efficiency of The RAMCloud Storage System. In The 37th IEEE International Conference on Distributed Computing Systems (ICDCS 2017), juin 2017, Atlanta, états-Unis.
      https://hal.inria.fr/hal-01496959
    • [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://hal.inria.fr/hal-01441829
    • [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://hal.inria.fr/hal-01575353
    • [24] Y. Hebbal, L. Sylvie, J. Menaud. Hidden Process Detection using Kernel Functions Instrumentation. In IEEE Conference on Dependable and Secure Computing (DSC), août 2017, Taiwan, Taïwan.
      https://hal.inria.fr/hal-01520864
    • [25] Y. Hebbal, L. Sylvie, J. Menaud. K-binID: Kernel Binary Code Identification for Virtual Machine Introspection. In IEEE Conference on Dependable and Secure Computing (DSC), août 2017, Taiwan, Taïwan.
      https://hal.inria.fr/hal-01520867
    • [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://hal.inria.fr/hal-01532489
    • [27] M. Abderrahim, M. Ouzzif, K. GUILLOUARD, J. Francois, A. Lèbre. 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.archives-ouvertes.fr/hal-01591161
    • [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://hal.inria.fr/hal-01644754
    • [29] T. Phan, S. Ibrahim, A. Zhou, G. Aupy, G. Antoniu. Energy-Driven Straggler Mitigation in MapReduce. In Euro-Par'17 - 23rd International European Conference on Parallel and Distributed Computing, août 2017, Santiago de Compostela, Espagne.
      https://hal.inria.fr/hal-01560044
    • [30] 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 SoftCOM: International Conference on Software, Telecommunications and Computer Networks, septembre 2017, Split, Croatie.
      https://hal.archives-ouvertes.fr/hal-01578325
    • [31] 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, Hawaii, états-Unis.
      https://hal.inria.fr/hal-01570737
    • [32] G. Madi Wamba, Y. Li, A. Orgerie, N. Beldiceanu, J. Menaud. Cloud workload prediction and generation models. In SBAC-PAD: International Symposium on Computer Architecture and High Performance Computing, octobre 2017, Campinas, Brésil.
      https://hal.archives-ouvertes.fr/hal-01578354
    • [33] M. Bazm, M. Lacoste, M. Südholt, J. Menaud. Side-Channels Beyond the Cloud Edge : New Isolation Threats and Solutions. In IEEE International Conference on Cyber Security in Networking (CSNet) 2017, octobre 2017, Rio de Janeiro, Brésil.
      https://hal.inria.fr/hal-01593144
    • [34] H. Coullon, J. Noyé. Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing. In SOHOMA 2017, octobre 2017, Nantes, France.
      https://hal.inria.fr/hal-01591113
    • [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.archives-ouvertes.fr/hal-01648976
    • [36] M. Hasan, F. Alvares De Oliveira Jr., T. Ledoux. GPaaScaler: Green Energy aware Platform Scaler for Interactive Cloud Application. In IEEE/ACM International Conference on Utility and Cloud Computing, décembre 2017, Austin, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01650136

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [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.archives-ouvertes.fr/hal-01503089
    • [41] Y. Hebbal, L. Sylvie, 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://hal.inria.fr/hal-01520863

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales - 
 -