Search - Archive ouverte HAL Access content directly

Filter your results

1 880 Results
Image document

Integrated Environment for Verifying and Running Distributed Components

Ludovic Henrio , Oleksandra Kulankhina , Siqi Li , Eric Madelaine
Fundamental Approaches to Software Engineering, Perdita Stevens; Andrzej Wąsowski, Apr 2016, Eindhoven, Netherlands. pp.66-83, ⟨10.1007/978-3-662-49665-7_5⟩
Conference papers hal-01303557v1
Image document

Scheduling Live Migration of Virtual Machines

Vincent Kherbache , Eric Madelaine , Fabien Hermenier
IEEE Transactions on Cloud Computing, 2017, pp.1-14. ⟨10.1109/TCC.2017.2754279⟩
Journal articles hal-01644729v1
Image document

WIP: Domain Specific Debugging by using RUNSTAR

Ryana Karaki , Ludovic Marti , Julien Deantoni
FDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France
Conference papers hal-03375006v1
Image document

WIP on a Coordination Language to Automate the Generation of Co-Simulations

Giovanni Liboni , Julien Deantoni
FDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom
Conference papers hal-02292048v1
Image document

Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models

Julien Deantoni
Embedded Systems. Université Côte d'Azur, CNRS, I3S, France, 2019
Habilitation à diriger des recherches tel-02427962v1
Image document

Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation Goals

João Cambeiro , Julien Deantoni , Vasco Amaral
International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS'21), Oct 2021, Fukuoka, Japan
Conference papers hal-03374990v1

Editorial - Theoretical Aspects of Software Engineering (2017)

Frédéric Mallet , Min Zhang
Science of Computer Programming, 2020, 198, pp.102521. ⟨10.1016/j.scico.2020.102521⟩
Journal articles hal-03135431v1
Image document

A Service-Oriented Middleware Enabling Decentralised Deployment in Mobile Multihop Networks

Luc Hogie
FMCIoT 2022 - 3rd International Workshop on Architectures for Future Mobile Computing and Internet of Things / collocated with ICSOC 2022 - 20th International Conference on Service-Oriented Computing, Oct 2022, Sevilla, Spain
Conference papers hal-03886521v1

A Perspective on the CoreGRID Grid Component Model

Françoise Baude
Euro-Par 2011: Parallel Processing Workshops, Aug 2011, Bordeaux, France
Conference papers hal-01332352v1
Image document

Idawi: a middleware for distributed applications in the IOT, the fog and other multihop dynamic networks

Luc Hogie
[Research Report] CNRS - Centre National de la Recherche Scientifique; Université Côte d'azur; Inria. 2022
Reports hal-03562184v1

Model-Based Systems Engineering for Cyber-Physical Systems: a (possible) roadmap for MARTE

Frédéric Mallet
3rd International workshop on TIming Performance engineering for Safety critical systems CONFESTA/TIPS, Sep 2018, Beijing, China
Conference papers hal-01898291v1

From Logical Time Scheduling to Real-Time Scheduling

Frédéric Mallet , Min Zhang
39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Conference papers hal-01971976v1

IT&I-2021 : Information Technology and Implementation 2021

Anatoly Anisimov , Vitaliy Snytyuk , Aldrich Chris , Andreas Pester , Frédéric Mallet et al.
CEUR Workshop Proceedings, CEUR-3132, 2022
Proceedings hal-03836228v1
Image document

Monitoring as-a-service to drive more efficient future system design

Frédéric Lemoine , Tatiana Aubonnet , Ludovic Henrio , Soumia Kessal , Eric Madelaine et al.
EAI Endorsed Transactions on Cloud Systems, 2017, 3 (9), pp.1 - 15. ⟨10.4108/eai.28-6-2017.152754⟩
Journal articles hal-01582593v1
Image document

Analysis of synchronisation patterns in stateful active objects

Ludovic Henrio , Cosimo Laneve , Vincenzo Mastandrea
[Research Report] I3S; Inria - Sophia antipolis. 2017
Reports hal-01542595v1
Image document

Data-flow Explicit Futures

