Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Bibliography

Major publications by the team in recent years
[1]
H. Casanova, A. Legrand, M. Quinson, F. Suter.
SMPI Courseware: Teaching Distributed-Memory Computing with MPI in Simulation, in: EduHPC-18 - Workshop on Education for High-Performance Computing, Dallas, United States, November 2018, pp. 1-10.
https://hal.inria.fr/hal-01891513
Publications of the year

Doctoral Dissertations and Habilitation Theses

[2]
T. A. Pham.
Efficient state-space exploration for asynchronous distributed programs: Adapting unfolding-based dynamic partial order reduction to MPI programs, ENS Rennes, December 2019.
https://hal.archives-ouvertes.fr/tel-02420950

Articles in International Peer-Reviewed Journals

[3]
A. Ahmed, G. Pierre.
Docker-pi: Docker Container Deployment in Fog Computing Infrastructures, in: International Journal of Cloud Computing, 2019, pp. 1-20, forthcoming.
https://hal.inria.fr/hal-02271434
[4]
E. Ahvar, A.-C. Orgerie, A. Lebre.
Estimating Energy Consumption of Cloud, Fog and Edge Computing Infrastructures, in: IEEE Transactions on Sustainable Computing, April 2019, pp. 1-12. [ DOI : 10.1109/TSUSC.2019.2905900 ]
https://hal.archives-ouvertes.fr/hal-02083080
[5]
G. Cooperman, M. Quinson.
Sthread: In-Vivo Model Checking of Multithreaded Programs, in: The Art, Science, and Engineering of Programming, 2020, forthcoming.
https://hal.inria.fr/hal-02449080
[6]
M. Farhadi, J.-L. Lanet, G. Pierre, D. Miorandi.
A systematic approach towards security in Fog computing: assets, vulnerabilities, possible countermeasures, in: Software: Practice and Experience, 2020, forthcoming.
https://hal.inria.fr/hal-02441639
[7]
N. Parlavantzas, L. M. Pham, C. Morin, S. Arnoux, G. Beaunée, L. Qi, P. Gontier, P. Ezanno.
A Service-based Framework for Building and Executing Epidemic Simulation Applications in the Cloud, in: Concurrency and Computation: Practice and Experience, 2019, forthcoming.
https://hal.archives-ouvertes.fr/hal-02312313

International Conferences with Proceedings

