Publications

Publications HAL de la structure 241684

2016

Journal articles

titre
Schlouder: A broker for IaaS clouds
auteur
Etienne Michon, Julien Gossa, Stéphane Genaud, Léo Unbekandt, Vincent Kherbache
article
Future Generation Computer Systems, Elsevier, 2016, <10.1016/j.future.2016.09.010>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378219/file/revue.pdf BibTex

Conference papers

titre
Integrated Environment for Verifying and Running Distributed Components
auteur
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
article
Perdita Stevens; Andrzej Wąsowski. Fundamental Approaches to Software Engineering, Apr 2016, Eindhoven, Netherlands. Springer, Lecture Notes in Computer Science, 9633, pp.66-83, 2016, Fundamental Approaches to Software Engineering. <http://www.springer.com/us/book/9783662496640>. <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
From Modelling to Systematic Deployment of Distributed Active Objects – Extended Version
auteur
Ludovic Henrio, Justine Rochas
article
[Research Report] I3S. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01299817/file/i3s-Research-Report-Henrio-Rochas.pdf BibTex
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
titre
Execution support for multi-threaded active objects : design and implementation
auteur
Justine Rochas
article
Other [cs.OH]. Université Côte d’Azur, 2016. English. <NNT : 2016AZUR4062>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01441662/file/2016AZUR4062.pdf BibTex

2015

Journal articles

titre
A generic API for load balancing in distributed systems for big data management
auteur
Maeva Antoine, Laurent Pellegrino, Fabrice Huet, Françoise Baude
article
Concurrency and Computation: Practice and Experience, Wiley, 2015, <10.1002/cpe.3646>
Accès au bibtex
BibTex
titre
Improving data-intensive EDA performance with annotation-driven laziness
auteur
Quirino Zagarese, Gerardo Canfora, Eugenio Zimeo, Iyad Alshabani, Laurent Pellegrino, Amjad Alshabani, Françoise Baude
article
Science of Computer Programming, Elsevier, 2015, 97 (Special Issue on Service-Oriented Architecture and Programming (SOAP)), pp.266-279. <10.1016/j.scico.2014.03.007>
Accès au bibtex
BibTex
titre
An Investigation on Software-Defined Networks’ Reactive Routing against BitTorrent
auteur
Damián Vicino, Chung-Horng Lung, Gabriel Wainer, Olivier Dalle
article
IET Networks, IET, 2015, 4 (5), pp.249-254. <10.1049/iet-net.2014.0105>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274250/file/journal-BT-SDN%281%29.pdf BibTex
titre
Management of service composition based on self-controlled components
auteur
Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Oleksandra Kulankhina, Frédéric Lemoine, Eric Madelaine, Cristian Ruz, Noëmie Simoni
article
Journal of Internet Services and Applications, Springer, 2015, 6 (15), pp.17. <http://www.jisajournal.com/content/6/1/15>. <10.1186/s13174-015-0031-7>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01180627/file/2015-JISA-SCC.pdf BibTex

Conference papers

