The MegaM@Rt2 ECSEL project: MegaModelling at Runtime – Scalable model-based framework for continuous development and runtime validation of complex systems
Afzal, Wasif, Bruneliere, Hugo, Di Ruscio, Davide, Sadovykh, Andrey, Mazzini, Silvia, Cariou, Eric, Truscan, Dragos, Cabot, Jordi, Gómez, Abel, Gorroñogoitia, Jesús, Pomante, Luigi, Smrz, Pavel
Published in Microprocessors and microsystems (01.09.2018)
Published in Microprocessors and microsystems (01.09.2018)
Get full text
Journal Article
Software Adaptation: Classification and a Case Study with State Chart XML
Barbier, Franck, Cariou, Eric, Le Goaer, Olivier, Pierre, Samson
Published in IEEE software (01.09.2015)
Published in IEEE software (01.09.2015)
Get full text
Journal Article
A black-box and contract-based verification of model transformations
Lahrouni, Maryam, Cariou, Eric, al-Fazziki, Abd al-Aziz
Published in International arab journal of information technology (01.07.2019)
Get full text
Published in International arab journal of information technology (01.07.2019)
Journal Article
Contracts for Model Execution Verification
Cariou, Eric, Ballagny, Cyril, Feugas, Alexandre, Barbier, Franck
Published in Modelling Foundations and Applications (2011)
Published in Modelling Foundations and Applications (2011)
Get full text
Book Chapter
OCL Contracts for the Verification of Model Transformations
Cariou, Eric, Belloir, Nicolas, Barbier, Franck, Djemam, Nidal
Published in Electronic communications of the EASST (2009)
Published in Electronic communications of the EASST (2009)
Get full text
Journal Article
A mediation based approach for formal verification of web services composition
Maraoui, Raoudha, Cariou, Eric
Published in 2017 International Conference on Engineering & MIS (ICEMIS) (01.05.2017)
Published in 2017 International Conference on Engineering & MIS (ICEMIS) (01.05.2017)
Get full text
Conference Proceeding
A Family-Based Framework for i-DSML Adaptation
Pierre, Samson, Cariou, Eric, Le Goaer, Olivier, Barbier, Franck
Published in Modelling Foundations and Applications (2014)
Published in Modelling Foundations and Applications (2014)
Get full text
Book Chapter
A software development process based on UML state machines
Cariou, Eric, Brunschwig, Lea, Le Goaer, Olivier, Barbier, Franck
Published in 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE) (28.11.2020)
Published in 2020 International Conference on Advanced Aspects of Software Engineering (ICAASE) (28.11.2020)
Get full text
Conference Proceeding
Characterization of Adaptable Interpreted-DSML
Cariou, Eric, Le Goaer, Olivier, Barbier, Franck, Pierre, Samson
Published in Modelling Foundations and Applications (2013)
Published in Modelling Foundations and Applications (2013)
Get full text
Book Chapter
Component Design based on Model Executability
Barbier, F., Cariou, E.
Published in 2008 34th Euromicro Conference Software Engineering and Advanced Applications (01.09.2008)
Published in 2008 34th Euromicro Conference Software Engineering and Advanced Applications (01.09.2008)
Get full text
Conference Proceeding
The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime - Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems
Afzal, Wasif, Bruneliere, Hugo, Di Ruscio, Davide, Sadovykh, Andrey, Mazzini, Silvia, Cariou, Eric, Truscan, Dragos, Cabot, Jordi, Field, Daniel, Pomante, Luigi, Smrz, Pavel
Published in 2017 Euromicro Conference on Digital System Design (DSD) (01.08.2017)
Published in 2017 Euromicro Conference on Digital System Design (DSD) (01.08.2017)
Get full text
Conference Proceeding
Android Executable Modeling: Beyond Android Programming
Le Goaer, Olivier, Barbier, Franck, Cariou, Eric, Pierre, Samson
Published in 2014 International Conference on Future Internet of Things and Cloud (01.08.2014)
Published in 2014 International Conference on Future Internet of Things and Cloud (01.08.2014)
Get full text
Conference Proceeding
Android Executable Modeling: Beyond Android Programming
Rosado da Cruz, António Miguel, Paiva, Sara
Published in Modern Software Engineering Methodologies for Mobile and Cloud Environments (2016)
Published in Modern Software Engineering Methodologies for Mobile and Cloud Environments (2016)
Get full text
Reference
Book Chapter
ATL Transformation for the Generation of SCA Model
Louhichi, S., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W., Cariou, E.
Published in 2011 Seventh International Conference on Semantics, Knowledge and Grids (01.10.2011)
Published in 2011 Seventh International Conference on Semantics, Knowledge and Grids (01.10.2011)
Get full text
Conference Proceeding
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service
Mhamdi, A., Maraoui, R., Graiet, M., Kmimech, M., Bhiri, M. T., Cariou, E.
Published in 2011 Seventh International Conference on Semantics, Knowledge and Grids (01.10.2011)
Published in 2011 Seventh International Conference on Semantics, Knowledge and Grids (01.10.2011)
Get full text
Conference Proceeding
Profile UML2.0 for Specification of the SCA Architectures
Abid, W. B., Graiet, M., Kmimech, M., Bhiri, M. T., Gaaloul, W., Cariou, E.
Published in 2011 Seventh International Conference on Semantics, Knowledge and Grids (01.10.2011)
Published in 2011 Seventh International Conference on Semantics, Knowledge and Grids (01.10.2011)
Get full text
Conference Proceeding