R. Bendraou, B. Combemale, X. Crégut, and M. P. Gervais, Definition of an Executable SPEM 2.0, 14th Asia-Pacific Software Engineering Conference (APSEC'07), pp.390-397, 2007.
DOI : 10.1109/ASPEC.2007.60
URL : https://hal.archives-ouvertes.fr/hal-00371555

T. Fischer, J. Niere, L. Torunski, and A. Zündorf, Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java, Proceedings of the 6th International Workshop Theory and Application of Graph Transformations (TAGT'98, pp.157-167, 2000.
DOI : 10.1007/978-3-540-46464-8_21

D. Harel, H. Lachover, A. Naamad, A. Pnuelli, M. Politi et al., STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on Software Engineering, vol.16, issue.4, pp.403-414, 1990.
DOI : 10.1109/32.54292

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

T. Mayerhofer, P. Langer, M. Wimmer, and G. Kappel, xMOF: Executable DSMLs Based on fUML, Proceedings of the 6th International Conference on Software Language Engineering (SLE)'13, 2013.
DOI : 10.1007/978-3-319-02654-1_4
URL : http://www.dsmforum.org/events/DSM12/Papers/Mayerhofer.pdf

G. Engels, J. H. Hausmann, R. Heckel, and S. Sauer, Dynamic Meta Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML, Proceedings of the 3rd International Conference on the Unified Modeling Language, pp.323-337, 1939.
DOI : 10.1007/3-540-40011-7_23

N. Bandener, C. Soltenborn, and G. Engels, Extending DMM Behavior Specifications for Visual Execution and Debugging, Proceedings of the 3rd International Conference on Software Language Engineering (SLE'10). Volume, pp.357-376, 2010.
DOI : 10.1007/978-3-540-69100-6_5

Á. Hegedüs, G. Bergmann, I. Ráth, and D. Varró, Back-annotation of Simulation Traces with Change-Driven Model Transformations, 2010 8th IEEE International Conference on Software Engineering and Formal Methods, pp.145-155, 2010.
DOI : 10.1109/SEFM.2010.28

M. Soden and H. Eichler, Towards a model execution framework for Eclipse, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, BM-MDA '09, 2009.
DOI : 10.1145/1555852.1555856

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

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, Advanced and efficient execution trace management for executable domain-specific modeling languages, Software & Systems Modeling, vol.31, issue.3, pp.1-37, 2017.
DOI : 10.1109/MS.2013.65
URL : https://hal.archives-ouvertes.fr/hal-01614377

M. Object and . Group, Meta Object Facility (MOF) Core Specification, 2016.

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, 2008.

E. Bousse, J. Corley, B. Combemale, J. Gray, and B. Baudry, Supporting Efficient and Advanced Omniscient Debugging for xDSMLs, Proceedings of the International Conference on Software Language Engineering (SLE'15), 2015.
URL : https://hal.archives-ouvertes.fr/hal-01182517

J. F. Groote and F. Vaandrager, An efficient algorithm for branching bisimulation and stuttering equivalence, International Colloquium on Automata, Languages, and Programming, pp.626-638, 1990.
DOI : 10.1007/BFb0032063
URL : http://www.win.tue.nl/~jfg/articles/CS-R9001.ps

V. I. Levenshtein, Binary codes capable of correcting deletions, insertions, and reversals. In: Soviet physics doklady, pp.707-710, 1966.

T. Kehrer, U. Kelter, and G. Taentzer, A rule-based approach to the semantic lifting of model differences in the context of model versioning, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.163-172, 2011.
DOI : 10.1109/ASE.2011.6100050

S. Maoz, J. O. Ringert, and B. Rumpe, CDDiff: Semantic Differencing for Class Diagrams, Proceedings of the 25th European Conference on Object-Oriented Programming, pp.230-254, 2011.
DOI : 10.1007/s10515-007-0007-3
URL : http://arxiv.org/pdf/1409.2355

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

P. Langer, T. Mayerhofer, and G. Kappel, Semantic Model Differencing Utilizing Behavioral Semantics Specifications, Proceedings of the 17th International Conference on Model-Driven Engineering Languages and Systems (MODELS'14, pp.116-132, 2014.
DOI : 10.1007/978-3-319-11653-2_8

L. Addazi, A. Cicchetti, J. D. Rocco, D. D. Ruscio, L. Iovino et al., Semantic-based model matching with emfcompare, Proceedings of the 10th Workshop on Models and Evolution (ME'16, pp.40-49, 2016.

S. Alimadadi, A. Mesbah, and K. Pattabiraman, Inferring hierarchical motifs from execution traces, 2018.

W. M. Van-der-aalst, Process mining, ACM SIGKDD Explorations Newsletter, vol.13, issue.2, pp.45-49, 2011.
DOI : 10.1145/2207243.2207251

W. M. Van-der-aalst, Process Mining: Discovery, Conformance and Enhancement of Business Processes, 2011.

R. P. Bose and W. M. Van-der-aalst, Process diagnostics using trace alignment: Opportunities, issues, and challenges, Information Systems, vol.37, issue.2, pp.117-141, 2012.
DOI : 10.1016/j.is.2011.08.003