titre
An energy aware application controller for optimizing renewable energy consumption in Cloud computing
auteur
Corentin Dupont, Mehdi Sheikhalishahi, Fabien Hermenier, Federico Facca
article
8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015, Limassol, Cyprus. Proceedings of the 8th IEEE/ACM International Conference on Utility and Cloud Computing
Accès au bibtex
BibTex
titre
Scheduling Live-Migrations for Fast, Adaptable and Energy-Efficient Relocation Operations
auteur
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
article
8th IEEE/ACM International Conference on Utility and Cloud Computing, Dec 2015, Limassol, Cyprus. 2015, <10.13140/RG.2.1.1626.8563>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01271684/file/kherbache_ucc15-paper.pdf BibTex
titre
Multi-objective job placement in clusters
auteur
Sergey Blagodurov, Alexandra Fedorova, Evgeny Vinnik, Dwyer Tyler, Fabien Hermenier
article
ACM. International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, United States. Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, <10.1145/2807591.2807636>
Accès au bibtex
BibTex
titre
Using Finite Forkable DEVS for Decision-Making Based on Time Measured with Uncertainty
auteur
Damián Vicino, Olivier Dalle, Gabriel Wainer
article
Eighth EAI International Conference on Simulation Tools and Techniques (SIMUTOOLS 2015), Aug 2015, Athènes, Greece. Proceedings of the Eighth EAI International Conference on Simulation Tools and Techniques (SIMUTOOLS 2015), 2015, <10.4108/eai.24-8-2015.2261152>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274200/file/ffdevs.pdf BibTex
titre
Ordonnancement contrôlé de migrations à chaud
auteur
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
article
Compas’15, Jul 2015, Lille, France. <10.13140/RG.2.1.5100.2649>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01271676/file/kherbache_compas15-paper.pdf BibTex
titre
Solutions for Processing K Nearest Neighbor Joins for Massive Data on MapReduce
auteur
Ge Song, Justine Rochas, Fabrice Huet, Frédéric Magoulès
article
23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing, Mar 2015, Turku, Finland. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097337/file/bare_conf.pdf BibTex
titre
Sequential PDEVS Architecture
auteur
Damián Vicino, Daniella Niyonkuru, Gabriel Wainer, Olivier Dalle
article
Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium , 2015, Alexandria, Virginia, United States. Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274279/file/VNWD15.pdf BibTex
titre
pNets: an Expressive Model for Parameterised Networks of Processes
auteur
Ludovic Henrio, Eric Madelaine, Min Zhang
article
Formal Approaches to Parallel and Distributed Systems (4PAD)-Special Session of Parallel, Distributed and network-based Processing (PDP), 2015, Turku, Finland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01139432/file/pdp4pad-4.pdf BibTex

Book sections

titre
Dynamic Packing with Side Constraints for Datacenter Resource Management
auteur
Sophie Demassey, Fabien Hermenier, Vincent Kherbache
article
Giorgio Fasano, János D. Pintér. Optimized Packings with Applications, 105, Springer International Publishing, pp.19-35, 2015, Springer Optimization and Its Applications, 978-3-319-18899-7. <10.1007/978-3-319-18899-7_2>
Accès au bibtex
BibTex

Master thesis

titre
A viewer tool for multi-active object
auteur
Pavlo Khvorostov
article
Computation and Language [cs.CL]. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01212170/file/pavlo-report.pdf BibTex

Poster communications

titre
The assessment of BitTorrent’s performance using SDN in a Mesh topology
auteur
Mandeep Kaur Guraya, Rupinder Singh Bajwa, Damian Vicino, Chung-Horng Lung
article
The 6th International Conference On Network of the Future, Sep 2015, Montreal, QC, Canada. 2015, <http://www.network-of-the-future.org/>. <10.1109/NOF.2015.7333294>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274346/file/07333294.pdf BibTex
titre
Memory and Network Aware Scheduling of Virtual Machine Migrations
auteur
Vincent Kherbache, Eric Madelaine, Fabien Hermenier
article
EuroSys’15, Apr 2015, Bordeaux, France. 2015, <10.13140/RG.2.1.2740.9681>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01271665/file/p42.pdf BibTex

Reports

titre
Integrated environment for verifying and running distributed components -Extended version
auteur
Ludovic Henrio, Oleksandra Kulankhina, Siqi Li, Eric Madelaine
article
[Research Report] RR-8841, INRIA Sophia-Antipolis. 2015, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01252323/file/RR8841.pdf BibTex

Theses

titre
Improved Time Representation in Discrete-Event Simulation
auteur
Damian Vicino
article
Modeling and Simulation. Université Nice Sophia Antipolis; Carleton University (CA), 2015. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01276128/file/pdf2star-1455894606-time-thesis.pdf BibTex
titre
Improving skewed data dissemination in structured overlays
auteur
Maeva Antoine
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. <NNT : 2015NICE4054>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01245077/file/2015NICE4054.pdf BibTex
titre
Valorisation d’options américaines et Value At Risk de portefeuille sur cluster de GPUs/CPUs hétérogène
auteur
Michaël Benguigui
article
Autre [cs.OH]. Université Nice Sophia Antipolis, 2015. Français. <NNT : 2015NICE4053>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01204580/file/2015NICE4053.pdf BibTex

2014

Journal articles

