X. Petri, 78 5.2 Execution trace metamodel generated for the Petri net xDSML. Classes in green are always generated, p.81

. Langer, Generic clone-based execution trace metamodel, p.101

E. In, Semantic diferencing match rule for fUML using a generated multidimensional execution trace metamodel, p.109

E. Bousse, Combining Veriication and Validation techniques, PhD Students Workshop of the ECMFA, ECOOP and ECSA 2013 Doctoral Symposium. 2013 (cit. on pp. xii

E. Bousse, B. Combemale, and B. Baudry, Scalable Armies of Model Clones through Data Sharing, International Conference on Model Driven Engineering Languages and Systems (MODELS), 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 Workshop on Model-Driven Engineering , Veriication, and Validation (MoDeVVa), pp.13-18, 2014.

E. Bousse, J. Corley, B. Combemale, J. Gray, and B. Baudry, Supporting Eicient and Advanced Omniscient Debugging for xDSMLs, International Conference on Software Language Engineering (SLE), pp.93-94, 2015.

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, A Generative Approach to Deine Rich Domain-Speciic Trace Metamodels, European Conference on Modeling Foundations and Applications (ECMFA, pp.45-61, 2015.

E. Bousse, D. Mentré, . Beno??-t-combemale, T. Beno??-t-baudry, and . Katsuragi, Aligning SysML with the B method to provide V&V for systems engineering Workshop on Model-Driven Engineering, Veriication and Validation (MoDeVVa), p.9781450318013, 2012.

I. El-arbi-aboussoror, I. Ober, and . Ober, Seeing Errors: Model Driven Simulation Trace Visualization, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.480-496
DOI : 10.1007/978-3-642-33666-9_31

H. Agrawal, R. A. Demillo, and E. H. Spaford, Debugging with dynamic slicing and backtracking, Software: Practice and Experience, vol.9, issue.6, pp.589-616, 1993.
DOI : 10.1002/spe.4380230603

L. Alawneh and A. Hamou-lhadj, MTF: A Scalable Exchange Format for Traces of High Performance Computing Systems, 2011 IEEE 19th International Conference on Program Comprehension, pp.181-184, 2011.
DOI : 10.1109/ICPC.2011.15

R. Aydt, The Pablo self-deining data format. Tech. rep, pp.36-38, 1992.

N. Bandener, C. Soltenborn, and G. Engels, Extending DMM Behavior Speciications for Visual Execution and Debugging " . In: Software Language Engineering (SLE), pp.357-376978, 2010.

T. Earl, M. Barr, and . Marron, TARDIS: Afordable Time-Travel Debugging in Managed Runtimes, International Conference on Object Oriented Programming Systems Languages & Applications (OOSPLA). ACM

R. Bendraou, X. Benoit-combemale, M. P. Crégut, and . Gervais, Deinition of an executable SPEM 2.0 " . In: Asia-Paciic Software Engineering Conference (APSEC), IEEE, pp.390-397, 2007.

R. Bendraou, J. Jézéquel, and F. Fleurey, Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution, International Conference on Software Process (ICSP, pp.148-160, 2009.
DOI : 10.1007/11568322_5

A. Benelallam, M. Tisi, and D. Launay, Neo4EMF, A Scalable Persistence Layer for EMF Models, European Conference on Modeling Foundations and Applications (ECMFA, pp.230-241978, 2014.
DOI : 10.1007/978-3-319-09195-2_15

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

J. Bézivin, O. Gerbé, J. Bezivin, and O. Gerbe, Towards a precise deinition of the OMG/MDA framework, International Conference on Automated Software Engineering (ASE). ASE 2011. IEEE, pp.273-280, 2001.

J. Bézivin, F. Jouault, and D. Touzet, Principles, Standards and Tools for Model Engineering, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pp.28-29, 2005.
DOI : 10.1109/ICECCS.2005.68

G. Blair, N. Bencomo, and R. B. France, Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009.
DOI : 10.1109/MC.2009.326

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

A. Blouin, B. Beno??-t-combemale, O. Baudry, and . Beaudoux, Kompren: modeling and generating model slicers, Software and Systems Modeling (SoSyM), pp.321-337, 2012.
DOI : 10.1007/s10270-012-0300-x

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

W. Barry, . Boehm, K. Robert, D. B. Mcclean, and . Urfrig, Some experience with automated aids to the design of large-scale reliable software, IEEE Transactions on Software Engineering SE-1.1, 1975.

B. Boehm and V. R. Basili, Software Defect Reduction Top-10 List, pp.135-137, 2001.
DOI : 10.1007/3-540-27662-9_26

B. Boothe, Eicient algorithms for bidirectional debugging, Conference on Programming Language Design and Implementation (PLDI, pp.46-49, 2000.

D. Brand and P. Zairopulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983.
DOI : 10.1145/322374.322380

C. Brun and A. Pierantonio, Model Diferences in the Eclipse Modeling Framework In: UPGRADE, The European Journal for the Informatics Professional 9, 2008.

H. Bruneliere, J. Cabot, F. Jouault, and F. Madiot, MoDisco, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.173-174, 2010.
DOI : 10.1145/1858996.1859032

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

A. Chi?, T. G??, and O. Nierstrasz, The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers, International Conference on Software Language Engineering (SLE). LNCS, vol.8706, issue.130, pp.102-121978, 2014.
DOI : 10.1007/978-3-319-11245-9_6

A. Chi?, T. G??-rba, O. Nierstrasz, and M. Denker, Practical domain-speciic debuggers using the Moldable Debugger framework In: Computer Languages, Systems & Structures 44, pp.89-113

X. Benoit-combemale, P. Crégut, X. Garoche, and . Thirioux, Essay on Semantics Deinition in MDE -An Instrumented Approach for Model Veriication, In: Journal of Software, vol.4, issue.9, pp.943-958, 2009.

X. Benoit-combemale, J. Crégut, P. Giacometti, M. Michel, and . Pantel, Introducing Simulation and Model Animation in the MDE Topcased Toolkit, European congress on Embedded Real Time Software and Systems (ERTS), pp.36-39, 2008.

J. Benoit-combemale, B. Deantoni, R. B. Baudry, J. France, J. M. Gray et al., Globalizing Modeling Languages, Computer, vol.47, issue.6, pp.68-71, 2014.
DOI : 10.1109/MC.2014.147

J. Benoit-combemale, M. Deantoni, F. Vara-larsen, O. Mallet, B. Barais et al., Reifying Concurrency for Executable Metamodeling, International Conference on Software Language Engineering (SLE). LNCS, vol.8225, issue.30, pp.365-384, 2013.
DOI : 10.1007/978-3-319-02654-1_20

C. Benoit-combemale, C. Hardebolle, F. Jacquet, B. Boulanger, and . Benoit, Bridging the Chasm between Executable Metamodeling and Models of Computation, International Conference on Software Language Engineering (SLE). LNCS, vol.7745, pp.184-203
DOI : 10.1007/978-3-642-36089-3_11

X. Beno??-t-combemale, M. Crégut, and . Pantel, A Design Pattern to Build Executable DSMLs and associated V&V tools, Asia-Paciic Software Engineering Conference (APSEC), vol.34, issue.87, pp.282-287, 2012.

J. Corley, P. Brian, J. Eddy, and . Gray, Towards Eicient and Scalabale Omniscient Debugging for Model Transformations In: Workshop on Domain- Speciic Modeling (DSM), pp.13-18, 2014.

D. Bas-cornelissen, A. Holten, L. Zaidman, J. J. Moonen, A. Van-wijk et al., Understanding Execution Traces Using Massive Sequence and Circular Bundle Views, 15th IEEE International Conference on Program Comprehension (ICPC '07), pp.49-58, 2007.
DOI : 10.1109/ICPC.2007.39

M. L. Crane and J. Dingel, Towards a UML virtual machine, Proceedings of the 2008 conference of the center for advanced studies on collaborative research meeting of minds, CASCON '08, pp.29-43, 2008.
DOI : 10.1145/1463788.1463799

X. Crégut, M. Benoit-combemale, R. Pantel, J. Faudoux, and . Pavei, Generative Technologies for Model Animation in the TopCased Platform, European Conference on Modeling Foundations and Applications (ECMFA)
DOI : 10.1007/978-3-642-13595-8_9

G. Csertan, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza et al., VIATRA -visual automated transformations for formal veriication and validation of UML models, International Conference on Automated Software Engineering (ASE). IEEE, p.14, 2002.

K. Czarnecki, N. Foster, Z. Hu, F. James, and . Terwilliger, Bidirectional Transformations: A Cross-Discipline Perspective, International Conference on Model Transformation (ICMT). LNCS, vol.200, issue.3, pp.260-283, 2009.
DOI : 10.1007/978-3-540-70583-3_22

K. Czarnecki and S. Helsen, Feature-based survey of model transformation approaches, IBM Systems Journal, vol.45, issue.3, p.14, 2006.
DOI : 10.1147/sj.453.0621

J. Deantoni and F. Mallet, TimeSquare: Treat Your Models with Logical Time, International Conference on Objects, Models, Components, Patterns (TOOLS, pp.34-41978
DOI : 10.1007/978-3-642-30561-0_4

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

J. Deantoni, F. Mallet, F. Thomas, G. Reydet, J. Babau et al., RT-simex, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.37-40, 2010.
DOI : 10.1145/1882291.1882357

URL : https://hal.archives-ouvertes.fr/inria-00587151

M. Desnoyers, Common Trace Format (CTF) Speciication (v1.8.2). 2013. url: http : / / git . efficios . com / ?p = ctf . git ; a = blob _ plain ; f = common trace-format-specification .md;hb=master (cit, pp.31-38

D. Di-ruscio, R. Eramo, and A. Pierantonio, Model Transformations, LNCS, vol.6, issue.4, pp.91-136978
DOI : 10.1007/s10270-006-0036-6

D. Dotan and A. Kirshin, Debugging and testing behavioral UML models, Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion , OOPSLA '07, pp.838-839, 2007.
DOI : 10.1145/1297846.1297915

S. Drossopoulou and J. Noble, Trust the clones " . In: Formal Veriication of Object-Oriented Software (FoVeOOS), 2011.

B. Matthew, S. Dwyer, and . Elbaum, Unifying veriication and validation techniques: relating behavior and properties through partial evidence, Future of software engineering research, issue.2, pp.93-98, 2010.

M. Egea and V. Rusu, Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, vol.16, issue.3, 2010.
DOI : 10.1007/s11334-009-0108-1

URL : https://hal.archives-ouvertes.fr/inria-00527502

M. Eisenstadt, My hairiest bug war stories, Communications of the ACM, vol.40, issue.4, pp.30-37, 1997.
DOI : 10.1145/248448.248456

J. Engblom, A review of reverse debugging " . In: SoC and Silicon Debug Conference (S4D), IEEE, pp.1-6, 2012.

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, International conference on the Uniied Modeling Language (UML). LNCS, vol.1939, pp.323-3373, 2000.
DOI : 10.1007/3-540-40011-7_23

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

S. Esmaeilsabzali and N. A. Day, Prescriptive semantics for big-step modeling languages, International Conference on Fundamental Approaches to Software Engineering (FASE, pp.158-172978, 2010.

U. Fahrenberg, A. Legay, and A. Wasowski, Vision Paper: Make a Difference! (Semantically), International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.490-500
DOI : 10.1007/978-3-540-88643-3_15

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

J. Falleri, M. Huchard, and C. Nebut, Towards a Traceability Framework for Model Transformations in Kermeta, pp.82-96
URL : https://hal.archives-ouvertes.fr/lirmm-00102855

F. Fouquet, G. Nain, B. Morin, and E. Daubert, An Eclipse Modeling Framework alternative to Meet the Models@Runtime Requirements, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.87-101978

F. Fouquet, G. Nain, B. Morin, E. Daubert, O. Barais et al., Kevoree Modeling Framework (KMF): Eicient modeling techniques for runtime use, Interdisciplinary Centre for Security, Reliability and Trust (SNT), vol.37, pp.2014-54

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07)
DOI : 10.1109/FOSE.2007.14

URL : https://hal.archives-ouvertes.fr/inria-00511368

L. Fredlund, An implementation of a translational semantics for an imperative language, LNCS, vol.458, pp.246-262, 1990.
DOI : 10.1007/BFb0039064

L. Fuentes, J. Manrique, and P. Sánchez, Execution and simulation of (proiled) UML models using pópulo, International workshop on Models in Software Engineering (MiSE). ACM, pp.75-81, 2008.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software, p.65, 1994.

K. Garces, J. Deantoni, and F. Mallet, A Model-Based Approach for Reconciliation of Polychronous Execution Traces, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications, pp.259-266, 2011.
DOI : 10.1109/SEAA.2011.47

URL : https://hal.archives-ouvertes.fr/inria-00597981

M. Geimer, F. Wolf, J. Brian, E. Wylie, D. Ábrahám et al., The Scalasca performance toolset architecture, Concurrency and Computation: Practice and Experience, vol.16, issue.2-3, pp.702-719, 2010.
DOI : 10.1002/cpe.1556

A. Georges, M. Christiaens, M. Ronsse, and K. De-bosschere, JaRec: a portable record/replay environment for multi-threaded Java applications In: Software: Practice and Experience 34, 2004.

M. Gogolla, L. Hamann, F. Hilken, M. Kuhlmann, and R. France, From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamic, In: Modellierung. LNI. GI, vol.225, issue.87, pp.273-288, 2014.

S. Goings, H. J. Goldsby, B. H. Cheng, and C. Ofria, An ecology-based evolutionary algorithm to evolve solutions to complex problems, Artificial Life 13, pp.171-177, 2012.
DOI : 10.7551/978-0-262-31050-5-ch024

A. Goldberg and D. Robson, Smalltalk-80: the language and its implementation, p.201113716, 1983.

L. Gomez, I. Neamtiu, T. Azim, and T. Millstein, RERAN: Timing- and touch-sensitive record and replay for Android, 2013 35th International Conference on Software Engineering (ICSE), pp.72-81
DOI : 10.1109/ICSE.2013.6606553

P. Grogono and P. Chalin, COPYING, SHARING, AND ALIASING, Colloquium on Object Orientation in Databases and Software Engineering (COODBSE), 1994.
DOI : 10.1142/9789812831163_0006

P. Grogono and M. Sakkinen, Copying and Comparing: Problems and Solutions, European Conference on Object-Oriented Programming (ECOOP)
DOI : 10.1007/3-540-45102-1_11

M. Object and . Group, UML Testing Proile (UTP), v1.2. 2013. url: http: //www.omg.org/spec, p.36

C. Guy, B. Beno??-t-combemale, and S. Derrien, On Model Subtyping, European Conference on Modeling Foundations and Applications (ECMFA, pp.400-415
DOI : 10.1007/978-3-642-31491-9_30

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

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

D. Harel, H. Lachover, A. Naamad, A. Pnuelli, M. Politi et al., Aharon Shtull-trauring, and Mark Trakhtenbrot STATEMATE: a working environment for the development of complex reactive systems, IEEE Transactions on software engineering 16, pp.403-414, 1988.

D. Harel and A. Pnueli, On the development of reactive systems Logics and Models of Concurrent Systems, F13. NATO ASI, pp.477-498, 1985.

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

T. Hartmann, F. Fouquet, G. Nain, B. Morin, J. Klein et al., A Native Versioning Concept to Support Historized Models at Runtime, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.252-268, 2014.
DOI : 10.1007/978-3-319-11653-2_16

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

Á. 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

Á. Hegedüs, I. Ráth, and D. Varró, Back-annotation framework for Simulation Traces of Discrete Event-based Languages. Tech. rep url: https://inf, BME, vol.34, issue.87, pp.39-50, 2010.

Á. 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, 2013.
DOI : 10.3311/PPee.7078

F. Hilken, L. Hamann, and M. Gogolla, Transformation of UML and OCL models into ilmstrip models, International Conference on Model Transformation (ICMT, pp.170-185, 2014.

J. Hutchinson, J. Whittle, M. Rounceield, and S. Kristofersen, 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

C. Jeanneret, M. Glinz, and B. Baudry, Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11
DOI : 10.1145/1985793.1985875

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

J. Jézéquel, O. Benoit-combemale, M. Barais, F. Monperrus, and . Fouquet, Mashup of metalanguages and its implementation in the Kermeta language workbench, Software and Systems Modeling (SoSyM) 14, pp.905-920, 2015.

J. Jézéquel, B. Combemale, and D. Vojtisek, Ingénierie Dirigée par les Modèles : des concepts à la pratique. Références sciences. Ellipses, p.9782729871963, 2012.

F. Jouault, Loosely coupled traceability for ATL, ECMDA Traceability Workshop, vol.91, pp.29-37, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00448118

F. Jouault and I. Kurtev, Transforming models with ATL Workshop on Model Transformations in Practice (MTiP), LNCS, vol.3844, issue.15, pp.128-138, 2006.

G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, On the Use of Graph Transformation in the Formal Speciication of Model Interpreters, In: Journal of Universal Computer Science, vol.911, pp.1296-1321, 2003.

S. Kelly and R. Pohjonen, Worst Practices for Domain-Speciic Modeling, IEEE Software, vol.264, issue.76, p.77, 2009.

M. Kerboeuf and J. Babau, A DSML for reversible transformations, Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11, SPLASH '11 Workshops, pp.1-6, 2011.
DOI : 10.1145/2095050.2095057

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

M. Kessentini, H. Sahraoui, and M. Boukadoum, Model Transformation as an Optimization Problem, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.159-173, 2008.
DOI : 10.1007/978-3-540-87875-9_12

A. Kirshin, D. Dotan, and A. Hartman, A UML Simulator Based on a Generic Model Execution Engine In: Workshop on Multi-Paradigm Modeling (MPM), LNCS, vol.4364, pp.324-326, 2006.

S. Dimitrios, D. D. Kolovos, A. Ruscio, . Pierantonio, F. Richard et al., Diferent Models for Model Matching: An analysis of approaches to support model diferencing, Workshop on Comparison and Versioning of Software Models (CVSM, 2009.

A. Krasnogolowy, S. Hildebrandt, and S. Wlitzoldt, Flexible debugging of behavior models, 2012 IEEE International Conference on Industrial Technology, pp.331-336, 2012.
DOI : 10.1109/ICIT.2012.6209959

P. Langer, T. Mayerhofer, and G. Kappel, Semantic Model Diferencing Utilizing Behavioral Semantics Speciications, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.116-132, 2014.

Y. Laurent, M. Bendraou, and . Gervais, Executing and debugging UML models, Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, pp.1095-1102, 2013.
DOI : 10.1145/2480362.2480569

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

E. Lepore and B. Loewer, Translational Semantics, Synthese 48, pp.121-133, 1981.

M. Leucker and C. Schallhart, A brief account of runtime veriication The Journal of Logic and Algebraic Programming 78, pp.293-303, 2009.

B. Lewis, Debugging backwards in time, pp.46-47, 2003.

P. Li, N. Cameron, and J. Noble, Cloning in ownership, Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, SPLASH '11, pp.63-65, 2011.
DOI : 10.1145/2048147.2048175

P. Li, N. Cameron, and J. Noble, Sheep Cloning with Ownership Types, International Workshop on Foundations of Object-Oriented Languages (FOOL). 2012 (cit, p.18

H. Lieberman, Using prototypical objects to implement shared behavior in objectoriented systems, International Conference on Object Oriented Programming Systems Languages & Applications (OOSPLA). ACM, pp.214-223, 1986.

A. Lienhard, T. G??, and O. Nierstrasz, Practical Object-Oriented Back-in-Time Debugging, European Conference on Object-Oriented Programming, pp.592-615, 2008.
DOI : 10.1007/978-3-540-70592-5_25

Y. Lin, J. Gray, and F. Jouault, DSMDif: a diferentiation tool for domain-speciic models, European Journal of Information Systems, vol.164, pp.349-361, 2007.

T. Ricky, . Lindeman, C. Lennart, E. Kats, and . Visser, Declaratively Deining Domain-Speciic Language Debuggers, International Conference on Generative Programming and Component Engineering, pp.127-1362047885, 2012.

S. Maoz, Model-Based Traces, Workshop on Models@runtime (MRT)
DOI : 10.1016/j.entcs.2006.02.007

S. Maoz and D. Harel, On tracing reactive systems, Software and Systems Modeling (SoSyM), pp.447-468, 2011.
DOI : 10.1007/s10270-010-0151-2

S. Maoz, J. O. Ringert, and B. Rumpe, ADDif: Semantic Differencing for Activity Diagrams, 8th Joint European Software Engineering Conference (ESEC) and Symposium on the Foundations of Software Engineering (FSE). ACM, pp.179-189, 2011.

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, International Conference on Software Language Engineering (SLE, pp.56-75, 2013.
DOI : 10.1007/978-3-319-02654-1_4

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-speciic languages, In: ACM Computing Surveys, vol.374, pp.316-344, 2005.

B. Meyers, R. Deshayes, L. Lucio, E. Syriani, H. Vangheluwe et al., ProMoBox: A Framework for Generating Domain-Specific Property Languages, International Conference on Software Language Engineering (SLE). LNCS. Springer, vol.8706, issue.35, pp.1-20, 2014.
DOI : 10.1007/978-3-319-11245-9_1

S. Van-mierlo, Y. Van-tendeloo, B. Barroca, S. Mustaiz, and H. Vangheluwe, Explicit Modeling of a Parallel DEVS Experimentation Environment, Symposium on Theory of Modeling and Simulation -DEVS (TM- S/DEVS). Society for Computer Simulation International, pp.860-867, 2015.

R. Milner, Communication and Concurrency, p.131149849, 1989.

P. Mohagheghi and V. Dehlen, Where Is the Proof? - A Review of Experiences from Applying MDE in Industry, European conference on Model Driven Architecture ? Foundations and Applications, pp.432-443, 2008.
DOI : 10.1007/978-3-540-69100-6_31

M. Object and . Group, Meta Object Facility (MOF) Core Speciication, p.31

M. Object and . Group, Object Constraint Language (OCL) Version 2.4. 2014. url: http://www.omg.org/spec

M. Object and . Group, Semantics of a Foundational Subset for Executable UML Models (fUML), V 1.1. 2013. url: http://www.omg.org/spec, pp.94-96

M. Object and . Group, Uniied Modeling Language (UML) Version 2.5. 2015. url: http://www.omg.org/spec, p.94

G. Pagano, D. Dosimont, G. Huard, V. Marangozova-martin, and J. Vincent, Trace Management and Analysis for Embedded Systems, 2013 IEEE 7th International Symposium on Embedded Multicore Socs
DOI : 10.1109/MCSoC.2013.28

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

P. A. Kidwell, Stalking the elusive computer bug, IEEE Annals of the History of Computing, vol.20, issue.4, 1998.
DOI : 10.1109/85.728224

J. S. Khoo-yit-phang, M. Foster, and . Hicks, Expositor: Scriptable time-travel debugging with irst-class traces, International Conference on Software Engineering (ICSE). IEEE, pp.352-361, 2013.

D. Gordon and . Plotkin, A Structural Approach to Operational Semantics. Tech. rep. DAIMI FN-19, 1981.

G. Pothier and É. Tanter, Back to the Future: Omniscient Debugging, IEEE Software, vol.26, issue.6, pp.46-49, 2009.
DOI : 10.1109/MS.2009.169

I. Ráth and G. Bergmann, András Ökrös, and Dániel Varró Live Model Transformations Driven by Incremental Pattern Matching, International Conference on Model Transformation (ICMT). LNCS, vol.5063, pp.107-121, 2008.

I. Ráth, D. Vágó, and D. Varró, Design-time simulation of domainspeciic models by incremental pattern matching, Symposium on Visual Languages and Human-Centric Computing, pp.219-222, 2008.

R. Reiter, A theory of diagnosis from irst principles, In: Artiicial Intelligence, vol.32187, pp.57-95, 1987.

J. Riedesel, Diagnosing Multiple Faults in SSM/PMAD, Proceedings of the 25th Intersociety Energy Conversion Engineering Conference, pp.284-290, 1987.
DOI : 10.1109/IECEC.1990.716896

D. Riehle, S. Fraleigh, D. Bucka-lassen, and N. Omorogbe, The architecture of a UML virtual machine, International Conference on Object Oriented Programming Systems Languages and Applications (OOSPLA). ACM, pp.327-341, 2001.

B. Rumpe and I. Weisemoeller, A domain speciic transformation language " . In: Workshop an Models and Evolution (ME), 2011.

R. Sauter, O. Saukh, O. Frietsch, and P. Marrón, TinyLTS: Efficient network-wide Logging and Tracing System for TinyOS, 2011 Proceedings IEEE INFOCOM, 2011.
DOI : 10.1109/INFCOM.2011.5935011

T. Saxena and G. Karsai, MDE-Based Approach for Generalizing Design Space Exploration, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.46-60, 2010.
DOI : 10.1007/978-3-642-16145-2_4

C. Douglas and . Schmidt, Guest Editor's Introduction: Model-Driven Engineering, 2006.

J. Schnerr, O. Bringmann, A. Viehl, and W. Rosenstiel, High-performance timing simulation of embedded software, Proceedings of the 45th annual conference on Design automation, DAC '08, pp.290-295, 2008.
DOI : 10.1145/1391469.1391543

M. Lucas, O. Schnorr, J. Stein, and . Chassin, Paje trace ile format, version 1.2

A. Schürr, Speciication of graph translators with triple graph grammars In: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), LNCS, vol.903, issue.15, pp.151-163, 1994.

S. Sendall and W. Kozaczynski, Model transformation: the heart and soul of model-driven software development, IEEE Software, vol.20, issue.5, p.14, 2003.
DOI : 10.1109/MS.2003.1231150

S. Sameer, A. D. Shende, and . Malony, The Tau Parallel Performance System, International Journal of High Performance Computing Applications, vol.202, pp.287-311, 2006.

E. James, R. Smith, and . Nair, The architecture of virtual machines, 2005.

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

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

M. Stumptner and F. Wotawa, Debugging functional programs, International Joint Conference on Artiicial Intelligence (IJCAI), pp.1074-1079, 1999.

E. Syriani and H. Vangheluwe, A modular timed graph transformation language for simulation-based design, Software & Systems Modeling, vol.13, issue.3, pp.387-414, 2013.
DOI : 10.1007/s10270-011-0205-0

E. Syriani, H. Vangheluwe, and B. Lashomb, T-Core: a framework for custom-built model transformation engines, Software & Systems Modeling, vol.68, issue.3, pp.1215-1243, 2013.
DOI : 10.1007/s10270-013-0370-4

R. Tarjan, Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972.
DOI : 10.1137/0201010

J. Tatibouët, A. Cuccuru, S. Gérard, and F. Terrier, Formalizing Execution Semantics of UML Proiles with fUML Models, International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.133-148, 2014.

M. Voelter, . Dsl, and . Engineering, CreateSpace Independent Publishing Platform , 2013. isbn: 978-1481218580. url: http://dslbook

J. Whittle, J. Hutchinson, and M. Rounceield, The State of Practice in Model-Driven Engineering, IEEE Software, vol.31, issue.3, pp.79-85, 2014.
DOI : 10.1109/MS.2013.65

F. Wotawa, On the relationship between model-based debugging and program slicing, Artificial Intelligence, vol.135, issue.1-2, pp.125-143, 2002.
DOI : 10.1016/S0004-3702(01)00161-8

H. Wu, J. Gray, and M. Mernik, Grammar-driven generation of domainspeciic language debuggers In: Software: Practice and Experience 38, 2008.

D. Yuan, H. Mai, W. Xiong, L. Tan, Y. Zhou et al., SherLog: error diagnosis by connecting clues from run-time logs, International Conference on Architectural Support for Programming Languages and Operating Systems, pp.143-154, 2010.

A. Zeller, Why Program Fail ? 1st Edition, 2004.