Home » Publications Equipe

Publication  de  la  collection  HAL LS2N-ASCOLA  pour  2017

Nombre de publications retournées : 26

Récapitulatif du nombre de publications de la collection par types

Revues internationales avec comité de lecture (ART_INT)

    • [1] 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.
    • [2] 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.
    • [3] 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.
    • [4] 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.

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

    • [5] 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.
    • [6] 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, United States.
    • [7] 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.
    • [9] G. Gilbert. Formalising Real Numbers in Homotopy Type Theory. In 6th ACM SIGPLAN Conference on Certified Programs and Proofs, janvier 2017, Paris, France.
    • [10] 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.
    • [13] 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.
    • [14] 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.
    • [15] 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.
    • [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.
    • [17] 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.
    • [18] 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.
    • [19] 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.
    • [20] 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.
    • [21] 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.
    • [22] 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, United States.

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

    • [23] 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.
    • [24] 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.

Theses et HDR (THESE)

Autres publications (AP)

Copyright : LS2N 2017 - Mentions Légales -