titre
Timed-pNets: a communication behavioural semantic model for distributed systems
auteur
Yanwen Chen, Yixiang Chen, Eric Madelaine
article
Frontiers of Computer Science -Springer-, Springer Verlag, 2014, 8, pp.24. <http://link.springer.com/journal/11704>. <10.1007/s11704-014-4096-4>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01086091/file/Timed-pNets-FCS-authors.pdf BibTex
titre
Plug4Green: A flexible energy-aware VM manager to fit data centre particularities
auteur
Corentin Dupont, Fabien Hermenier, Thomas Schulze, Robert Basmadjian, Andrey Somov, Giovanni Giuliani
article
Ad Hoc Networks, Elsevier, 2014, pp.1–16. <http://www.sciencedirect.com/science/article/pii/S1570870514002376>. <10.1016/j.adhoc.2014.11.003>
Accès au bibtex
BibTex
titre
Programming distributed and adaptable autonomous components–the GCM/ProActive framework
auteur
Françoise Baude, Ludovic Henrio, Cristian Ruz
article
Software: Practice and Experience, Wiley, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01001043/file/spe2013.pdf BibTex

Conference papers

titre
Dealing with Skewed Data in Structured Overlays using Variable Hash Functions
auteur
Maeva Antoine, Fabrice Huet
article
The 15th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT), Dec 2014, Hong Kong, Hong Kong SAR China. IEEE Computer Society, 2014 15th International Conference on Parallel and Distributed Computing, Applications and Technologies, pp.42-48, <10.1109/PDCAT.2014.15>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01101678/file/can.pdf BibTex
titre
Investigation on Time Properties of Timed-pNets
auteur
Yanwen Chen, Yixiang Chen, Eric Madelaine
article
National Software Application Conference, Nov 2014, Guilin, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097783/file/NASAC2014-DelayInTpNets.pdf BibTex
titre
BtrPlace: Flexible VM Management in Data Centers
auteur
Fabien Hermenier, Sophie Demassey
article
PGMO-COPI’14 Conference on Optimization & Practices in Industry, Oct 2014, Paris, France. 2014, <http://www.fondation-hadamard.fr/fr/pgmo-copi-14>
Accès au bibtex
BibTex
titre
A Generic API for Load Balancing in Structured P2P Systems
auteur
Maeva Antoine, Laurent Pellegrino, Fabrice Huet, Françoise Baude
article
26th International Symposium on Computer Architecture and High Performance Computing, Oct 2014, Paris, France. IEEE Computer Society, pp.138 – 143, 2014, Computer Architecture and High Performance Computing Workshop (SBAC-PADW), 2014 International Symposium on. <10.1109/SBAC-PADW.2014.17>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01101688/file/api_loadbalancing.pdf BibTex
titre
Verifying the correct composition of distributed components: Formalisation and Tool
auteur
Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine
article
FOCLASA, Sep 2014, Rome, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055370/file/paper.pdf BibTex
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. 8806 (0302-9743), pp.498 – 507, 2014, <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
titre
Evaluating the impact of Software-Defined Networks’ Reactive Routing on BitTorrent performance
auteur
Damian Vicino, Chung-Horng Lung, Gabriel Wainer, Olivier Dalle
article
Elhadi M. Shakshuki. FNC – 9th International Conference on Future Networks and Communications, Aug 2014, Niagara Falls, Canada. Elsevier, 2014
Accès au bibtex
BibTex
titre
Distributed Snapshot algorithm for multi-active object-based applications
auteur
Michel J De Souza, Françoise Baude
article
Luciana Arantes. XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos XV (SBRC 2014) Workshop de Testes e Tolerância a Falhas (WTF 2014), May 2014, Florianópolis, Brasil, France. XXXII Simpósio Brasileiro de Redes de Computadores e Sistemas DistribuídosXV Workshop de Testes e Tolerância a Falhas (WTF 2014), 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087336/file/WTFBaudeSouza.pdf BibTex
titre
Fast American Basket Option Pricing on a multi-GPU Cluster
auteur
Michael Benguigui, Françoise Baude
article
22nd High Performance Computing Symposium, Apr 2014, Tampa, FL, United States. pp.1-8, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00927482/file/17_Final_Manuscrip.pdf BibTex
titre
Declarative Scheduling for Active Objects
auteur
Ludovic Henrio, Justine Rochas
article
Shin, Sung Y. SAC 2014 – 29th Symposium On Applied Computing, Mar 2014, Gyeongju, South Korea. ACM, pp.1-6, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916293/file/DeclarativeSchedulingForActiveObjects-FINAL.pdf BibTex
titre
A data type for discretized time representation in DEVS
auteur
Damian Vicino, Olivier Dalle, Gabriel Wainer
article
Kalyan Perumalla and Roland Ewald. SIMUTOOLS – 7th International Conference on Simulation Tools and Techniques, Mar 2014, Lisbon, Portugal. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055555/file/DEVSTimeType.pdf BibTex
titre
Self-Configuration and Self-Optimization Autonomic Skeletons using Events
auteur
Gustavo Pabon, Ludovic Henrio
article
Programming Models and Applications for Multicores and Manycores, Feb 2014, Orlando, United States. ACM, 2014, Proceedings of Programming Models and Applications on Multicores and Manycores. <10.1145/2560683.2560699>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00944294/file/PMAM_2014_Autonomic_Skeletons_using_Events-FinalVersion.pdf BibTex