[8]
E. Agullo, L. Giraud, S. Lanteri, G. Marait, A.-C. Orgerie, L. Poirel.
Energy Analysis of a Solver Stack for Frequency-Domain Electromagnetics, in: PDP 2019 - 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, Pavia, Italy, 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), IEEE, February 2019, pp. 385-391. [ DOI : 10.1109/EMPDP.2019.8671555 ]
https://hal.archives-ouvertes.fr/hal-02191331
[9]
A. Ahmed, G. Pierre.
Docker Image Sharing in Distributed Fog Infrastructures, in: CloudCom 2019 - 11th IEEE International Conference on Cloud Computing Technology and Science, Sydney, Australia, IEEE, December 2019.
https://hal.inria.fr/hal-02304285
[10]
H. Arkian, G. Pierre, J. Tordsson, E. Elmroth.
An Experiment-Driven Performance Model of Stream Processing Operators in Fog Computing Environments, in: SAC 2020 - ACM/SIGAPP Symposium On Applied Computing, Brno, Czech Republic, March 2020, pp. 1-9.
https://hal.inria.fr/hal-02394396
[11]
M. Belkhiria, C. Tedeschi.
A Fully Decentralized Autoscaling Algorithm for Stream Processing Applications, in: Auto-DaSP 2019 - Third International Workshop on Autonomic Solutions for Parallel and Distributed Data Stream Processing, Göttingen, Germany, August 2019, pp. 1-12.
https://hal.inria.fr/hal-02171172
[12]
M. Belkhiria, C. Tedeschi.
Design and Evaluation of Decentralized Scaling Mechanisms for Stream Processing, in: CloudCom 2019 - 11th IEEE International Conference on Cloud Computing Technology and Science, Sidney, Australia, IEEE, December 2019.
https://hal.inria.fr/hal-02351108
[13]
B. Camus, A. Blavette, A.-C. Orgerie, J.-B. Blanc-Rouchossé.
Co-simulation of an electrical distribution network and its supervision communication network, in: CCNC 2020 - IEEE Consumer Communications & Networking Conference, Las Vegas, United States, CCNC: IEEE Consumer Communications & Networking Conference, IEEE, January 2020, pp. 1-6.
https://hal.archives-ouvertes.fr/hal-02352832
[14]
L. Civolani, G. Pierre, P. Bellavista.
FogDocker: Start Container Now, Fetch Image Later, in: UCC 2019 - 12th IEEE/ACM International Conference on Utility and Cloud Computing, Auckland, New Zealand, ACM, December 2019, pp. 51-59. [ DOI : 10.1145/3344341.3368811 ]
https://hal.inria.fr/hal-02332679
[15]
A. Fahs, G. Pierre.
Proximity-Aware Traffic Routing in Distributed Fog Computing Platforms, in: CCGrid 2019 - IEEE/ACM International Symposium in Cluster, Cloud, and Grid Computing, Larnaca, Cyprus, IEEE, May 2019, pp. 1-10. [ DOI : 10.1109/CCGRID.2019.00062 ]
https://hal.inria.fr/hal-02048965
[16]
R. Ferreira Da Silva, A.-C. Orgerie, H. Casanova, R. Tanaka, E. Deelman, F. Suter.
Accurately Simulating Energy Consumption of I/O-intensive Scientific Workflows, in: ICCS 2019 - International Conference on Computational Science, Faro, Portugal, ICCS 2019 - International Conference on Computational Science, Springer, June 2019, pp. 138-152. [ DOI : 10.1007/978-3-030-22734-0_11 ]
https://hal.archives-ouvertes.fr/hal-02112893
[17]
L. Guegan, B. L. Amersho, A.-C. Orgerie, M. Quinson.
A Large-Scale Wired Network Energy Model for Flow-Level Simulations, in: AINA 2019 - 33rd International Conference on Advanced Information Networking and Applications, Matsue, Japan, Advances in Intelligent Systems and Computing, Springer, March 2019, vol. 926, pp. 1047-1058. [ DOI : 10.1007/978-3-030-15032-7_88 ]
https://hal.inria.fr/hal-02020045
[18]
L. Guegan, A.-C. Orgerie.
Estimating the end-to-end energy consumption of low-bandwidth IoT applications for WiFi devices, in: CloudCom 2019 - 11th IEEE International Conference on Cloud Computing Technology and Science, Sydney, Australia, IEEE, December 2019.
https://hal.archives-ouvertes.fr/hal-02352637
[19]
T. A. Pham, T. Jéron, M. Quinson.
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs, in: FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Copenhagen, Denmark, J. A. Pérez, N. Yoshida (editors), Formal Techniques for Distributed Objects, Components, and Systems, Springer International Publishing, 2019, vol. LNCS-11535, pp. 224-241, Part 1: Full Papers. [ DOI : 10.1007/978-3-030-21759-4_13 ]
https://hal.inria.fr/hal-02109769
[20]
I. Raïs, D. Balouek-Thomert, A.-C. Orgerie, L. Lefèvre, M. Parashar.
Leveraging energy-efficient non-lossy compression for data-intensive applications, in: HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, Dublin, Ireland, HPCS 2019 - 17th International Conference on High Performance Computing & Simulation, July 2019, pp. 1-7.
https://hal.archives-ouvertes.fr/hal-02179621
[21]
G. Tato, M. Bertier, E. Rivière, C. Tedeschi.
Split and migrate: Resource-driven placement and discovery of microservices at the edge, in: OPODIS 2019 : 23rd International Conference On Principles Of Distributed Systems, Neuchâtel, Switzerland, 2019, pp. 1-16. [ DOI : 10.4230/LIPIcs.OPODIS.2019.29 ]
https://hal.inria.fr/hal-02401933
[22]
A. T. Wonjiga, S. Peisert, L. Rilling, C. Morin.
Blockchain as a Trusted Component in Cloud SLA Verification, in: UCC 2019 - 12th IEEE/ACM International Conference on Utility and Cloud Computing, Auckland, New Zealand, ACM, December 2019, pp. 93-100. [ DOI : 10.1145/3368235.3368872 ]
https://hal.inria.fr/hal-02354647

National Conferences with Proceedings

[23]
C. Elbaz, L. Rilling, C. Morin.
Towards Automated Risk Analysis of "One-day" Vulnerabilities, in: RESSI 2019 - Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, Erquy, France, August 2019, pp. 1-3.
https://hal.inria.fr/hal-02267192

Scientific Books (or Scientific Book chapters)

