Eric Cariou

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