Search - Université de Pau et des Pays de l'Adour Access content directly

Filter your results

15 Results
Structure: Internal structure identifier : 431019
Image document

Formalisation et Évaluation de Stratégies d’Élasticité Multi-couches dans le Cloud

Khaled Khebbeb
Informatique [cs]. LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour; LIRE - Laboratoire d'Informatique Répartie de l'Université Constantine 2, 2019. Français. ⟨NNT : 2019PAUU3010⟩
Theses tel-02271523v1
Image document

Towards an observer/controller and ontology/rule- based approach for pervasive healthcare systems

Amina Hameurlaine , Kenza Abdelaziz , Philippe Roose , Mohamed-Khireddine Kholladi
IJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, 2017, 26
Journal articles hal-02436880v1
Image document

Formal modelling and verifying elasticity strategies in cloud systems

Khaled Khebbeb , Nabil Hameurlain , Faiza Belala , Hamza Sahli
IET Software, 2019, 13 (1), pp.25-35. ⟨10.1049/iet-sen.2018.5030⟩
Journal articles hal-02417557v1
Image document

A Formal Language for Modelling and Verifying Systems-of-Systems Software Architectures

Akram Seghiri , Faiza Belala , Nabil Hameurlain
International journal of systems and service-oriented engineering (IJSSOE), 2022, 12 (1), pp.1-17. ⟨10.4018/IJSSOE.297137⟩
Journal articles hal-03658631v1

Formal Modeling and Verification of Cloud Elasticity with Maude and LTL

Khaled Khebbeb , Nabil Hameurlain , Faiza Belala
Attiogbé C., Ferrarotti F., Maabout S. (eds) New Trends in Model and Data Engineering. MEDI 2019. Communications in Computer and Information Science, vol 1085. Springer, Cham, pp.64-77, 2019, ⟨10.1007/978-3-030-32213-7_5⟩
Book sections hal-02417562v1
Image document

Modeling and Evaluating Cross-layer Elasticity Strategies in Cloud Systems

Khaled Khebbeb , Nabil Hameurlain , Faiza Belala
Abdelwahed E., Bellatreche L., Golfarelli M., Méry D., Ordonez C. (eds) Model and Data Engineering. MEDI 2018. Lecture Notes in Computer Science, vol 11163., pp.168-183, 2018, ⟨10.1007/978-3-030-00856-7_11⟩
Book sections hal-02417551v1

A BRS Based Approach for Modeling Elastic Cloud Systems

Khaled Khebbeb , Hamza Sahli , Nabil Hameurlain , Faiza Belala
Braubach L. et al. (eds) Service-Oriented Computing – ICSOC 2017 Workshops. ICSOC 2017. Lecture Notes in Computer Science, vol 10797. Springer, Cham, pp.5-17, 2018, ⟨10.1007/978-3-319-91764-1_1⟩
Book sections hal-02417541v1

Towards Software Architectural Description for Systems of Systems

Faiza Belala , A. Aymen Teniou , Akram Seghiri
the 2018 International Conference, Apr 2018, Singapore, Singapore. pp.183-187, ⟨10.1145/3230348.3230367⟩
Conference papers hal-03658626v1

Towards an Observer/Controller and Ontology/Rule-Based Approach for Pervasive Healthcare Systems

Amina Hameurlaine , Kenza Abdelaziz , Philippe Roose , Mohamed-Khireddine Kholladi
IJAHUC - International Journal of Ad Hoc and Ubiquitous Computing, 2017, 26 (3), pp.137-156. ⟨10.1504/IJAHUC.2015.10001941⟩
Journal articles hal-01906799v1

A Bigraphical Model for Specifying Cloud-Based Elastic Systems and Their Behaviour

Hamza Sahli , Nabil Hameurlain , Faiza Belala
International Journal of Parallel, Emergent and Distributed Systems, 2017, 32 (6), pp.593-616. ⟨10.1080/17445760.2016.1188927⟩
Journal articles hal-01906821v1
Image document

A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration

Khaled Khebbeb , Nabil Hameurlain , Faiza Belala
Journal of Systems Architecture, 2020, pp.101821. ⟨10.1016/j.sysarc.2020.101821⟩
Journal articles hal-02870377v1

A Theoretical Approach for Modelling Cloud Services Composition

Zakaria Benzadri , Nabil Hameurlain , Faiza Belala , Chafia Bouanaka
2016 International Conference on Advanced Aspects of Software Engineering, ICAASE 2016, Constantine, Algeria, October 29-30, 2016, Oct 2016, Constantine, Algeria. pp.1-8, ⟨10.1109/ICAASE.2016.7843858⟩
Conference papers hal-01908720v1
Image document

Formal Modeling IoT Systems on the Basis of BiAgents* and Maude

Souad Marir , Belala Faiza , Hameurlain Nabil , St Marir Souad
2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, Algeria. pp.1-7, ⟨10.1109/ICAASE51408.2020.9380126⟩
Conference papers hal-03177450v2
Image document

Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems

Faiza Belala , Nabil Hameurlain , Akram Seghiri
17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, Portugal. pp.162-173, ⟨10.5220/0011069300003176⟩
Conference papers hal-03658634v1
Image document

Formalizing and simulating cross-layer elasticity strategies in Cloud systems

Khaled Khebbeb , Nabil Hameurlain , Faiza Belala
Cluster Computing, 2020, ⟨10.1007/s10586-020-03080-8⟩
Journal articles hal-02525324v1