logo-hal

HALathon 2021 UPPA

Les articles que vous pouvez déposer

# Année Titre Revue Lien éditeur / doi Notice HAL
1 2020 A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration Journal of Systems Architecture 10.1016/j.sysarc.2020.101821 hal-02870377
2 2017 A Bigraphical Model for Specifying Cloud-Based Elastic Systems and Their Behaviour International Journal of Parallel, Emergent and Distributed Systems 10.1080/17445760.2016.1188927 hal-01906821
3 2014 A Compositional Framework to the Specification of Service Protocols Controllability and Substitutability International Journal of Computer Mathematics 10.1080/00207160.2013.827177. hal-01093288
4 2008 Ambiguity and Structural Property of Basic Sequence Diagrams. Innovations in Systems and Software Engineering hal-00383763

Références complètes

  1. Khaled Khebbeb, Nabil Hameurlain, Faiza Belala. A Maude-based rewriting approach to model and verify Cloud/Fog self-adaptation and orchestration. Journal of Systems Architecture, Elsevier, 2020, pp.101821. ⟨10.1016/j.sysarc.2020.101821⟩. ⟨hal-02870377⟩
  2. Hamza Sahli, Nabil Hameurlain, Faiza Belala. A Bigraphical Model for Specifying Cloud-Based Elastic Systems and Their Behaviour. International Journal of Parallel, Emergent and Distributed Systems, Taylor & Francis, 2017, 32 (6), pp.593-616. ⟨10.1080/17445760.2016.1188927⟩. ⟨hal-01906821⟩
  3. Nabil Hameurlain. A Compositional Framework to the Specification of Service Protocols Controllability and Substitutability. International Journal of Computer Mathematics, Taylor & Francis, 2014, pp.1137-1155. ⟨10.1080/00207160.2013.827177.⟩. ⟨hal-01093288⟩
  4. Nabil Hameurlain, Omar Tahir, Christophe Sibertin-Blanc. Ambiguity and Structural Property of Basic Sequence Diagrams.. Innovations in Systems and Software Engineering, Springer Verlag, 2008, pp.517-524. ⟨hal-00383763⟩