My DBLP Profile

My Google Scholar Profile

2025

• Hélène Coullon, HDR (Habilitation à Diriger des Recherches), Efficient Reconfigurations with Programmable Life Cycles: Contributions to Safety, Declarativity, and Decentralization. Defended at IMT Atlantique, Nantes. Diploma delivered by Nantes University. [Slides]

2024

• Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard. An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization. In Interaction and Concurrency Experiences 2024 (ICE'24) hosted at DisCoTec 2024, Groningen, The Netherlands.

• Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud’homme, Issam Rais. Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study. In the IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), March 2024, Finland.

• Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard. Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey. In ACM Computing Surveys, 2024.

2023

• Antoine Omond, Issam Rais, Hélène Coullon. Evaluating the energy consumption of adaptation tasks for a CPS in the Arctic Tundra. In the 19th IEEE International Conference on Green Computing and Communications (GreenCom2023), China.

• Antoine Omond, Hélène Coullon, Issam Rais. Leveraging Relay Nodes to Deploy and Update Services in a CPS With Sleeping Nodes. In the 16th IEEE International Conference on Cyber, Physical and Social Computing (CPSCom 2023), China.

• Daniel Balouek-Thomert, Hélène Coullon. Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud Continuum. In the 1st International Workshop on Urgent Analytics for Distributed Computing (QuickPar @ Euro-Par 2023).

• Abdelghani Alidra, Hugo Bruneliere, Hélène Coullon, Thomas Ledoux, Charles Prud’Homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan. SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers. In SEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia.

2022

• Emile Cadorel, Hélène Coullon, Jean-Marc Menaud. Handling heterogeneous workflows in the Cloud while enhancing optimizations and performance. In IEEE Cloud 2022, Barcelona, Spain.

• Simon Robillard, Hélène Coullon. SMT-Based Planning Synthesis for DistributedSystem Reconfigurations. In FASE 2022, Munich, Germany.

2021

• Jolan Philippe, Massimo Tisi, Hélène Coullon, Gerson Sunyé. Executing Certified Model Transformations on Apache Spark. In SLE 2021, Chicago, USA.

• Maverick Chardet, Hélène Coullon, Simon Robillard. Toward Safe and Efficient Reconfiguration with Concerto. In Science of Computer Porgamming, 2021.

2020

• Jolan Philippe, Hélène Coullon, Massimo Tisi, Gerson Sunyé. Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms. In LowCode Workshop (hosted at MODELS 2020), Montreal, Canada.

• Maverick Chardet, Hélène Coullon, Christian Perez. Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto. In CCGrid 2020, Melbourne, Australia.

• Emile Cadorel, Hélène Coullon, Jean-Marc Menaud. Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization. In CCGrid 2020, Melbourne, Australia.

2019

• Hélène Coullon, Didier Lime, Claude Jard. Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning. In iFM 2019, Bergen, Norway.

• Jean-Christophe Bach, Antoine Beugnard, Hugo Bruneliere, Hélène Coullon, Fabien Lehuédé, Guillaume Massonnet, Jacques Noyé, Gilles Simonin. Logiciel et industrie du futur (French). In Presses des Mines, Mathématiques et informatique.

• Emile Cadorel, Hélène Coullon, Jean-Marc Menaud. A workflow scheduling deadline-based heuristic for energy optimization in Cloud. In GreenCom 2019, Atlanta, USA.

2018

• Issam Rais, Hélène Coullon, Laurent Lefevre, Christian Perez. Automatic Energy Efficient HPC Programming: A Case Study. In ISPA 2018, Dec 2018, Melbourne, Australia.

• Maverick Chardet, Hélène Coullon, Christian Perez and Dimitri Pertin. Madeus: A formal deployment model. In 4PAD 2018 - 5th International Symposium on Formal Approaches to Parallel and Distributed Systems (hosted at HPCS 2018), Jul 2018, Orléans, France.

• Maverick Chardet, Hélène Coullon and Christian Perez. Interfaces comportementales pour la reconfiguration de modèles à composants. In ComPas 2018, Toulouse, France.

• Emile Cadorel, Hélène Coullon and Jean-Marc Menaud. Ordonnancement multi-objectifs de workflows dans un Cloud privé. In ComPas 2018, Toulouse, France.

