Hélène Coullon

Enseignante-chercheuse à l'IMT Atlantique au département automatique, productique et informatique (DAPI). Membre de l'équipe Inria, IMT Atlantique, LS2N STACK.

78 %

Libre accès

Documents

Affiliations actuelles

Département Automatique, Productique et Informatique (IMT Atlantique - DAPI)
Laboratoire des Sciences du Numérique de Nantes (LS2N)
Centre Inria de l'Université de Rennes
IMT Atlantique (IMT Atlantique)

Identifiants chercheurs

Site web

Présentation

Associate professor at IMT Atlantique since 2016 (HDR, 2025). Before her Ph.D., she worked for two years in the French company Dassault Systèmes and two years as a research engineer at the University of Orléans. She received her PhD in Computer Science from the University of Orléans in 2014 (CIFRE funding with the company Antea Group). She then completed a postdoctoral fellowship at Inria Lyon (2014-2016), and has been hired at IMT Atlantique in 2016. She received an Inria chair for five years between 2016 and 2021. She was also hired for two years (2020-2022) as an adjunct professor at the Arctic University of Norway (UiT at Tromsø). Her research expertise lies in the deployment and dynamic adaptation of distributed software systems. She tries in particular to address this field by combining contributions in programming languages, formal methods, software engineering, and parallel and distributed computing.

Domaines de recherche

Langage de programmation [cs.PL] Génie logiciel [cs.SE] Calcul parallèle, distribué et partagé [cs.DC] Informatique ubiquitaire Logique en informatique [cs.LO] Performance et fiabilité [cs.PF]

Publications

Efficient Reconfigurations with Programmable Life Cycles: Contributions to Safety, Declarativity, and Decentralization

Hélène Coullon

Distributed, Parallel, and Cluster Computing [cs.DC]. Nantes Université, 2025

HDR tel-05188709v1

Infrastructure as Commons, Low-tech Principles and Territorial Distribution: a magical recipe for resilience ?

Lucien Astié , Hélène Coullon

1st INFRASTRUCTURE Workshop, Dec 2025, Nantes, France

Communication dans un congrès hal-05651623v1

Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud Continuum

Daniel Balouek , Hélène Coullon

Euro-Par 2023: International European Conference on Parallel and Distributed Computing, Aug 2023, Limassol, Cyprus. pp.189-201, ⟨10.1007/978-3-031-50684-0_15⟩

Communication dans un congrès hal-04387689v1

An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization

Farid Arfi , Hélène Coullon , Frédéric Loulergue , Jolan Philippe , Simon Robillard

ICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩

Communication dans un congrès hal-04572043v1

Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study

Jolan Philippe , Antoine Omond , Hélène Coullon , Charles Prud'Homme , Issam Raïs

SANER 2024: IEEE International Conference on Software Analysis, Evolution and Reengineering, Mar 2024, Rovaniemi, Finland. pp.1-11, ⟨10.1109/SANER60148.2024.00007⟩

Communication dans un congrès hal-04457484v1

Evaluating the energy consumption of adaptation tasks for a CPS in the Arctic Tundra

Antoine Omond , Issam Raïs , Hélène Coullon

GreenCom 2023: 19th IEEE International Conference on Green Computing and Communications, Dec 2023, Danzhou, China. pp.1-8, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00122⟩

Communication dans un congrès hal-04372340v1

SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers

Abdelghani Alidra , Hugo Bruneliere , Hélène Coullon , Thomas Ledoux , Charles Prud'Homme et al.

SEAMS 2023: IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31, ⟨10.1109/SEAMS59076.2023.00014⟩

Communication dans un congrès hal-04043471v1

Leveraging Relay Nodes to Deploy and Update Services in a CPS with Sleeping Nodes

Antoine Omond , Hélène Coullon , Issam Raïs , Otto Anshus

CPSCom 2023: 16th IEEE International Conference on Cyber, Physical and Social Computing, Dec 2023, Danzhou, China. pp.1-8, ⟨10.1109/iThings-GreenCom-CPSCom-SmartData-Cybermatics60724.2023.00102⟩

Communication dans un congrès hal-04372320v1

SMT-Based Planning Synthesis for Distributed System Reconfigurations

Simon Robillard , Hélène Coullon

FASE 2022 : 25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany. pp.268-287, ⟨10.1007/978-3-030-99429-7_15⟩

Communication dans un congrès hal-03536643v1

Handling heterogeneous workflows in the Cloud while enhancing optimizations and performance

Emile Cadorel , Hélène Coullon , Jean-Marc Menaud

CLOUD 2022 - IEEE 15th International Conference on Cloud Computing, Jul 2022, Barcelona, Spain. pp.49-58, ⟨10.1109/CLOUD55607.2022.00021⟩

Communication dans un congrès hal-03922772v1

Executing Certified Model Transformations on Apache Spark

Jolan Philippe , Massimo Tisi , Hélène Coullon , Gerson Sunyé

SLE 2021: 14th ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, Illinois, United States. pp.36-48, ⟨10.1145/3486608.3486901⟩