[24]
A. Oleksiak, L. Lefèvre, P. Alonso, G. Da Costa, V. De Maio, N. Frasheri, V. Garcia, J. Guerrero, S. Lafond, A. Lastovetsky, R. R. Manumachu, B. Muite, A.-C. Orgerie, W. Piatek, J.-M. Pierson, R. Prodan, P. Stolf, E. Sheme, S. Varrette.
Energy aware ultrascale systems, in: Ultrascale Computing Systems, Institution of Engineering and Technology, January 2019, pp. 127-188. [ DOI : 10.1049/PBPC024E_ch ]
https://hal.inria.fr/hal-02163289

Internal Reports

[25]
C. Elbaz, L. Rilling, C. Morin.
Automated Keyword Extraction from "One-day" Vulnerabilities at Disclosure, Inria Rennes - Bretagne Atlantique, November 2019, no RR-9299, pp. 1-22.
https://hal.inria.fr/hal-02362062
[26]
A. Jlassi, C. Tedeschi.
Merge, Split, and Cluster: Dynamic Deployment of Stream Processing Applications, Inria, December 2019.
https://hal.inria.fr/hal-02418771
[27]
A. T. Wonjiga, L. Rilling, C. Morin.
Defining Security Monitoring SLAs in IaaS Clouds: the Example of a Network IDS, Inria Rennes Bretagne Atlantique, March 2019, no RR-9263, pp. 1-37.
https://hal.inria.fr/hal-02079860
[28]
A. T. Wonjiga, L. Rilling, C. Morin.
Security Monitoring SLA Verification in Clouds: the Case of Data Integrity, Inria Rennes - Bretagne Atlantique, March 2019, no RR-9267, pp. 1-29.
https://hal.inria.fr/hal-02084186

Other Publications

[29]
M. Belkhiria, C. Tedeschi.
Decentralized Scaling for Stream Processing Engines, May 2019, working paper or preprint.
https://hal.inria.fr/hal-02127609
[30]
A. Guermouche, A.-C. Orgerie.
Experimental analysis of vectorized instructions impact on energy and power consumption under thermal design power constraints, June 2019, working paper or preprint.
https://hal.archives-ouvertes.fr/hal-02167083
References in notes
[31]
R.-A. Cherrueau, M. Simonin, A. Van Kempen.
EnosStack: A LAMP-like stack for the experimenter, in: INFOCOM WKSHPS 2018 - IEEE International Conference on Computer Communications, Honolulu, United States, IEEE, April 2018, pp. 336-341. [ DOI : 10.1109/INFCOMW.2018.8407024 ]
https://hal.inria.fr/hal-01916484
[32]
M. Guthmuller, G. Corona, M. Quinson.
System-level state equality detection for the formal dynamic verification of legacy distributed applications, in: Journal of Logical and Algebraic Methods in Programming, April 2018, vol. 96, pp. 1 - 11. [ DOI : 10.1016/j.jlamp.2017.12.004 ]
https://hal.inria.fr/hal-01900120
[33]
A. Lebre, J. Pastor, M. Bertier, F. Desprez, J. Rouzaud-Cornabas, C. Tedeschi, P. Anedda, G. Zanetti, R. Nou, T. Cortes, E. Rivière, T. Ropars.
Beyond The Cloud, How Should Next Generation Utility Computing Infrastructures Be Designed?, Inria, July 2013, no RR-8348.
https://hal.inria.fr/hal-00854204
[34]
J. Rojas Balderrama, M. Simonin.
Scalability and Locality Awareness of Remote Procedure Calls: An Experimental Study in Edge Infrastructures, in: CloudCom, Nicosia, Cyprus, December 2018.
https://hal.inria.fr/hal-01891567
[35]
G. Tato, M. Bertier, E. Rivière, C. Tedeschi.
ShareLatex on the Edge: Evaluation of the Hybrid Core/Edge Deployment of a Microservices-based Application, in: The 3rd workshop on Middleware for Edge Clouds & Cloudlets, Rennes, France, December 2018.
https://hal.inria.fr/hal-01942807
[36]
G. Tato, M. Bertier, C. Tedeschi.
Koala: Towards Lazy and Locality-Aware Overlays for Decentralized Clouds, in: ICFEC 2018 - 2nd IEEE International Conference on Fog and Edge Computing, Washington, United States, IEEE, May 2018, pp. 1-10. [ DOI : 10.1109/CFEC.2018.8358728 ]
https://hal.inria.fr/hal-01938582
[37]
A. T. Wonjiga, L. Rilling, C. Morin.
Verification for Security Monitoring SLAs in IaaS Clouds: the Example of a Network IDS, in: NOMS 2018 - Network Operations and Management Symposium, Taipei, Taiwan, IEEE, April 2018, pp. 1-7. [ DOI : 10.1109/NOMS.2018.8406157 ]
https://hal.inria.fr/hal-01663941