Publications

Publications HAL de la structure 241684

2017

Journal articles

titre
Monitoring as-a-service to drive more efficient future system design
auteur
Frédéric Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noëmie Simoni
article
EAI Endorsed Transactions on Cloud Systems, 2017, 3 (9), pp.1 – 15. ⟨http://eudl.eu/⟩. ⟨10.4108/eai.28-6-2017.152754⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01582593/file/eai.28-6-2017.152754.pdf BibTex

Conference papers

titre
Simulated Annealing for Edge Partitioning
auteur
Giovanni Neglia, Hlib Mykhailenko, Fabrice Huet
article
Computer Communications Workshops (INFOCOM WKSHPS), 2017 IEEE Conference on, May 2017, Atlanta, United States
Accès au bibtex
BibTex

Reports

titre
Analysis of synchronisation patterns in stateful active objects
auteur
Ludovic Henrio, Cosimo Laneve, Vincenzo Mastandrea
article
[Research Report] I3S; Inria – Sophia antipolis. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01542595/file/Effects-FULL.pdf BibTex

2016

Conference papers

titre
Comparison of Edge Partitioners for Graph Processing
auteur
Hlib Mykhailenko, Fabrice Huet, Giovanni Neglia
article
CSCI 2016 – International Conference on Computational Science and Computational Intelligence, Dec 2016, Las Vegas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01401338/file/surveyHAL.pdf BibTex
titre
Which Metrics for Vertex-Cut Partitioning?
auteur
Hlib Mykhailenko, Giovanni Neglia, Fabrice Huet
article
ICITST 2016 – The 11th International Conference for Internet Technology and Secured Transactions, Dec 2016, Barcelona, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01401309/file/pelga2016forHAL.pdf BibTex
titre
Integrated Environment for Verifying and Running Distributed Components
auteur
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
article
Fundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303557/file/paper.pdf BibTex

Reports

titre
A Theory for the Composition of Concurrent Processes -Extended version
auteur
Ludovic Henrio, Eric Madelaine, Min Zhang
article
[Research Report] RR-8898, INRIA Sophia Antipolis – I3S. 2016, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01299562/file/RR-8898.pdf BibTex

Theses

titre
A framework for rigorous development of distributed components : formalisation and tools
auteur
Oleksandra Kulankhina
article
Other [cs.OH]. Université Côte d’Azur, 2016. English. ⟨NNT : 2016AZUR4077⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01419298/file/2016AZUR4077.pdf BibTex

2014

Conference papers

titre
Planning Live-Migrations to Prepare Servers for Maintenance
auteur
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
article
Euro-Par 2014: Parallel Processing Workshops, Aug 2014, Porto, Portugal. pp.498 – 507, ⟨10.1007/978-3-319-14313-2_42⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096040/file/original.pdf BibTex
titre
Empirical Study on Overlapping Community Detection in Question and Answer Sites
auteur
Zide Meng, Fabien Gandon, Catherine Faron Zucker, Ge Song
article
Advances in Social Networks Analysis and Mining (ASONAM), 2014 IEEE/ACM International Conference on, Aug 2014, Beijing, China. ⟨10.1109/ASONAM.2014.6921608 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01075944/file/asonam2014.pdf BibTex