HALathon 2021 UPPA

Les communications que vous pouvez déposer

• Avec actes : Si colloque au moins annuel dont les actes sont publiés par le même éditeur (collection ou revue).

• Sans actes (donc non-publiée, vous êtes pleinement propriétaire des droits) :

  • Texte de votre communication en Document principal

  • Support de présentation (slides) en annexe

Références complètes

1. Akram Seghiri, F. Belala, Z. Benzadri, Nabil Hameurlain. A Maude based Specification for SoS Architecture. 2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.45-52, ⟨10.1109/SYSOSE.2018.8428738⟩. ⟨hal-03025335⟩
2. Zakaria Benzadri, Nabil Hameurlain, Faiza Belala, Chafia Bouanaka. A Theoretical Approach for Modelling Cloud Services Composition. 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⟩. ⟨hal-01908720⟩
3. Nabil Hameurlain. Controllability Preservation and Behavioural Refinement for Service Protocols. Services Computing Conference (APSCC), 2012 IEEE Asia-Pacific, Dec 2012, Guilin, China. pp.203-210. ⟨hal-01093310⟩
4. Nabil Hameurlain. Compatibility and Conformance of Role-Based Interaction Components in MAS. Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Jun 2009, Uppsala, Sweden. pp.579-588. ⟨hal-01093324⟩
5. C. Ballagny, Nabil Hameurlain, Franck Barbier. MOCAS: a state-Based components Model for Self-Adaptation. Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2009, Sep 2009, California, United States. pp.206-215. ⟨hal-01093317⟩
6. C. Ballagny, Nabil Hameurlain, Franck Barbier. Dynamic Adaptive Software Components: the MOCAS Approach. First International Workshop on Autonomous and Autonomic Software-Based Systems, Oct 2008, Cergy-Pontoise, France. pp.517-524. ⟨hal-00384424⟩
7. Nabil Hameurlain. Flexible Behavioural Compatibility and Substitutability for Component Protocols. A Formal Specification.. 5th IEEE International Conference on Software Engineering and Formal Methods., 2007, Londres, United Kingdom. pp.391-400. ⟨hal-00394769⟩
8. C. Ballagny, Nabil Hameurlain, Franck Barbier. Endowing software components with autonomic capabilities based on modeling language executability. 1st Workshop on Model-driven Software Adaptation, Jul 2007, Berlin, Germany. pp.55-60. ⟨hal-00389731⟩
9. Nabil Hameurlain. Formalizing Context-Based Behavioural Compatibility and Substitubility for Role Components in MAS.. 5th International Central and Eastern European Conference on Multi-Agent Systems, 2007, European Union. pp.153-162. ⟨hal-00390401⟩
10. Nabil Hameurlain. A Formal Framework for Component Protocols Behavioural Compatibility. 13th Asia Pacific Software Engineering Conference, 2006, India. pp.87-94. ⟨hal-00408553⟩
11. Leila Amgoud, Nabil Hameurlain. An Argumentation-based Framework for Designing Dialogue Strategies. 17th European Conference on Artifical Intelligence, 2006, Riva del Garda, Italy. pp.713-714. ⟨hal-00408555⟩
12. Leila Amgoud, Nabil Hameurlain. A Formal Model for Designing Dialogue Strategies. 5th International Joint Conference on Autonomous Agents and Multi-Agent Systems, 2006, Hakodate, Japan. pp.414-416. ⟨hal-00408556⟩
13. Nabil Hameurlain. Formalizing Compatibility and Substitutability of Role-based Interactions Components in Multi-Agent Systems. 4th International/Central and Eastern European Conference on Multi-Agent Systems, 2005, Budapest, Hungary. pp.153-162. ⟨hal-00408561⟩
14. Nabil Hameurlain. On compatibility and behavioural substitutability of component protocols. 3rd IEEE International Conference on Software Engineering and Formal Methods, 2005, Germany. pp.394-403. ⟨hal-00408571⟩
15. Nabil Hameurlain. Spécification formelle des composants d'interaction à base de rôles : Compatibilité et substituabilité.. In 3èmes Journées Francophones Modèles Formels de l'Interaction, 2005, France. pp.133-142. ⟨hal-00408666⟩
16. Nabil Hameurlain. Specification and verification of components interaction protocols in multi-agent systems.. 5th IEEE International Symposium and School on Advance Distributed Systems, 2005, Mexico. pp.;. ⟨hal-00408573⟩

---

Des remarques, des corrections ou des questions ? Contactez-nous ::: hal@univ-pau.fr ::: (Gaëlle, Marina, Julien) ::: HALathon, mode d'emploi :::

---