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. Raoudha Maraoui, Eric Cariou. A mediation based approach for formal verification of web services composition. 2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩. ⟨hal-02507291⟩
2. Eric Cariou, Olivier Le Goaer, Franck Barbier. On the Executable Nature of Models. Proceedings of the 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Saint-Malo, France, October 3, 2016, Oct 2016, Saint-Malo, France. pp.44-46. ⟨hal-01909100⟩
3. Eric Cariou, Olivier Le Goaer, Franck Barbier. On the Executable Nature of Models. 2nd International Workshop on Executable Modeling Co-Located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), Oct 2016, Saint-Malo, France. ⟨hal-02415785⟩
4. Olivier Le Goaer, Eric Cariou, Franck Barbier. Comprendre La Nature Exécutable Des Modèles. 4ème Conférence En IngénieriE Du Logiciel (CIEL 2015), 2015, Bordeaux, France. ⟨hal-01912830⟩
5. Olivier Le Goaer, Eric Cariou, Franck Barbier. Energized State Charts with PauWare. 2nd Workshop on Engineering Interactive Systems with SCXML at EICS 2015, Jun 2015, Duisburg, Germany. ⟨hal-01912831⟩
6. Raoudha Maraoui, Amina Ben Belgacem, Mohamed Graiet, Eric Cariou. Formalisation des contrats structurels et de QdS d’une composition de services Web. Conférence francophone sur l'Architecture Logicielle (CAL 2014), Jun 2014, Paris, France. ⟨hal-01094205⟩
7. Olivier Le Goaer, Franck Barbier, Eric Cariou, Samson Pierre. Android Executable Modeling: Beyond Android Programming. International Workshop on Mobile Applications (MobiApps 2014) at the 11th International Conference on Mobile Web Information Systems (MobiWIS 2014), Aug 2014, Barcelone, Spain. ⟨hal-01094146⟩
8. Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier. A Family-based Framework for i-DSML Adaptation. 9th European Conference on Modelling Foundations and Applications (ECMFA 2014), Jul 2014, York, United Kingdom. pp.164--179. ⟨hal-01094168⟩
9. Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte. ­Semantic  mappings  between  service,  component  and  agent   models. 15th  ACM  SIGSOFT  symposium  on  Component  Based  Software  Engineering (CBSE'2012)  , Jun 2012, Bertinoro, Italy. pp.29-34. ⟨hal-01101689⟩
10. Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte. Correspondances  sémantiques  entre  des  modèles  de  services,   de  composants  et  d'agents . 6ème  Conférence  Francophone  sur  les  Architectures  Logicielles  (CAL  2012), May 2012, Montpellier, France. ⟨hal-01101694⟩
11. Franck Barbier, Eric Cariou. Inductive UML. Model and Data Engineering - 2nd International Conference, MEDI 2012, Poitiers, France, October 3-5, 2012. Proceedings, Oct 2012, Poitiers, France. pp.153-161, ⟨10.1007/978-3-642-33609-6\_15⟩. ⟨hal-01908724⟩
12. Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte. Service-Oriented Integration of Component and Agent Models. special session on Architectures, Concepts and Technologies for Service Oriented Computing (ACT4SOC) of the 6th International Conference on Software and Data Technologies (ICSOFT 2011), Jul 2011, Rome, Italy. ⟨hal-00648907⟩
13. Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes. Towards a Component Agent Service Oriented Model (short paper). 5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France. ⟨hal-00648923⟩
14. W. Ben Abid, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Walid Gaaloul, et al.. UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures. The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain. ⟨hal-00648911⟩
15. Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. MDE approach for the generation and verification of SCA model. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩. ⟨hal-00751241⟩
16. Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. ATL transformation for the generation of SCA model. SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩. ⟨hal-00751248⟩
17. Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Profile UML2.0 for specification of the SCA architectures. SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩. ⟨hal-01354605⟩
18. Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, et al.. Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩. ⟨hal-00751243⟩
19. S. Louhichi, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Eric Cariou. ATL Transformation of UML 2.0 for the Generation of SCA Model. The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain. ⟨hal-00648916⟩
20. A. Mhamdi, R. Maraoui, Mohamed Graiet, M. Kmimech, M. T. Bhiri, et al.. Transformation of Composite Web Service for QoS Extension into ACME\Armani. The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain. ⟨hal-00648920⟩
21. Eric Cariou, Nicolas Belloir, Franck Barbier. Contrats de transformation pour la validation de raffinement de modèles. 5èmes journées sur l'Ingénierie dirigée par les Modèles (IDM 2009), Mar 2009, Nancy, France. ⟨hal-01093458⟩
22. Sylvain Eveillard, Franck Barbier, Kamal Youbi, Eric Cariou. Model-Driven Reverse Engineering of COBOL-Based Applications. Tools and Consultancy Track in 5th European Conference on Model-Driven Architecture (ECMDA-FA 2009), Jun 2009, Twente, Netherlands. ⟨hal-01093453⟩
23. Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL contracts for the verification of model transformations. the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009, Oct 2009, Denver, United States. ⟨hal-01093419⟩
24. Franck Barbier, Eric Cariou. Component Design Based on Model Executability. The 34th EUROMICRO SEAA Conference, CBSE Track, IEEE Computer Society, Sep 2008, Parma, Italy. pp.;. ⟨hal-00384541⟩
25. Nicolas Belloir, Jean-Michel Bruel, Eric Cariou. Implémentation d'un modèle UML de composition hiérarchique.. In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.;. ⟨hal-00395686⟩
26. Philippe Aniorte, Eric Gouarderes, Eric Cariou. Modélisation de systèmes complexes distribués : l'ingénierie des modèles pour l'intégration des paradigmes agent et composant. 2ème Journée Multi-Agent et Composant, Mar 2006, Nîmes, France. pp.;. ⟨hal-00408644⟩

---

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

---