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.
45
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

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

Publications

Image document

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

Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard
ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
Article dans une revue hal-04067909 v1
Image document

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-03103714 v1
Image document

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-01650998 v1

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-01216019 v1
Image document

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-00845812 v1

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-00657974 v1
Image document

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-04387689 v1
Image document

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-04457484 v1
Image document

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-04572043 v1
Image document

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-04372340 v1
Image document

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-04372320 v1
Image document

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-04043471 v1
Image document

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-03536643 v1
Image document

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-03922772 v1
Image document

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-03343942 v1
Image document

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-02535077 v1
Image document

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-02551733 v1
Image document

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-02952952 v1
Image document

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-02165835 v1
Image document

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-02323641 v1
Image document

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-01581969 v1
Image document

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-01922301 v1
Image document

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-01801453 v1
Image document

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-01897803 v1
Image document

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-01858150 v1
Image document

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-01532489 v1
Image document

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-01518730 v1
Image document

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-01591113 v1
Image document

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-01215992 v1

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-01094340 v1

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-00958089 v1

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-01446450 v1

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-00832674 v1

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-00845891 v1

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-00832660 v1

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-00832670 v1

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-00785645 v1
Image document

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-02299214 v1