2017

• Hélène Coullon, Julien Bigot and Christian Perez. Extensibility and Composability of a Multi-Stencil Domain Specific Framework. In International Journal of Parallel Programming, nov. 2017.

• Hélène Coullon, Guillaume Le Louët and Jean-Marc Menaud. Virtual Machine Placement for Hybrid Cloud using Constraint Programming. In ICPADS 2017.

• Hélène Coullon and Jacques Noyé. Reconsidering the Relationship between Cloud Computing and Cloud Manufacturing. In SOHOMA 2017.

• Hélène Coullon, Christian Perez and Dimitri Pertin. Production Deployment Tools for IaaSes: an Overall Model and Survey. In FiCloud 2017.

• Olivier Aumage, Julien Bigot, Hélène Coullon, Christian Perez and Jérôme Richard. Combining Both a Component Model and a Task-based Model for HPC Applications: A Feasibility Study on GYSELA. In CCGrid 2017.

2016

• Olivier Delestre, Morgan Abily, Florian Cordier, Philippe Gourbesville, Hélène Coullon. Comparison and Validation of Two Parallelization Approaches of FullSWOF_2D Software on a Real Case. In Advances in Hydroinformatics.

• Hélène Coullon, Julien Bigot, Christian Pérez. The Multi-Stencil Language: orchestrating stencils with a mesh-agnostic DSL. Inria Research report.

• Christian Pérez, Hélène Coullon, Richard Jérôme. Feasibility Study of a Runtime Component-based Model Integrating Task Graph Concept on a 1D Advection Case Study. Inria Research report.

2015

• Hélène Coullon, Sébastien Limet. The SIPSim implicit parallelism model and the SkelGIS library. In Concurrency and Computation: Practice and Experience.

• Julien Bigot, Hélène Coullon, Christian Pérez. From DSL to HPC component-based runtime: a multi-stencil DSL case study. In Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing.

2014

• Hélène Coullon. Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages. Ph.D. thesis.

• Hélène Coullon, Jose-Maria Fullana, Pierre-Yves Lagrée, Sébastien Limet, Xiaofei Wang. Blood flow arterial network simulation with the implicit parallelism library skelgis. Proceedings of the International Conference on Computational Science, ICCS 2014, Cairns, Queensland, Australia, 10-12 June, 2014.

• Hélène Coullon, Sébastien Limet. Implementation and performance analysis of skelgis for network mesh-based simulations. Euro-Par 2014 Parallel Processing - 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings.

• Hélene Coullon, Rob H Bisseling. Network Partitioning in Scientific Simulations-A Case Study. In CSC14: The Sixth SIAM Workshop on Combinatorial Scientific Computing.

2013

• Stéphane Cordier, Hélene Coullon, Olivier Delestre, Christian Laguerre, Minh Hoang Le, Daniel Pierre, Georges Sadaka. FullSWOF Paral: Comparison of two parallelization strategies (MPI and SKELGIS) on a software designed for hydrology applications. In ESAIM: Proceedings.

• Hélène Coullon, Minh-Hoang Le and Sébastien Limet. Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS. Proceedings of the International Conference on Computational Science, ICCS 2013, Barcelona, Spain, 5-7 June, 2013.

• Hélène Coullon and Sébastien Limet. Algorithmic skeleton library for scientific simulations: SkelGIS. International Conference on High Performance Computing and Simulation, HPCS 2013, Helsinki, Finland, July 1-5, 2013.

• Hélène Coullon, Sébastien Limet, Hoang Le Minh. Performances de la Librairie de Squelettes Algorithmiques SkelGIS. In ComPAS 2013.

2012

• Hélene Coullon, Sébastien Limet. Une librairie de squelettes algorithmiques par blocs sur structure de données 2d. In Conférence en IngénierE du Logiciel (CIEL), Rennes, France.

2011

• Hélène Coullon, Audrey Latapie, Sébastien Limet, Emmanuel Melin, Daniel Pierre, Sophie Robert, Xavier Thomas. Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux. In Ingénierie des systèmes d’information.

2010

• Hélène Coullon, Sébastien Limet, Emmanuel Melin. A simple framework to generate parallel application for geospatial processing. In Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application.