Communication dans un congrès hal-03343942v1

Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto

Maverick Chardet , Hélène Coullon , Christian Pérez

CCGrid 2020 : 20th IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing, May 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-59⟩

Communication dans un congrès hal-02535077v1

Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization

Emile Cadorel , Hélène Coullon , Jean-Marc Menaud

CCGrid2020 : 20th International Symposium on Cluster, Cloud and Internet Computing, Nov 2020, Melbourne, Australia. ⟨10.1109/CCGrid49817.2020.00-36⟩

Communication dans un congrès hal-02551733v1

Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms

Jolan Philippe , Hélène Coullon , Massimo Tisi , Gerson Sunyé

23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, Oct 2020, Montreal (Virtually), Canada. ⟨10.1145/3417990.3420206⟩

Communication dans un congrès hal-02952952v1

A workflow scheduling deadline-based heuristic for energy optimization in Cloud

Emile Cadorel , Hélène Coullon , Jean-Marc Menaud

GreenCom 2019 : 15th IEEE International Conference on Green Computing and Communications, Jul 2019, Atlanta, United States. pp.1-10, ⟨10.1109/iThings/GreenCom/CPSCom/SmartData.2019.00135⟩

Communication dans un congrès hal-02165835v1

Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning

Hélène Coullon , Claude Jard , Didier Lime

IFM 2019 : 15th International Conference on integrated Formal Methods, Dec 2019, Bergen, Norway. pp.120--137, ⟨10.1007/978-3-030-34968-4_7⟩

Communication dans un congrès hal-02323641v1

Virtual Machine Placement for Hybrid Cloud using Constraint Programming

Hélène Coullon , Guillaume Le Louët , Jean-Marc Menaud

23rd International Conference on Parallel and Distributed Systems (ICPADS 2017), Dec 2017, Shenzhen, China. ⟨10.1109/ICPADS.2017.00051⟩

Communication dans un congrès hal-01581969v1

Automatic Energy Efficient HPC Programming: A Case Study

Issam Raïs , Hélène Coullon , Laurent Lefèvre , Christian Pérez

ISPA 2018 : 16th IEEE International Symposium on Parallel and Distributed Processing with Applications, Dec 2018, Melbourne, Australia. ⟨10.1109/BDCloud.2018.00145⟩

Communication dans un congrès hal-01922301v1

Interfaces comportementales pour la reconfiguration de modèles à composants

Maverick Chardet , Hélène Coullon , Christian Pérez

Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8

Communication dans un congrès hal-01897803v1

Ordonnancement multi-objectifs de workflows dans un Cloud privé

Emile Cadorel , Hélène Coullon , Jean-Marc Menaud

ComPAS 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8

Communication dans un congrès hal-01801453v1

Madeus: A formal deployment model

Maverick Chardet , Hélène Coullon , Dimitri Pertin , Christian Pérez

4PAD 2018 : 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), HPCS 2018 : International Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France. pp.1-8, ⟨10.1109/HPCS.2018.00118⟩

Communication dans un congrès hal-01858150v1

Production Deployment Tools for IaaSes: an Overall Model and Survey

Hélène Coullon , Dimitri Pertin , Christian Pérez

The IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud), Aug 2017, Prague, Czech Republic. pp.183-190, ⟨10.1109/FiCloud.2017.51⟩

Communication dans un congrès hal-01532489v1

Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on GYSELA

Olivier Aumage , Julien Bigot , Hélène Coullon , Christian Pérez , Jérôme Richard

17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid)., May 2017, Madrid, Spain. ⟨10.1109/CCGRID.2017.88⟩

Communication dans un congrès hal-01518730v1

Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing

Hélène Coullon , Jacques Noyé

SOHOMA 2017 : Service Orientation in Holonic and Multi-Agent Manufacturing, Oct 2017, Nantes, France. pp.217-228, ⟨10.1007/978-3-319-73751-5_16⟩

Communication dans un congrès hal-01591113v1

From DSL to HPC Component-Based Runtime: A Multi-Stencil DSL Case Study

Julien Bigot , Hélène Coullon , Christian Pérez

WOLFHPC 2015 (Fifth International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing), Nov 2015, co-located with SC'15, Austin, Texas, United States. pp.10, ⟨10.1145/2830018.2830020⟩

Communication dans un congrès hal-01215992v1

Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS

Hélène Coullon , Jose-Maria Fullana , Pierre-Yves Lagrée , Sébastien Limet , Xiaofei Wang

International Conference on Computational Science, 2014, Oudonc, France. pp.102 - 112, ⟨10.1016/j.procs.2014.05.010⟩

Communication dans un congrès hal-01446450v1

Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations

Hélène Coullon , Sébastien Limet

Euro-Par 2014, Aug 2014, Porto, Portugal. pp.439--450, ⟨10.1007/978-3-319-09873-9_37⟩

Communication dans un congrès hal-01094340v1

Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS

Hélène Coullon , Jose-Maria Fullana , Pierre-Yves Lagrée , Sébastien Limet , Xiaofei Wang

