Publications

Publications HAL de la structure 241684

2017

Theses

titre
Analysis of synchronisation patterns in active objects based on behavioural types
auteur
Vicenzo Mastandrea
article
Other [cs.OH]. Université Côte d’Azur, 2017. English. ⟨NNT : 2017AZUR4113⟩
Accès au texte intégral et bibtex
https://hal.science/tel-01651649/file/2017AZUR4113.pdf BibTex

2016

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://theses.hal.science/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://theses.hal.science/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, 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, 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, 2015, 4 (5), pp.249-254. ⟨10.1049/iet-net.2014.0105⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, 2015, 6 (15), pp.17. ⟨10.1186/s13174-015-0031-7⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01180627/file/2015-JISA-SCC.pdf BibTex

Conference papers

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. ⟨10.13140/RG.2.1.1626.8563⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01271684/file/kherbache_ucc15-paper.pdf BibTex
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
Accès au bibtex
BibTex
titre
Multi-objective job placement in clusters
auteur
Sergey Blagodurov, Alexandra Fedorova, Evgeny Vinnik, Dwyer Tyler, Fabien Hermenier
article
International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, United States. ⟨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. ⟨10.4108/eai.24-8-2015.2261152⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/hal-01271676/file/kherbache_compas15-paper.pdf BibTex
titre
Painless Support for Static and Runtime Verification of Component-Based Applications
auteur
Nuno Gaspar, Ludovic Henrio, Eric Madelaine
article
6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. pp.259-274, ⟨10.1007/978-3-319-24644-4_18⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01168757/file/978-3-319-24644-4_18_Chapter.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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://inria.hal.science/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, ⟨10.1109/NOF.2015.7333294⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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://inria.hal.science/hal-01252323/file/RR8841.pdf BibTex
titre
Livrable D1.2.2 – Modèle avancé QoS-aware
auteur
Tatiana Aubonnet, Ludovic Henrio, Frédéric Lemoine, Eric Madelaine, Noëmie Simoni
article
[Research Report] Conservatoire national des arts et métiers – CNAM. 2015
Accès au texte intégral et bibtex
https://hal.science/hal-02470650/file/D122.pdf BibTex

Theses

titre
Improved time representation in discrete-event simulation
auteur
Damián Alberto Vicino
article
Other [cs.OH]. Université Nice Sophia Antipolis, 2015. English. ⟨NNT : 2015NICE4078⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01276128/file/2015NICE4078.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://theses.hal.science/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://theses.hal.science/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, 2014, 8, pp.24. ⟨10.1007/s11704-014-4096-4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, 2014, pp.1–16. ⟨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, 2014
Accès au texte intégral et bibtex
https://inria.hal.science/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), The University of Hong Kong, Dec 2014, Hong Kong, Hong Kong SAR China. pp.42-48, ⟨10.1109/PDCAT.2014.15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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
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. pp.138 – 143, ⟨10.1109/SBAC-PADW.2014.17⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/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. pp.498 – 507, ⟨10.1007/978-3-319-14313-2_42⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/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
FNC – 9th International Conference on Future Networks and Communications, Aug 2014, Niagara Falls, Canada
Accès au bibtex
BibTex
titre
Distributed Snapshot algorithm for multi-active object-based applications
auteur
Michel J de Souza, Françoise Baude
article
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
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://hal.science/hal-00927482/file/17_Final_Manuscrip.pdf BibTex
titre
Declarative Scheduling for Active Objects
auteur
Ludovic Henrio, Justine Rochas
article
SAC 2014 – 29th Symposium On Applied Computing, ACM Special Interest Group on Applied Computing, Mar 2014, Gyeongju, South Korea. pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/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
SIMUTOOLS – 7th International Conference on Simulation Tools and Techniques, ICST, Mar 2014, Lisbon, Portugal
Accès au texte intégral et bibtex
https://inria.hal.science/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. ⟨10.1145/2560683.2560699⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00944294/file/PMAM_2014_Autonomic_Skeletons_using_Events-FinalVersion.pdf BibTex
titre
How functional economy would be an environmental economy? Mode of endogenization of environmental issues in functional economy
auteur
Justine Bisiaux, Thierry Gidel, Fabrice Huet, Dominique Millet
article
Engineering, Technology and Innovation (ICE), 2014 International ICE Conference on, 2014, Unknown, Unknown Region. pp.1–10
Accès au bibtex
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://inria.hal.science/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://inria.hal.science/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://inria.hal.science/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://inria.hal.science/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://inria.hal.science/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; East China normal university (Shanghai), 2014. English. ⟨NNT : 2014NICE4090⟩
Accès au texte intégral et bibtex
https://theses.hal.science/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
Other [cs.OH]. Université Nice Sophia Antipolis, 2014. English. ⟨NNT : 2014NICE4013⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00984262/file/2014NICE4013.pdf BibTex