L. Alawneh and A. Hamou-lhadj, Execution Traces: A New Domain That Requires the Creation of a Standard Metamodel, Int. Conf. on Advanced Software Engineering and Its Application. CCIS, pp.253-263, 2009.
DOI : 10.1007/978-3-642-10619-4_31

E. Bousse, B. Combemale, and B. Baudry, Scalable Armies of Model Clones through Data Sharing, 17th Int. Conf. on Model Driven Engineering Languages and Systems, pp.86-301, 2014.
DOI : 10.1007/978-3-319-11653-2_18

URL : https://hal.archives-ouvertes.fr/hal-01023681

E. Bousse, B. Combemale, and B. Baudry, Towards Scalable Multidimensional Execution Traces for xDSMLs, 11th Workshop on Model Design, Verification and Validation. CEUR-WS, pp.13-18, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01061740

B. Combemale, X. Crégut, P. L. Garoche, and X. Thirioux, Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification, Journal of Software, vol.4, issue.9, pp.943-958, 2009.
DOI : 10.4304/jsw.4.9.943-958

URL : https://hal.archives-ouvertes.fr/hal-00371553

B. Combemale, X. Crégut, and M. Pantel, A Design Pattern to Build Executable DSMLs and Associated V&V Tools, 2012 19th Asia-Pacific Software Engineering Conference, pp.282-287, 2012.
DOI : 10.1109/APSEC.2012.79

J. Corley, B. P. Eddy, and J. Gray, Towards Efficient and Scalabale Omniscient Debugging for Model Transformations, Proceedings of the 14th Workshop on Domain-Specific Modeling, DSM '14, pp.13-18, 2014.
DOI : 10.1145/2688447.2688450

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, 50th Int. Conf. on Objects, Models, Components, Patterns. LNCS, pp.34-41, 2012.
DOI : 10.1007/978-3-642-30561-0_4

URL : https://hal.archives-ouvertes.fr/hal-00688590

D. Eschweiler, M. Wagner, M. Geimer, A. Knüpfer, W. E. Nagel et al., Open Trace Format 2: The Next Generation of Scalable Trace Formats and Support Libraries, 14th Int. Conf. on Parallel Computing. Advances in Parallel Computing, pp.481-490, 2011.

M. Gogolla, L. Hamann, F. Hilken, M. Kuhlmann, and R. B. France, From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics, Modellierung 2014. LNI, pp.273-288, 2014.

A. Hamou-lhadj and T. C. Lethbridge, A metamodel for the compact but lossless exchange of execution traces, Software & Systems Modeling, vol.26, issue.3, pp.77-98, 2010.
DOI : 10.1007/s10270-010-0180-x

A. Hegedüs, I. Ráth, and D. Varró, Replaying Execution Trace Models for Dynamic Modeling Languages, Periodica Polytechnica Electrical Engineering, vol.56, issue.3, pp.71-82, 2012.
DOI : 10.3311/PPee.7078

J. Hutchinson, J. Whittle, M. Rouncefield, and S. Kristoffersen, Empirical assessment of MDE in industry, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.471-480, 2011.
DOI : 10.1145/1985793.1985858

J. M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the Kermeta language workbench. Software & Systems Modeling pp, pp.1-16, 2013.

D. S. Kolovos, D. Di-ruscio, A. Pierantonio, and R. F. Paige, Different models for model matching: An analysis of approaches to support model differencing, 2009 ICSE Workshop on Comparison and Versioning of Software Models, pp.1-6, 2009.
DOI : 10.1109/CVSM.2009.5071714

P. Langer, T. Mayerhofer, and G. Kappel, Semantic Model Differencing Utilizing Behavioral Semantics Specifications, 17th Int. Conf. on Model Driven Engineering Languages and Systems, pp.116-132, 2014.
DOI : 10.1007/978-3-319-11653-2_8

M. Leucker and C. Schallhart, A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, pp.293-303, 2009.
DOI : 10.1016/j.jlap.2008.08.004

S. Maoz, J. O. Ringert, and B. Rumpe, ADDiff, Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering, SIGSOFT/FSE '11, pp.179-189, 2011.
DOI : 10.1145/2025113.2025140

T. Mayerhofer, P. Langer, and G. Kappel, A runtime model for fUML, Proceedings of the 7th Workshop on Models@run.time, MRT '12, pp.53-58, 2012.
DOI : 10.1145/2422518.2422527

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs Based on fUML, 6th Int. Conf. on Software Language Engineering, pp.56-75, 2013.
DOI : 10.1007/978-3-319-02654-1_4

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

B. Meyers, R. Deshayes, L. Lucio, E. Syriani, H. Vangheluwe et al., ProMoBox: A Framework for Generating Domain-Specific Property Languages, 7th Int. Conf. on Software Language Engineering, pp.1-20, 2014.
DOI : 10.1007/978-3-319-11245-9_1

M. Object and . Group, Semantics of a Foundational Subset for Executable UML Models (fUML), V 1, 2013.

J. Tatibouët, A. Cuccuru, S. Gérard, and F. Terrier, Formalizing Execution Semantics of UML Profiles with fUML Models, 17th International Conference on Model Driven Engineering Languages and Systems, pp.133-148, 2014.
DOI : 10.1007/978-3-319-11653-2_9