2020
Conference papers
- titre
- A software development process based on UML state machines
- auteur
- Eric Cariou, Lea Brunschwig, Olivier Le Goaer, Franck Barbier
- article
- 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2020, Constantine, France. pp.1-8, ⟨10.1109/ICAASE51408.2020.9380117⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- titre
- A Black-Box and Contract-Based Verification of Model Transformations
- auteur
- Meriem Lahrouni, Eric Cariou, Abdelaziz El Fazziki
- article
- The international Arab journal of information technology, 2019, 16(4)
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Executable Modeling for Reactive Programming
- auteur
- Franck Barbier, Eric Cariou
- article
- Model-Driven Engineering and Software Development. MODELSWARD 2018, 991, Springer, pp.1-8, 2019, Communications in Computer and Information Science, ⟨10.1007/978-3-030-11030-7_1⟩
- Accès au texte intégral et bibtex
-
2018
Journal articles
- titre
- The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems
- auteur
- Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz
- article
- Microprocessors and Microsystems: Embedded Hardware Design , 2018, 61, pp.86 - 95. ⟨10.1016/j.micpro.2018.05.010⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Generic Solution for Weaving Business Code into Executable Models
- auteur
- Olivier Le Goaer, Eric Cariou, Léa Brunschwig, Franck Barbier
- article
- 4th International Workshop on Executable Modeling at MoDELS (EXE 2018), 2018, Copenhagen, Denmark. pp.251-256
- Accès au texte intégral et bibtex
-
- titre
- Xmodeling Studio : Un Outil Pour Définir Des DSL Exécutables
- auteur
- Léa Brunschwig, Olivier Le Goaer, Eric Cariou
- article
- 7ème Conférence En IngénieriE Du Logiciel (CIEL 2018), 2018, Grenoble, France
- Accès au texte intégral et bibtex
-
2017
Conference papers
- titre
- The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems
- auteur
- Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz
- article
- European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, Aug 2017, Vienna, Austria. ⟨10.1109/DSD.2017.50⟩
- Accès au texte intégral et bibtex
-
- titre
- A mediation based approach for formal verification of web services composition
- auteur
- Raoudha Maraoui, Eric Cariou
- article
- 2017 International Conference on Engineering & MIS (ICEMIS), May 2017, Monastir, France. pp.1-6, ⟨10.1109/ICEMIS.2017.8272975⟩
- Accès au bibtex
-
- titre
- World Wide Modeling Made Easy - A Simple, Lightweight Model Server
- auteur
- Olivier Le Goaer, Eric Cariou, Franck Barbier
- article
- MODELSWARD 2017: Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.269-276, ⟨10.5220/0006110802690276⟩
- Accès au texte intégral et bibtex
-
2016
Conference papers
- titre
- On the Executable Nature of Models
- auteur
- Eric Cariou, Olivier Le Goaer, Franck Barbier
- article
- 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
- Accès au bibtex
-
- titre
- On the Executable Nature of Models
- auteur
- Eric Cariou, Olivier Le Goaer, Franck Barbier
- article
- 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
- Accès au bibtex
-
Book sections
- titre
- Android Executable Modeling: Beyond Android Programming
- auteur
- Olivier Le Goaer, Franck Barbier, Eric Cariou
- article
- Modern Software Engineering Methodologies for Mobile and Cloud Environments, IGI Global, pp.269-283, 2016, 9781466699175 (ISBN); 1466699167 (ISBN); 9781466699168 (ISBN). ⟨10.4018/978-1-4666-9916-8.ch014⟩
- Accès au bibtex
-
2015
Journal articles
- titre
- Adaptation d'exécution de Modèles Par Contrats
- auteur
- Eric Cariou, Olivier La Goaer, Franck Barbier, Samson Pierre, Mohamed Graiet
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (6), pp.703-730. ⟨10.3166/tsi.34.703-730⟩
- Accès au bibtex
-
- titre
- Software Adaptation: Classification and a Case Study with State Chart XML
- auteur
- Franck Barbier, Eric Cariou, Olivier Le Goaer, Samson Pierre
- article
- IEEE Software, 2015, 32 (5), pp.68-76. ⟨10.1109/MS.2014.130⟩
- Accès au bibtex
-
Conference papers
- titre
- Energized State Charts with PauWare
- auteur
- Olivier Le Goaer, Eric Cariou, Franck Barbier
- article
- 2nd Workshop on Engineering Interactive Systems with SCXML at EICS 2015, Jun 2015, Duisburg, Germany
- Accès au bibtex
-
- titre
- Comprendre La Nature Exécutable Des Modèles
- auteur
- Olivier Le Goaer, Eric Cariou, Franck Barbier
- article
- 4ème Conférence En IngénieriE Du Logiciel (CIEL 2015), 2015, Bordeaux, France
- Accès au bibtex
-
2014
Conference papers
- titre
- Android Executable Modeling: Beyond Android Programming
- auteur
- Olivier Le Goaer, Franck Barbier, Eric Cariou, Samson Pierre
- article
- International Workshop on Mobile Applications (MobiApps 2014) at the 11th International Conference on Mobile Web Information Systems (MobiWIS 2014), Aug 2014, Barcelone, Spain
- Accès au bibtex
-
- titre
- A Family-based Framework for i-DSML Adaptation
- auteur
- Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier
- article
- 9th European Conference on Modelling Foundations and Applications (ECMFA 2014), Jul 2014, York, United Kingdom. pp.164--179
- Accès au bibtex
-
- titre
- Formalisation des contrats structurels et de QdS d’une composition de services Web
- auteur
- Raoudha Maraoui, Amina Ben Belgacem, Mohamed Graiet, Eric Cariou
- article
- Conférence francophone sur l'Architecture Logicielle (CAL 2014), Jun 2014, Paris, France
- Accès au bibtex
-
2013
Conference papers
- titre
- Characterization of Adaptable Interpreted-DSML
- auteur
- Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre
- article
- Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings, Jul 2013, Montpellier, France. pp.37--53, ⟨10.1007/978-3-642-39013-5_4⟩
- Accès au bibtex
-
Book sections
- titre
- Adaptive Software based on Correct-by-Construction Metamodels
- auteur
- Franck Barbier, Pierre Castéran, Eric Cariou, Olivier Le Goaer
- article
- V. Garcia Diaz, J.M. Cueva Lovelle, B. Cristina Pelayo Gracia-Bustelo, O. Sanjuan Martinez. Progressions and Innovations in Model-Driven Software Engineering, IGI Global, pp.308-325, 2013, Advances in Systems Analysis, Software Engineering, and High Performance Computing (ASASEHPC)
- Accès au bibtex
-
2012
Conference papers
- titre
- Inductive UML
- auteur
- Franck Barbier, Eric Cariou
- article
- 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⟩
- Accès au bibtex
-
- titre
- Model Execution Adaptation?
- auteur
- Eric Cariou, Franck Barbier, Olivier Le Goaer
- article
- Proceedings of the 7th Workshop on Models@run.Time, Innsbruck, Austria, October 02, 2012, Oct 2012, Innsbruck, Austria. pp.60-65, ⟨10.1145/2422518.2422528⟩
- Accès au bibtex
-
- titre
- Semantic mappings between service, component and agent models
- auteur
- Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte
- article
- 15th ACM SIGSOFT symposium on Component Based Software Engineering (CBSE'2012) , Jun 2012, Bertinoro, Italy. pp.29-34
- Accès au bibtex
-
- titre
- Correspondances sémantiques entre des modèles de services, de composants et d'agents
- auteur
- Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte
- article
- 6ème Conférence Francophone sur les Architectures Logicielles (CAL 2012), May 2012, Montpellier, France
- Accès au bibtex
-
2011
Conference papers
- titre
- MDE approach for the generation and verification of SCA model
- auteur
- Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
- article
- 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⟩
- Accès au bibtex
-
- titre
- Towards a transformation of composite web service with QoS extension into ACME\Armani
- auteur
- Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
- article
- 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⟩
- Accès au bibtex
-
- titre
- Profile UML2.0 for specification of the SCA architectures
- auteur
- Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
- article
- SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩
- Accès au bibtex
-
- titre
- ATL transformation for the generation of SCA model
- auteur
- Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
- article
- SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
- Accès au bibtex
-
- titre
- ATL Transformation of UML 2.0 for the Generation of SCA Model
- auteur
- Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
- article
- The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
- Accès au bibtex
-
- titre
- UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures
- auteur
- W. Ben Abid, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Walid Gaaloul, Eric Cariou
- article
- The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
- Accès au bibtex
-
- titre
- Transformation of Composite Web Service for QoS Extension into ACME\Armani
- auteur
- A. Mhamdi, R. Maraoui, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Eric Cariou
- article
- The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
- Accès au bibtex
-
- titre
- Service-Oriented Integration of Component and Agent Models
- auteur
- Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes, Philippe Aniorte
- article
- 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
- Accès au bibtex
-
- titre
- Une approche de vérification d'exécution de modèles par contrats
- auteur
- Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
- article
- IDM'11, Jun 2011, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Contracts for Model Execution Verification
- auteur
- Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
- article
- ECMFA'11, Jun 2011, Birmingham, United Kingdom. ⟨10.1007/978-3-642-21470-7_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards a Component Agent Service Oriented Model (short paper)
- auteur
- Nour Alhouda Aboud, Eric Cariou, Eric Gouarderes
- article
- 5ème Conférence Francophone sur les Architectures Logicielles (CAL 2011), Jun 2011, Lille, France
- Accès au bibtex
-
2010
Book sections
- titre
- Chapter 11, Model Driven Reverse Engineering of COBOL
- auteur
- Franck Barbier, S. Eveillard, K. Youbi, O. Guitton, A. Perrier, Eric Cariou
- article
- Information System Transformations: Architecture Driven Modernization Case Studies, Morgan Kaufmann, pp.283-299, 2010
- Accès au bibtex
-
Books
- titre
- Actes des deuxièmes journées nationales du Groupement de Recherche CNRS du Génie de la Programmation et du Logiciel
- auteur
- Eric Cariou, Laurence Duchien, Yves Ledru
- article
- Université de Pau. Université de Pau et des Pays de l'Adour, pp.230, 2010
- Accès au bibtex
-
- titre
- Langages et Modèles à Objets
- auteur
- Eric Cariou, Jean-Claude Royer
- article
- Université de Pau et des pays de l'adour, pp.100, 2010
- Accès au bibtex
-
2009
Journal articles
- titre
- OCL Contracts for the Verification of Model Transformations
- auteur
- Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
- article
- Electronic Communications of the EASST, 2009, 24
- Accès au bibtex
-
Conference papers
- titre
- OCL contracts for the verification of model transformations
- auteur
- Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
- article
- the Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009, Oct 2009, Denver, United States
- Accès au bibtex
-
- titre
- Model-Driven Reverse Engineering of COBOL-Based Applications
- auteur
- Sylvain Eveillard, Franck Barbier, Kamal Youbi, Eric Cariou
- article
- Tools and Consultancy Track in 5th European Conference on Model-Driven Architecture (ECMDA-FA 2009), Jun 2009, Twente, Netherlands
- Accès au bibtex
-
- titre
- Contrats de transformation pour la validation de raffinement de modèles
- auteur
- Eric Cariou, Nicolas Belloir, Franck Barbier
- article
- 5èmes journées sur l'Ingénierie dirigée par les Modèles (IDM 2009), Mar 2009, Nancy, France
- Accès au bibtex
-
2008
Journal articles
- titre
- Ingénierie des modèles : panorama et tendances
- auteur
- Eric Cariou, Franck Barbier
- article
- Génie Logiciel GL & IS, 2008, pp.;
- Accès au bibtex
-
Conference papers
- titre
- Component Design Based on Model Executability
- auteur
- Franck Barbier, Eric Cariou
- article
- The 34th EUROMICRO SEAA Conference, CBSE Track, IEEE Computer Society, Sep 2008, Parma, Italy. pp.;
- Accès au bibtex
-
2007
Conference papers
- titre
- Implémentation d'un modèle UML de composition hiérarchique.
- auteur
- Nicolas Belloir, Jean-Michel Bruel, Eric Cariou
- article
- In Actes de la conférence Langages et Modèles à Objets, Mar 2007, Toulouse, France. pp.;
- Accès au bibtex
-
2006
Conference papers
- titre
- Modélisation de systèmes complexes distribués : l'ingénierie des modèles pour l'intégration des paradigmes agent et composant
- auteur
- Philippe Aniorte, Eric Gouarderes, Eric Cariou
- article
- 2ème Journée Multi-Agent et Composant, Mar 2006, Nîmes, France. pp.;
- Accès au bibtex
-
2002
Conference papers
- titre
- An architecture and a process for implementing distributed collaborations
- auteur
- Eric Cariou, Antoine Beugnard, Jean-Marc Jézéquel
- article
- Proceedings of EDOC 2002, Apr 2002, Lausanne, Switzerland
- Accès au texte intégral et bibtex
-