A. A. Dib, I. Ober, L. Féraud, and C. Percebois, Towards a rigorous framework for dealing with domain specific language families, 2008 3rd International Conference on Information and Communication Technologies: From Theory to Applications, 2008.
DOI : 10.1109/ICTTA.2008.4530342

A. A. Dib, I. Ober, L. Féraud, and C. Percebois, Towards interoperability in component based development with a family of DSLs, European Conference on Software Architecture Chypre, 2008.

B. Amar, H. Leblanc, and B. Coulette, A Traceability Engine Dedicated to Model Transformation for Software Engineering, ECMDA Traceability Workshop, 2008.

B. Amar, H. Leblanc, . Ph, B. Dhaussy, and . Coulette, Trace Transformation Reuse to Guide Co-evolution of Models, 5th International Conference on Software and Data Technologies, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00517268

B. Amar, H. Leblanc, B. Coulette, and C. Nebut, Using Aspect-Oriented Programming to Trace Imperative Transformations, 2010 14th IEEE International Enterprise Distributed Object Computing Conference, p.2010, 2010.
DOI : 10.1109/EDOC.2010.12
URL : https://hal.archives-ouvertes.fr/lirmm-00544014

J. Bézivin and J. , On the Unification Power of Models. Software and System Modeling, SoSym, vol.4, issue.2, pp.17-188, 2005.

L. J. Camp, Design for Trust, Trust, Reputation and Security: Theories and Practice, Rino Falcone, 2003.

. Ph, J. Dhaussy, S. Auvray, F. De-belloy, and E. Boniol, Using context descriptions and property definition patterns for software formal verification, p.9

. Ph, P. Dhaussy, S. Pillain, A. Creff, Y. Raji et al., Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation, 12 th IEEE/ACM International Conference on Model Driven Engineering Languages and Systems, 2009.

H. Dubois, M. Peraldi-frati, and F. , A Model for Requirements Traceability in a Heterogeneous Model-Based Design Process: Application to Automotive Embedded Systems, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, pp.233-244, 2010.
DOI : 10.1109/ICECCS.2010.2
URL : https://hal.archives-ouvertes.fr/inria-00483970

H. , L. Dang, and H. Dubois, Proving Model Transformations, Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010.

T. Thi, P. Bazex, and T. Millan, Modeling of Languages' Grammars in UML, OCL: Applying to a Model Driven Software Development Process. International Conference on Theories and Applications of Computer Science, 2009.

T. Thi, Modeling of Programming Languages in UML/OCL and Application in a MDE Process, IADIS International Conference Applied Computing, 2009.

H. Luong, T. Lambolais, and A. Courbis, Implementation of the Conformance Relation for Incremental Development of Behavioural Models, 11 th International Conference on Model Driven Engineering Languages and Systems (MoDELS'2008), 2008.
DOI : 10.1007/978-3-540-87875-9_26

T. Millan, L. Sabatier, T. Thi, P. Bazex, and C. Percebois, An OCL extension for checking and transforming UML Models, International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS'09), 2009.

J. Mottu, B. Baudry, and Y. L. Traon, Mutation Analysis Testing for Model Transformations, ECMDA'06 (European Conference on Model Driven Architecture), 2006.
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532

J. Mottu, B. Baudry, and Y. L. Traon, Reusable MDA Components: A Testing-for-Trust Approach, th International Conference on Model Driven Engineering Languages and Systems (MoDELS'2006), 2006.
DOI : 10.1007/11880240_41
URL : https://hal.archives-ouvertes.fr/hal-00461274

J. Mottu, B. Baudry, and Y. L. Traon, Model transformation testing: oracle issue, 2008 IEEE International Conference on Software Testing Verification and Validation Workshop, 2008.
DOI : 10.1109/ICSTW.2008.27
URL : https://hal.archives-ouvertes.fr/inria-00456951

I. Ober and A. , Abou Dib. Using ASM to achieve executability within a family of DSL, International Conference on ASM, B and Z, 2008.

I. Ober, L. Féraud, and C. Percebois, Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques, Innovations in Systems and Software Engineering, pp.21-28, 2010.
DOI : 10.1007/s11334-009-0117-0

E. Poupart, G. Jolly, C. Percebois, P. Bazex, P. Palanque et al., Offline Interoperability, Cost Reduction and Reliability for Operational procedures using meta-modeling technology, SpaceOps 2008 Conference, 2008.
DOI : 10.2514/6.2008-3267

M. Rebout, L. Féraud, and S. Soloviev, A Unified Categorical Approach for Attributed Graph Rewriting. 3rd International Computer Science Symposium in Russia, 2008.

S. Sen, B. Baudry, and J. Mottu, On Combining Multiformalism Knowledge to Select Models for Model Transformation Testing, Proceedings of ICST'08 (International Conference on Software Testing Verification and Validation) Lillehamer, Norway. [24] S. Sen, B. Baudry, J.-M. Mottu. Automatic Model Generation Strategies for Model Transformation Testing. International Conference on Model Transformation 2009 (ICMT'09), 2008.
URL : https://hal.archives-ouvertes.fr/inria-00456955

H. N. Tran, C. Percebois, A. Abou-dib, L. Féraud, and S. Soloviev, Attribute Computations in the DPoPb Graph Transformation Engine, 4th International Workshop on Graph Based Tools, 2010.