Book sections

titre
Reuse-centric simulation software architectures
auteur
Olivier Dalle
article
Daniele Gianni; Andrea D’Ambrogio; Andreas Tolk. Modeling and Simulation-Based Systems Engineering Handbook, CRC Press, pp.263-292, 2014, 978-1-4665-7145-7. <10.1201/b17902-12>
Accès au bibtex
BibTex

Patents

titre
BtrPlace
auteur
Fabien Hermenier
article
France, N° de brevet: IDDN.FR.001.330025.000.S.C.2014.000.31235. 2014
Accès au bibtex
BibTex

Reports

titre
pNets: an Expressive Model for Parameterised Networks of Processes (Extended Version)
auteur
Ludovic Henrio, Eric Madelaine, Min Zhang
article
[Research Report] RR-8579, INRIA. 2014, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01055091/file/RR-8579.pdf BibTex
titre
A ProActive Backend for ABS: from Modelling to Deployment
auteur
Justine Rochas, Ludovic Henrio
article
[Research Report] RR-8596, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01065072/file/RR-8596.pdf BibTex
titre
Towards a Generic API for Data Load Balancing in Structured P2P Systems
auteur
Maeva Antoine, Laurent Pellegrino, Fabrice Huet, Françoise Baude
article
[Research Report] RR-8564, INRIA. 2014, pp.18
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01022722/file/RR-8564.pdf BibTex
titre
Timed-pNets: A Communication Behavioural Semantic Model for Distributed Systems (extended version)
auteur
Yanwen Chen, Yixiang Chen, Eric Madelaine
article
[Research Report] RR-8526, INRIA. 2014, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00988010/file/RR-8526.pdf BibTex

Theses

titre
Mechanized support for the formal specification, verification and deployment of component-based applications
auteur
Nuno Gaspar
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. <NNT : 2014NICE4127>
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01114217/file/2014NICE4127.pdf BibTex
titre
A timed communication behaviour model for distributed systems
auteur
Yanwen Chen
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. <NNT : 2014NICE4090>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127353/file/2014NICE4090.pdf BibTex
titre
Pushing dynamic and ubiquitous event-based interactions in the Internet of services : a middleware for event clouds
auteur
Laurent Pellegrino
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Nice Sophia Antipolis, 2014. English. <NNT : 2014NICE4013>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00984262/file/2014NICE4013.pdf BibTex

2012

Conference papers

titre
An energy aware framework for virtual machine placement in cloud federated data centres
auteur
Corentin Dupont, Thomas Schulze, Fabien Hermenier, Giovanni Giuliani, Andrey Somov
article
Third International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet (e-Energy), Nov 2012, Madrid, Spain. 2012, <10.1145/2208828.2208832>
Accès au bibtex
BibTex
titre
How To Build a Better Testbed: Lessons From a Decade of Network Experiments on Emulab
auteur
Fabien Hermenier, Ricci Robert
article
TridentCom, Jun 2012, Thessalonique, France. pp.1–17, 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00710449/file/final.pdf BibTex