Cyril Ballagny

Proved Metamodels as Backbone for Software Adaptation

Franck Barbier, Cyril Ballagny, F. Barbier, 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.

MODAClouds: A model-driven approach for the design and execution of applications on multiple Clouds

Dana Petcu, Danilo Ardagna, Francesco D'Andria, 2012, 2012 4th International Workshop on Modeling in Software Engineering (MISE).

Dynamic adaptive software components: the MOCAS approach

Nabil Hameurlain, Franck Barbier, Cyril Ballagny, 2008, CSTST.

Contracts for Model Execution Verification

Franck Barbier, Eric Cariou, Alexandre Feugas, 2011, ECMFA.

MOCAS: A State-Based Component Model for Self-Adaptation

Nabil Hameurlain, Franck Barbier, Cyril Ballagny, 2009, 2009 Third IEEE International Conference on Self-Adaptive and Self-Organizing Systems.