Eric Cariou

According to our database1, Eric Cariou authored at least 31 papers between 2000 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




A software development process based on UML state machines.
Proceedings of the 4th International Conference on Advanced Aspects of Software Engineering, 2020

A black-box and contract-based verification of model transformations.
Int. Arab J. Inf. Technol., 2019

The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems.
Microprocess. Microsystems, 2018

Executable Modeling for Reactive Programming.
Proceedings of the Model-Driven Engineering and Software Development, 2018

A generic solution for weaving business code into executable models.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

World Wide Modeling Made Easy - A Simple, Lightweight Model Server.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems.
Proceedings of the Euromicro Conference on Digital System Design, 2017

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), 2016

Adaptation d'exécution de modèles par contrats.
Tech. Sci. Informatiques, 2015

Software Adaptation: Classification and a Case Study with State Chart XML.
IEEE Softw., 2015

Android Executable Modeling: Beyond Android Programming.
Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

A Family-Based Framework for i-DSML Adaptation.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

A Model-Driven Engineering Approach for the Formal Verification of Composite Web Services.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2013

Characterization of Adaptable Interpreted-DSML.
Proceedings of the Modelling Foundations and Applications - 9th European Conference, 2013

Model execution adaptation?
Proceedings of the 7th Workshop on Models@run.time, Innsbruck, Austria, October 02, 2012, 2012

Inductive UML.
Proceedings of the Model and Data Engineering - 2nd International Conference, 2012

Semantic mappings between service, component and agent models.
Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Patrons transactionnels dynamiques pour des services composés fiables et flexibles.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

ATL Transformation for the Generation of SCA Model.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Profile UML2.0 for Specification of the SCA Architectures.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Towards a transformation of composite web service with QoS extension into ACME\Armani.
Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.
Proceedings of the iiWAS'2011, 2011

Service-oriented Integration of Component and Agent Models.
Proceedings of the ICSOFT 2011, 2011

Contracts for Model Execution Verification.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

OCL contracts for the verification of model transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Component Design based on Model Executability.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Implémentation d'un modèle UML de composition hiérarchique.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

The Specification of UML Collaborations as Interaction Components.
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002

An Architecture and a Process for Implementing Distributed Collaborations.
Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), 2002

Specification of Communication Components in UML.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000