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
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
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
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
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
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
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
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. ,
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics, Modellierung 2014. LNI, pp.273-288, 2014. ,
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
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
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
Mashup of metalanguages and its implementation in the Kermeta language workbench. Software & Systems Modeling pp, pp.1-16, 2013. ,
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
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
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
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
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
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=10.1.1.686.988
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
Semantics of a Foundational Subset for Executable UML Models (fUML), V 1, 2013. ,
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