Eric Cariou

Publication Activity (10 Years)

Years Active: 2000-2020
Publications (10 Years): 8

Top Topics

Software Development Process

Complex Systems

Top Venues

MoDELS (Workshops)

Models@run.time

Publications

Eric Cariou, Léa Brunschwig, Olivier Le Goaer, Franck Barbier
A software development process based on UML state machines. ICAASE (2020)
Meriem Lahrouni, Eric Cariou, Abdelaziz El Fazziki
A black-box and contract-based verification of model transformations. Int. Arab J. Inf. Technol. 16 (4) (2019)
Wasif Afzal, Hugo Brunelière, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, Luigi Pomante, Pavel Smrz
The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems. Microprocess. Microsystems 61 (2018)
Franck Barbier, Eric Cariou
Executable Modeling for Reactive Programming. MODELSWARD (Revised Selected Papers) (2018)
Eric Cariou, Olivier Le Goaer, Léa Brunschwig, Franck Barbier
A generic solution for weaving business code into executable models. MoDELS (Workshops) (2018)
Wasif Afzal, Hugo Brunelière, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz
The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems. DSD (2017)
Olivier Le Goaer, Eric Cariou, Franck Barbier
World Wide Modeling Made Easy - A Simple, Lightweight Model Server. MODELSWARD (2017)
Eric Cariou, Olivier Le Goaer, Franck Barbier
On the Executable Nature of Models. EXE@MoDELS (2016)
Franck Barbier, Eric Cariou, Olivier Le Goaer, Samson Pierre
Software Adaptation: Classification and a Case Study with State Chart XML. IEEE Softw. 32 (5) (2015)
Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre, Mohamed Graiet
Adaptation d'exécution de modèles par contrats. Tech. Sci. Informatiques 34 (6) (2015)
Olivier Le Goaer, Franck Barbier, Eric Cariou, Samson Pierre
Android Executable Modeling: Beyond Android Programming. FiCloud (2014)
Samson Pierre, Eric Cariou, Olivier Le Goaer, Franck Barbier
A Family-Based Framework for i-DSML Adaptation. ECMFA (2014)
Raoudha Maraoui, Eric Cariou, Bechir Ayeb
A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services. WETICE (2013)
Eric Cariou, Olivier Le Goaer, Franck Barbier, Samson Pierre
Characterization of Adaptable Interpreted-DSML. ECMFA (2013)
Nour Alhouda Aboud, Eric Cariou, Eric Gouardères, Philippe Aniorté
Semantic mappings between service, component and agent models. CBSE (2012)
Franck Barbier, Eric Cariou
Inductive UML. MEDI (2012)
Eric Cariou, Franck Barbier, Olivier Le Goaer
Model execution adaptation? Models@run.time (2012)
Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua
Patrons transactionnels dynamiques pour des services composés fiables et flexibles. CAL (2012)
Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Profile UML2.0 for Specification of the SCA Architectures. SKG (2011)
Amel Mhamdi, Raoudha Maraoui, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Eric Cariou
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG (2011)
Nour Alhouda Aboud, Eric Cariou, Eric Gouardères, Philippe Aniorté
Service-oriented Integration of Component and Agent Models. ICSOFT (1) (2011)
Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS (2011)
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
MDE approach for the generation and verification of SCA model. iiWAS (2011)
Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
ATL Transformation for the Generation of SCA Model. SKG (2011)
Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier
Contracts for Model Execution Verification. ECMFA (2011)
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
OCL contracts for the verification of model transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 24 (2009)
Franck Barbier, Eric Cariou
Component Design based on Model Executability. EUROMICRO-SEAA (2008)
Nicolas Belloir, Jean-Michel Bruel, Eric Cariou
Implémentation d'un modèle UML de composition hiérarchique. LMO (2007)
Eric Cariou, Antoine Beugnard, Jean-Marc Jézéquel
An Architecture and a Process for Implementing Distributed Collaborations. EDOC (2002)
Eric Cariou, Antoine Beugnard
The Specification of UML Collaborations as Interaction Components. UML (2002)
Eric Cariou, Antoine Beugnard
Specification of Communication Components in UML. PDPTA (2000)