# | Type | Année | Titre | doi | Notice HAL | accès HAL | label OA |
---|---|---|---|---|---|---|---|
1 | ART | 2020 | Formalizing and simulating cross-layer elasticity strategies in Cloud systems | 10.1007/s10586-020-03080-8 | hal-02525324 | fichier | |
2 | ART | 2019 | Formal modelling and verifying elasticity strategies in cloud systems | 10.1049/iet-sen.2018.5030 | hal-02417557 | fichier | |
3 | COMM | 2018 | A Formal Model for Interaction Specification and Analysis in IoT Applications | 10.1007/978-3-030-00856-7_25 | hal-02507242 | fichier | |
4 | COMM | 2014 | Des buts à la modélisation système : une approche de modélisation des exigences centrée utilisateur | hal-01084878 | fichier | ||
5 | COMM | 2009 | MOCAS: A State-Based Component Model for Self-Adaptation | 10.1109/SASO.2009.11 | hal-01908725 |
label OA |
openaccess |
6 | COUV | 2018 | Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems | 10.1007/978-3-030-00856-7_11 | hal-02417551 | fichier | |
7 | UNDEFINED | 2007 | An Optimistic Approach for the Specification of more Flexible Roles Behavioural Compatibility Relations in MAS | hal-00192869 | fichier |