Ludovic Henrio
[Research Report] I3S, Université Côte d'Azur. 2018
Reports hal-01758734v1
Image document

Behavioural semantics for asynchronous components

Rabéa Ameur-Boulifa , Ludovic Henrio , Oleksandra Kulankhina , Eric Madelaine , Alexandra Savu et al.
Journal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
Journal articles hal-01526055v1
Image document

Induced broadcasting algorithms in iterated line digraphs

Jean-Claude Bermond , Xavier Muñoz , Alberto Marchetti-Spaccamela
Proc. Conference EUROPAR96, Aug 1996, Lyon, France. pp.313-324
Conference papers hal-03838874v1

On The Design of SLA-Aware and Cost-Efficient Event Driven Microservices

Mazen Ezzeddine , Sébastien Tauvel , Françoise Baude , Fabrice Huet
The Seventh International Workshop on Container Technologies and Container Clouds colocated with Middleware, Dec 2021, Quebec City, Canada
Conference papers hal-03429301v1

Fast Approximation for Computing the Fractional Arboricity of a Graph

Mikaila Worou Toko
Conference on Optimal Discrete Structures and Algorithms (ODSA), 2010, Rostock, Germany, Germany
Conference papers hal-00794903v1
Image document

De la programmation parallèle structurée à la programmation pour la grille

Françoise Baude
Informatique [cs]. Université Nice Sophia Antipolis, 2006
Habilitation à diriger des recherches tel-00507049v1
Image document

Energy Efficient Content Distribution

Julio Araujo , Frédéric Giroire , Yaning Liu , Remigiusz Modrzejewski , Joanna Moulierac et al.
IEEE International Conference on Communications (ICC), Jun 2013, Budapest, Hungary. pp.4233-4238, ⟨10.1109/ICC.2013.6655228⟩
Conference papers hal-00800273v1
Image document

On reproducibility and traceability of simulations

Olivier Dalle
WSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany. pp.244
Conference papers hal-00782834v1

Behavioural models for distributed Fractal components

Tomás Barros , Rabéa Ameur-Boulifa , Antonio Cansado , Ludovic Henrio , Eric Madelaine et al.
Annals of Telecommunications - annales des télécommunications, 2009, 64 (1-2), pp.25-43. ⟨10.1007/s12243-008-0069-7⟩
Journal articles hal-02904822v1

Minimizing SONET ADMs in Unidirectional WDM Rings with Grooming Ratio 3

Jean-Claude Bermond , Stephan Ceroi
Networks, 2003, 41 (2), pp.83-86
Journal articles lirmm-00269767v1
Image document

Flexible adaptation loop for component-based soa applications

Cristian Ruz , Françoise Baude , Bastien Sauvan
Seven International Conference on Autonomic and Autonomous Systems, IARIA, May 2011, Venice, Italy
Conference papers hal-01332318v1

Nouvelle Approche pour le Problème de Modularité

Jérôme Galier , Mikaila Worou Toko
Workshop Algorithmique, combinatoire du texte et applications en bio-informatique, 2010, Montpellier, France, France
Conference papers hal-00794906v1

Curriculum guidelines for new Fintech Master's Programmes

Balint Molnar , Adam Tarcsi , Françoise Baude , Galena Pisoni , Chan Nam Ngo et al.
2020 18th International Conference on Emerging eLearning Technologies and Applications (ICETA), Nov 2020, Košice, Slovenia. pp.470-474, ⟨10.1109/ICETA51985.2020.9379223⟩
Conference papers hal-03591461v1
Image document

Objets mobiles : conception d'un middleware et évaluation de la communication

Fabrice Huet
Réseaux et télécommunications [cs.NI]. Université Nice Sophia Antipolis, 2002. Français. ⟨NNT : ⟩
Theses tel-00505420v1

Idawi: a decentralized middleware for achieving the full potential of the IoT, the fog, and other difficult computing environments

Luc Hogie
MIDDLEWEDGE 2022 - Proceedings of the 1st Workshop on Middleware for the Edge, Nov 2022, Quebec City, Canada. pp.1-5, ⟨10.1145/3565385.3565876⟩
Conference papers hal-03863333v1