Execution traces: A new domain that requires the creation of a standard metamodel Advances in Software Engineering, 2009. ,
Principles Of Model Checking ,
Scalable Armies of Model Clones through Data Sharing, MODELS, vol.2014, 2014. ,
DOI : 10.1007/978-3-319-11653-2_18
URL : https://hal.archives-ouvertes.fr/hal-01023681
A Design Pattern to Build Executable DSMLs and associated V&V tools. The 19th Asia-Pacific Software Engineering Conference, 2012. ,
Reifying Concurrency for Executable Metamodeling, International Conference on Software Language Engineering, 2013. ,
DOI : 10.1007/978-3-319-02654-1_20
A brief account of runtime verification, The Journal of Logic and Algebraic Programming, vol.78, issue.5, 2009. ,
DOI : 10.1016/j.jlap.2008.08.004
Clock constraint specification language: specifying clock constraints with UML/MARTE, Innovations in Systems and Software Engineering, 2008. ,
DOI : 10.1007/s11334-008-0055-2
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.232.5738
Expositor: Scriptable timetravel debugging with first-class traces, ICSE, vol.2013, 2013. ,