
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
Site web
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
|
Efficient Reconfigurations with Programmable Life Cycles: Contributions to Safety, Declarativity, and DecentralizationDistributed, Parallel, and Cluster Computing [cs.DC]. Nantes Université, 2025
HDR
tel-05188709
v1
|
|
Dynamic Adaptation of Urgent Applications in the Edge-to-Cloud ContinuumEuro-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
|
|
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case StudySANER 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
|
|
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude FormalizationICE 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
|
|
Evaluating the energy consumption of adaptation tasks for a CPS in the Arctic TundraGreenCom 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
|
|
Leveraging Relay Nodes to Deploy and Update Services in a CPS with Sleeping NodesCPSCom 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
|
|
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized ControllersSEAMS 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
|
|
SMT-Based Planning Synthesis for Distributed System ReconfigurationsFASE 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
|
|
Handling heterogeneous workflows in the Cloud while enhancing optimizations and performanceCLOUD 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
|
|
Executing Certified Model Transformations on Apache SparkSLE 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
|
|
Predictable Efficiency for Reconfiguration of Service-Oriented Systems with ConcertoCCGrid 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
|
|
Online Multi-User Workflow Scheduling Algorithm for Fairness and Energy OptimizationCCGrid2020 : 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
|
|
Towards Transparent Combination of Model Management Execution Strategies for Low-Code Development Platforms23rd 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
|
|
A workflow scheduling deadline-based heuristic for energy optimization in CloudGreenCom 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
|
|
Integrated Model-checking for the Design of Safe and Efficient Distributed Software CommissioningIFM 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
|
|
Virtual Machine Placement for Hybrid Cloud using Constraint Programming23rd 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
|
|
Automatic Energy Efficient HPC Programming: A Case StudyISPA 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
|
|
Ordonnancement multi-objectifs de workflows dans un Cloud privé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
|
|
Interfaces comportementales pour la reconfiguration de modèles à composantsCompas 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
|
|
Madeus: A formal deployment model4PAD 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
|
|
Production Deployment Tools for IaaSes: an Overall Model and SurveyThe 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
|
|
Combining Both a Component Model and a Task-based Model for HPC Applications: a Feasibility Study on GYSELA17th 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
|
|
Reconsidering the Relationship between Cloud Computing and Cloud ManufacturingSOHOMA 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
|
|
From DSL to HPC Component-Based Runtime: A Multi-Stencil DSL Case StudyWOLFHPC 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 SimulationsEuro-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 SkelGISICCS 2014, Jun 2014, Cairns, Australia
Communication dans un congrès
hal-00958089
v1
|
|
|
Blood Flow Arterial Network Simulation with the Implicit Parallelism Library SkelGISInternational 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 SkelGISComPAS 2013, Jan 2013, Grenoble, France
Communication dans un congrès
hal-00832674
v1
|
|
Algorithmic skeleton library for scientific simulations : SkelGISHPCS 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 SkelGISICCS, 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 2DCIEL 2012, Jun 2012, Rennes, France
Communication dans un congrès
hal-00832670
v1
|
|
A simple framework to generate parallel application for geospatial processing.COM.Geo 2010, 2010, Washington, United States. http://doi.acm.org/10.1145/1823854.1823891
Communication dans un congrès
hal-00785645
v1
|
|
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus2020
Pré-publication, Document de travail
hal-02737859
v1
|
|
Logiciel et Industrie du FuturHélène Coullon. Presse des Mines, pp.62, 2019, Mathématiques et Informatique, 9782356715760
Ouvrages
hal-02299214
v1
|
|
The Multi-Stencil Language: orchestrating stencils with a mesh-agnostic DSL[Research Report] RR-8962, Inria - Research Centre Grenoble – Rhône-Alpes. 2016, pp.30
Rapport
(rapport de recherche)
hal-01380607
v2
|
Feasibility Study of a Runtime Component-based Model Integrating Task Graph Concept on a 1D Advection Case Study[Contract] Inria. 2016, pp.21
Rapport
(rapport contrat/projet)
hal-01348204
v1
|
Comparison and Validation of Two Parallelization Approaches of FullSWOF_2D Software on a Real CaseAdvances in Hydroinformatics - SimHydro 2014, pp.12, 2015, ⟨10.1007/978-981-287-615-7_27⟩
Chapitre d'ouvrage
hal-01216037
v1
|
|
Modélisation et implémentation de parallélisme implicite pour les simulations scientifiques basées sur des maillagesOrdinateur et société [cs.CY]. Université d'Orléans, 2014. Français. ⟨NNT : 2014ORLE2029⟩
Thèse
tel-01094327
v1
|
Chargement...
Chargement...