Hélène Coullon

Orcid: 0000-0003-2573-2147

Affiliations:
  • IMT Atlantique, Nantes, France
  • University of Orléans, France (former)


According to our database1, Hélène Coullon authored at least 28 papers between 2010 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey.
ACM Comput. Surv., January, 2024

2023
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers.
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023

2022
SMT-Based Planning Synthesis for Distributed System Reconfigurations.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

Handling heterogeneous workflows in the Cloud while enhancing optimizations and performance.
Proceedings of the IEEE 15th International Conference on Cloud Computing, 2022

2021
Toward safe and efficient reconfiguration with Concerto.
Sci. Comput. Program., 2021

Executing certified model transformations on Apache Spark.
Proceedings of the SLE '21: 14th ACM SIGPLAN International Conference on Software Language Engineering, Chicago, IL, USA, October 17, 2021

2020
Towards transparent combination of model management execution strategies for low-code development platforms.
Proceedings of the MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

Predictable Efficiency for Reconfiguration of Service-Oriented Systems with Concerto.
Proceedings of the 20th IEEE/ACM International Symposium on Cluster, 2020

Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy Optimization.
Proceedings of the 20th IEEE/ACM International Symposium on Cluster, 2020

2019
Extensibility and Composability of a Multi-Stencil Domain Specific Framework.
Int. J. Parallel Program., 2019

A Workflow Scheduling Deadline-Based Heuristic for Energy Optimization in Cloud.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Integrated Model-Checking for the Design of Safe and Efficient Distributed Software Commissioning.
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018
Automatic Energy Efficient HPC Programming: A Case Study.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Madeus: A Formal Deployment Model.
Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018

2017
Reconsidering the Relationship Between Cloud Computing and Cloud Manufacturing.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

Virtual Machine Placement for Hybrid Cloud Using Constraint Programming.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Production Deployment Tools for IaaSes: An Overall Model and Survey.
Proceedings of the 5th IEEE International Conference on Future Internet of Things and Cloud, 2017

Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on Gysela.
Proceedings of the 17th IEEE/ACM International Symposium on Cluster, 2017

2016
The SIPSim implicit parallelism model and the SkelGIS library.
Concurr. Comput. Pract. Exp., 2016

2015
From DSL to HPC component-based runtime: a multi-stencil DSL case study.
Proceedings of the 5th International Workshop on Domain-Specific Languages and High-Level Frameworks for High Performance Computing, 2015

2014
Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillages. (Model and implementation of implicit parallélism for mesh-based scientific simulations).
PhD thesis, 2014

Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGIS.
Proceedings of the International Conference on Computational Science, 2014

Implementation and Performance Analysis of SkelGIS for Network Mesh-Based Simulations.
Proceedings of the Euro-Par 2014 Parallel Processing, 2014

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

Algorithmic skeleton library for scientific simulations: SkelGIS.
Proceedings of the International Conference on High Performance Computing & Simulation, 2013

Parallelization of Shallow-Water Equations with the Algorithmic Skeleton Library SkelGIS.
Proceedings of the International Conference on Computational Science, 2013

2011
Calculs parallèles pour le traitement des gros volumes de données liées aux risques environnementaux.
Ingénierie des Systèmes d Inf., 2011

2010
A simple framework to generate parallel application for geospatial processing.
Proceedings of the 1st International Conference and Exhibition on Computing for Geospatial Research & Application, 2010


  Loading...