M. Object and . Group, Semantics of a Foundational Subset for Executable UML Models, 2013.

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. Meyers, J. Denil, I. Dávid, and H. Vangheluwe, Automated testing support for reactive domain-specific modelling languages, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2016, pp.181-194, 2016.
DOI : 10.1007/978-3-642-41533-3

P. Langer, T. Mayerhofer, and G. , Semantic Model Differencing Utilizing Behavioral Semantics Specifications, 17th Int. Conf. on Model Driven Eng. Lang. and Sys, 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

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

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 Third International Conference on the Unified Modeling Language, pp.323-337, 2000.
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 Third International Conference on Software Language Engineering (SLE'10), 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, 17th Int. Conf. on Model Driven Eng. Lang. and Sys. (MODELS), 2014.
DOI : 10.1007/978-3-319-11653-2_9

A. Lienhard, T. Gîrba, and O. Nierstrasz, Practical Object-Oriented Back-in-Time Debugging, 22nd Eur. Conf. on Object- Oriented Programming (ECOOP), 2008.
DOI : 10.1007/978-3-540-70592-5_25
URL : http://www.iam.unibe.ch/~scg/Archive/Papers/Lien08bBackInTimeDebugging.pdf

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

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, A Generative Approach to Define Rich Domain-Specific Trace Metamodels, 11th Eur. Conf. on Modelling Foundations and Applications (ECMFA), 2015.
DOI : 10.1007/978-3-319-21151-0_4
URL : https://hal.archives-ouvertes.fr/hal-01154225

E. Bousse, T. Degueule, D. Vojtisek, T. Mayerhofer, J. Deantoni et al., Execution Framework of the GEMOC Studio, Proceedings of the 2016 ACM SIG- PLAN International Conference on Software Language Engineering, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01355391

R. F. Paige, D. S. Kolovos, and F. A. Polack, Metamodelling for Grammarware Researchers, International Conference on Software Language Engineering (SLE), pp.64-82, 2013.
DOI : 10.1007/978-3-642-36089-3_5

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

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

B. Combemale, X. Crégut, P. 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

G. Csertan, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza et al., VIATRA - visual automated transformations for formal verification and validation of UML models, Proceedings 17th IEEE International Conference on Automated Software Engineering,, pp.267-270, 2002.
DOI : 10.1109/ASE.2002.1115027

F. Jouault and I. Kurtev, Transforming Models with ATL, Proceedings of the Workshop on Model Transformations in Practice (MTiP'05), pp.128-138, 2006.
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120

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

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

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

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm et al., An Overview of AspectJ, 15th European Conference on Object-Oriented Programming, pp.327-354, 2001.
DOI : 10.1007/3-540-45337-7_18

J. Deantoni, P. Issa-diallo, C. Teodorov, J. Champeau, and B. Combemale, Towards a Meta-Language for the Concurrency Concern in DSLs, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015.
DOI : 10.7873/DATE.2015.1052
URL : https://hal.archives-ouvertes.fr/hal-01087442

S. Efftinge, M. Eysholdt, J. Köhnlein, S. Zarnekow, R. Von-massow et al., Xbase, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.112-121, 2012.
DOI : 10.1145/2371401.2371419

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, 2011.
DOI : 10.1145/2025113.2025140

S. Van-mierlo, Y. Van-tendeloo, and H. Vangheluwe, Debugging Parallel DEVS, SIMULATION, vol.44, issue.4, pp.285-306, 2017.
DOI : 10.1007/s10270-011-0205-0

T. Mayerhofer, P. Langer, and G. , 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

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.

A. Kirshin, D. Dotan, and A. Hartman, A UML Simulator Based on a Generic Model Execution Engine, Workshop on Multi- Paradigm Modeling (MPM), pp.324-326, 2006.
DOI : 10.1007/978-3-540-69489-2_40
URL : http://www.scs-europe.net/services/ecms2006/ecms2006 pdf/45-meth.pdf

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

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

L. Fuentes, J. Manrique, and P. Sánchez, Execution and simulation of (profiled) UML models using p??pulo, Proceedings of the 2008 international workshop on Models in software engineering , MiSE '08, pp.75-81, 2008.
DOI : 10.1145/1370731.1370749

B. Combemale, X. Crégut, J. Giacometti, P. Michel, and M. , Introducing Simulation and Model Animation in the MDE Topcased Toolkit, European congress on Embedded Real Time Software and Systems (ERTS), 2008.
URL : https://hal.archives-ouvertes.fr/hal-00371596

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

H. Wu, J. Gray, and M. Mernik, Grammar-driven generation of domain-specific language debuggers, Software: Practice and Experience, pp.1073-1103, 2008.
DOI : 10.1002/spe.863
URL : http://www.cis.uab.edu/gray/pubs/hui-wu-thesis-2007.pdf

R. T. Lindeman, L. C. Kats, and E. Visser, Declaratively defining domain-specific language debuggers, Proceedings of the 10th ACM international conference on Generative programming and component engineering, GPCE '11, pp.127-136, 2012.
DOI : 10.1145/2047862.2047885

A. Chi?, T. Gîrba, and O. Nierstrasz, The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers, 7th Int. Conf. on Soft. Lang. Eng. (SLE), 2014.
DOI : 10.1007/978-3-319-11245-9_6

A. Chi?, T. Gîrba, O. Nierstrasz, and M. Denker, Practical domain-specific debuggers using the Moldable Debugger framework, Computer Languages, Systems & Structures, vol.44, pp.89-113, 2015.
DOI : 10.1016/j.cl.2015.08.005

B. Boothe, Efficient algorithms for bidirectional debugging, Conference on Programming Language Design and Implementation (PLDI), ACM, pp.299-310, 2000.
DOI : 10.1145/349299.349339

B. Lewis, Debugging backwards in time, International Workshop on Workshop on Automated and Algorithmic Debugging, 2003.

A. Georges, M. Christiaens, M. Ronsse, and K. De-bosschere, JaRec: a portable record/replay environment for multi-threaded Java applications, Software: Practice and Experience, pp.523-547, 2004.
DOI : 10.1002/spe.579

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

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

Y. Laurent, R. Bendraou, and M. 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

S. Maoz, Model-Based Traces, Models@runtime (MRT) LNCS, vol.144, issue.4, pp.109-119, 2009.
DOI : 10.1016/j.entcs.2006.02.007

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.1109/MS.2009.169

Á. Hegedüs, I. Ráth, and D. Varró, Back-annotation framework for Simulation Traces of Discrete Event-based Languages, Tech. Rep. BME, 2010.

Z. Drey and C. Teodorov, Object-oriented design pattern for DSL program monitoring, Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, SLE 2016, pp.70-83, 2016.
DOI : 10.1002/spe.863