Filter your results
- 1541
- 338
- 1
- 740
- 468
- 411
- 96
- 42
- 27
- 16
- 16
- 14
- 13
- 9
- 8
- 8
- 7
- 3
- 2
- 330
- 14
- 1
- 1823
- 94
- 24
- 13
- 10
- 3
- 3
- 2
- 38
- 29
- 26
- 25
- 23
- 21
- 21
- 18
- 91
- 108
- 75
- 86
- 75
- 91
- 96
- 108
- 102
- 124
- 119
- 118
- 116
- 115
- 86
- 65
- 72
- 40
- 28
- 33
- 31
- 18
- 10
- 18
- 9
- 12
- 9
- 3
- 1
- 1
- 1
- 1
- 1719
- 147
- 9
- 4
- 1
- 1880
- 1846
- 289
- 71
- 58
- 56
- 56
- 49
- 47
- 46
- 38
- 31
- 29
- 25
- 24
- 24
- 23
- 22
- 20
- 18
- 18
- 17
- 17
- 16
- 16
- 15
- 15
- 14
- 14
- 14
- 14
- 13
- 13
- 13
- 13
- 12
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 193
- 176
- 168
- 141
- 141
- 137
- 132
- 83
- 73
- 73
- 62
- 61
- 58
- 57
- 57
- 49
- 46
- 43
- 41
- 40
- 40
- 39
- 38
- 38
- 35
- 32
- 31
- 29
- 28
- 27
- 26
- 26
- 25
- 25
- 23
- 23
- 22
- 21
- 21
- 20
- 20
- 20
- 20
- 18
- 18
- 17
- 17
- 17
- 16
- 15
- 15
- 15
- 15
- 15
- 15
- 14
- 14
- 14
- 14
- 14
- 14
- 13
- 13
- 12
- 12
- 12
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 9
- 9
- 9
1 880 Results
|
Integrated Environment for Verifying and Running Distributed ComponentsFundamental 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
|
||
|
Scheduling Live Migration of Virtual MachinesIEEE Transactions on Cloud Computing, 2017, pp.1-14. ⟨10.1109/TCC.2017.2754279⟩
Journal articles
hal-01644729v1
|
||
|
WIP: Domain Specific Debugging by using RUNSTARFDL 2021 - Forum on specification & Design Languages, Sep 2021, Antibes, France
Conference papers
hal-03375006v1
|
||
|
WIP on a Coordination Language to Automate the Generation of Co-SimulationsFDL 2019 - Forum on specification & Design Languages, Sep 2019, Southampton, United Kingdom
Conference papers
hal-02292048v1
|
||
|
Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous ModelsEmbedded Systems. Université Côte d'Azur, CNRS, I3S, France, 2019
Habilitation à diriger des recherches
tel-02427962v1
|
||
|
Supporting the Engineering of Multi-Fidelity Simulation Units With Simulation GoalsInternational 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)Science of Computer Programming, 2020, 198, pp.102521. ⟨10.1016/j.scico.2020.102521⟩
Journal articles
hal-03135431v1
|
||
|
A Service-Oriented Middleware Enabling Decentralised Deployment in Mobile Multihop NetworksFMCIoT 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 ModelEuro-Par 2011: Parallel Processing Workshops, Aug 2011, Bordeaux, France
Conference papers
hal-01332352v1
|
|||
|
Idawi: a middleware for distributed applications in the IOT, the fog and other multihop dynamic networks[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 MARTE3rd 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 Scheduling39th IEEE Real-Time Systems Symposium, Dec 2018, Nashville, United States
Conference papers
hal-01971976v1
|
|||
IT&I-2021 : Information Technology and Implementation 2021CEUR Workshop Proceedings, CEUR-3132, 2022
Proceedings
hal-03836228v1
|
|||
|
Monitoring as-a-service to drive more efficient future system designEAI Endorsed Transactions on Cloud Systems, 2017, 3 (9), pp.1 - 15. ⟨10.4108/eai.28-6-2017.152754⟩
Journal articles
hal-01582593v1
|
||
|
Analysis of synchronisation patterns in stateful active objects[Research Report] I3S; Inria - Sophia antipolis. 2017
Reports
hal-01542595v1
|
||
|
Data-flow Explicit Futures[Research Report] I3S, Université Côte d'Azur. 2018
Reports
hal-01758734v1
|
||
|
Behavioural semantics for asynchronous componentsJournal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
Journal articles
hal-01526055v1
|
||
|
Induced broadcasting algorithms in iterated line digraphsProc. Conference EUROPAR96, Aug 1996, Lyon, France. pp.313-324
Conference papers
hal-03838874v1
|
||
On The Design of SLA-Aware and Cost-Efficient Event Driven MicroservicesThe 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 GraphConference on Optimal Discrete Structures and Algorithms (ODSA), 2010, Rostock, Germany, Germany
Conference papers
hal-00794903v1
|
|||
|
De la programmation parallèle structurée à la programmation pour la grilleInformatique [cs]. Université Nice Sophia Antipolis, 2006
Habilitation à diriger des recherches
tel-00507049v1
|
||
|
Energy Efficient Content DistributionIEEE International Conference on Communications (ICC), Jun 2013, Budapest, Hungary. pp.4233-4238, ⟨10.1109/ICC.2013.6655228⟩
Conference papers
hal-00800273v1
|
||
|
On reproducibility and traceability of simulationsWSC - Winter Simulation Conference - 2012, Dec 2012, Berlin, Germany. pp.244
Conference papers
hal-00782834v1
|
||
|
Behavioural models for distributed Fractal componentsAnnals 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 3Networks, 2003, 41 (2), pp.83-86
Journal articles
lirmm-00269767v1
|
|||
|
Flexible adaptation loop for component-based soa applicationsSeven International Conference on Autonomic and Autonomous Systems, IARIA, May 2011, Venice, Italy
Conference papers
hal-01332318v1
|
||
Nouvelle Approche pour le Problème de Modularité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 Programmes2020 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
|
|||
|
Objets mobiles : conception d'un middleware et évaluation de la communicationRé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 environmentsMIDDLEWEDGE 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
|