ICCS 2014, Jun 2014, Cairns, Australia

Communication dans un congrès hal-00958089v1

Performances de la Librairie de Squelettes Algorithmiques SkelGIS

Hélène Coullon , Sébastien Limet , Hoang Le Minh

ComPAS 2013, Jan 2013, Grenoble, France

Communication dans un congrès hal-00832674v1

Algorithmic skeleton library for scientific simulations : SkelGIS

Hélène Coullon , Sébastien Limet

HPCS 2013, Jul 2013, Helsinki, Finland. pp.429

Communication dans un congrès hal-00845891v1

Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS

Hélène Coullon , Sébastien Limet , Hoang Le Minh

ICCS, Jun 2013, Barcelone, Spain. pp.591-600, ⟨10.1016/j.procs.2013.05.223⟩

Communication dans un congrès hal-00832660v1

Une librairie de squelettes algorithmiques par blocs sur structure de données 2D

Hélène Coullon , Sébastien Limet

CIEL 2012, Jun 2012, Rennes, France

Communication dans un congrès hal-00832670v1

A simple framework to generate parallel application for geospatial processing.

Hélène Coullon , Sébastien Limet , Emmanuel Melin

COM.Geo 2010, 2010, Washington, United States. http://doi.acm.org/10.1145/1823854.1823891

Communication dans un congrès hal-00785645v1

Concerto-D in Maude

Farid Arfi , Hélène Coullon , Frédéric Loulergue , Jolan Philippe , Simon Robillard

2024, ⟨swh:1:dir:32a2fe14ad750c01d73d2bd101ef0c2f2e440f62;origin=https://hal.archives-ouvertes.fr/hal-04654817;visit=swh:1:snp:ad21f1e90f6cf2549821eb2142ab6657817241f1;anchor=swh:1:rel:9689c8ed0577d56bfb7885c6ed94e9ce0020eca3;path=/⟩

Logiciel hal-04654817v1

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard

ACM Computing Surveys, 2023, 56 (1), pp.1-37. ⟨10.1145/3595376⟩

Article dans une revue hal-04067909v1

Toward Safe and Efficient Reconfiguration with Concerto

Maverick Chardet , Hélène Coullon , Simon Robillard

Science of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩

Article dans une revue hal-03103714v1

Extensibility and Composability of a Multi-Stencil Domain Specific Framework

Hélène Coullon , Julien Bigot , Christian Pérez

International Journal of Parallel Programming, 2017, ⟨10.1007/s10766-017-0539-5⟩

Article dans une revue hal-01650998v1

The SIPSim implicit parallelism model and the SkelGIS library

Hélène Coullon , Sébastien Limet

Concurrency and Computation: Practice and Experience, 2015, pp.25. ⟨10.1002/cpe.3494⟩

Article dans une revue istex hal-01216019v1

FullSWOF_Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications

Stéphane Cordier , Hélène Coullon , Olivier Delestre , Christian Laguerre , Minh Hoang Le et al.

ESAIM: Proceedings, 2013, 43, pp.59-79. ⟨10.1051/proc/201343004⟩

Article dans une revue hal-00845812v1

Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.

Hélène Coullon , Audrey Latapie , Sébastien Limet , Emmanuel Melin , Daniel Pierre et al.

Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2011, 16 (3), pp.31-54. ⟨10.3166/isi.16.3.31-54⟩

Article dans une revue istex hal-00657974v1

Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus

Maverick Chardet , Hélène Coullon , Christian Pérez , Dimitri Pertin , Charlène Servantie et al.

2020

Pré-publication, Document de travail hal-02737859v1

Logiciel et Industrie du Futur

Jean-Christophe Bach , Antoine Beugnard , Hugo Bruneliere , Hélène Coullon , Fabien Lehuédé et al.

Hélène Coullon. Presse des Mines, pp.62, 2019, Mathématiques et Informatique, 9782356715760

Ouvrages hal-02299214v1

The Multi-Stencil Language: orchestrating stencils with a mesh-agnostic DSL

Hélène Coullon , Julien Bigot , Christian Pérez

[Research Report] RR-8962, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.30

Rapport (rapport de recherche) hal-01380607v2

Feasibility Study of a Runtime Component-based Model Integrating Task Graph Concept on a 1D Advection Case Study

Christian Pérez , Hélène Coullon , Jérôme Richard

[Contract] Inria. 2016, pp.21

Rapport (rapport contrat/projet) hal-01348204v1

Comparison and Validation of Two Parallelization Approaches of FullSWOF_2D Software on a Real Case

Hélène Coullon , Olivier Delestre , Abily Morgan , Cordier Florian , Gourbesville Philippe

Advances in Hydroinformatics - SimHydro 2014, pp.12, 2015, ⟨10.1007/978-981-287-615-7_27⟩

Chapitre d'ouvrage hal-01216037v1

Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages

Hélène Coullon

Ordinateur et société [cs.CY]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2029⟩

Thèse tel-01094327v1

Chargement...