From Core OCL Invariants to Nested Graph Constraints, Graph Transformation, pp.97-112, 2014. ,
DOI : 10.1007/978-3-319-09108-2_7
Translating OCL to Graph Patterns, Model-Driven Engineering Languages and Systems, pp.670-686, 2014. ,
DOI : 10.1007/978-3-319-11653-2_41
Formal foundation of consistent EMF model transformations by algebraic graph transformation. Software & Systems Modeling, pp.227-250, 2012. ,
Verification of ATL Transformations Using Transformation Models and Model Finders, Formal Methods and Software Engineering, pp.198-213, 2012. ,
DOI : 10.1007/978-3-642-34281-3_16
Attribute Handling for Generating Preconditions from Graph Constraints, Graph Transformation, pp.81-96, 2014. ,
DOI : 10.1007/978-3-319-09108-2_6
Fundamentals of algebraic graph transformation, 2006. ,
ATLTest: A White-Box Test Generation Approach for ATL Transformations, Model Driven Engineering Languages and Systems, pp.449-464, 2012. ,
DOI : 10.1007/978-3-642-33666-9_29
Weakest Preconditions for High-Level Programs, Graph Transformations, pp.445-460, 2006. ,
DOI : 10.1007/11841883_31
Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006. ,
DOI : 10.1007/11663430_14
URL : https://hal.archives-ouvertes.fr/hal-00448120
Object Constraint Language (OCL) 2.4, 2012. ,
Verification of Graph Programs, 2013. ,
DOI : 10.1007/978-3-642-33654-6_30
Towards rigorously faking bidirectional model transformations, AMT 2014 Workshop Proceedings, pp.70-75, 2014. ,
Towards testing model transformation chains using precondition construction in algebraic graph transformation, AMT 2014 Workshop Proceedings, pp.34-43, 2014. ,
A Rewriting Logic Semantics for ATL., The Journal of Object Technology, vol.10, issue.5, pp.1-29, 2011. ,
DOI : 10.5381/jot.2011.10.1.a5