An algebraic semantics for MOF. Formal Aspects of Computing, pp.269-296, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00567269
Formal specification and analysis of domain specific languages using Maude. Simulation: Transactions of the Society for Modeling and Simulation International, pp.11-12778, 2009. ,
All About Maude, A High-Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007. ,
An executable formal semantics for OCL with aopplications to model analysis and validation, 2008. ,
Formal executable semantics for conformance in the MDE framework, Innovations in Systems and Software Engineering, vol.16, issue.3, pp.73-81, 2010. ,
DOI : 10.1007/s11334-009-0108-1
URL : https://hal.archives-ouvertes.fr/inria-00527502
Algebraic simulations, The Journal of Logic and Algebraic Programming, vol.79, issue.2, pp.103-143, 2010. ,
DOI : 10.1016/j.jlap.2009.07.003
Introducing the ITP tool: a tutorial, Journal of Universal Computer Science, vol.12, issue.11, pp.1618-1650, 2006. ,
Membership algebra as a logical framework for equational specification, Lecture Notes in Computer Science, vol.1376, pp.18-61, 1997. ,
DOI : 10.1007/3-540-64299-4_26
Characterization of computable data types by means of a finite equational specification method, International Conference on Automatawww.omg.org/SPEM Languages and Programming, pp.76-90, 1980. ,
Extending visual modeling languages with timed behavior specifications, CIbSE, pp.87-100, 2009. ,
Formal Real-Time Model Transformations in MOMENT2, Lecture Notes in Computer Science, vol.6013, pp.29-43, 2010. ,
DOI : 10.1007/978-3-642-12029-9_3
Defining visual notations and their manipulation through meta-modelling and graph transformation, Journal of Visual Languages & Computing, vol.15, issue.3-4, pp.3-4309, 2006. ,
DOI : 10.1016/j.jvlc.2004.01.005
The design of a language for model transformations. Software and System Modeling, pp.261-288, 2006. ,
András Pataricza, and Dániel Varró. VIATRA -visual automated transformations for formal verification and validation of UML models, ASE, pp.267-270, 2002. ,
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts, Hartmut Ehrig, pp.242-256, 2008. ,
DOI : 10.1007/978-3-540-87405-8_17
Verification of Architectural Refactorings: Rule Extraction and Tool Support, ECEASST, p.16, 2008. ,
DOI : 10.1007/978-3-540-87405-8_37
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
A Constructive Approach to Testing Model Transformations, Theory and Practice of Model Transformations, Third International Conference (ICMT'10), pp.77-92, 2010. ,
DOI : 10.1007/978-3-642-13688-7_6
Weaving Executability into Object-Oriented Meta-languages, MoDELS, pp.264-278, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
Towards a Rewriting Logic Semantics for ATL, Theory and Practice of Model Transformations, Third International Conference (ICMT'10), pp.230-244, 2010. ,
DOI : 10.1007/978-3-642-13688-7_16