Author of the publication

Uncovering Errors in ATL Model Transformations Using Static Analysis and Constraint Solving.

, , and . ISSRE, page 34-44. IEEE Computer Society, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Reverse Engineering of Event Handlers of RAD-Based Applications., , and . WCRE, page 293-302. IEEE Computer Society, (2011)Pattern-based development of Domain-Specific Modelling Languages., , , , and . MoDELS, page 166-175. IEEE, (2015)A-posteriori typing for Model-Driven Engineering., , and . MoDELS, page 156-165. IEEE, (2015)A repository for scalable model management., , and . Software and Systems Modeling, 14 (1): 219-239 (2015)Example-driven meta-model development., , , and . Software and Systems Modeling, 14 (4): 1323-1347 (2015)Reusing Model Transformations across Heterogeneous Metamodels., , , , , , , and . ECEASST, (2011)The Program Is the Model: Enabling Transformations@run.time., , and . SLE, volume 7745 of Lecture Notes in Computer Science, page 104-123. Springer, (2012)Efficient model partitioning for distributed model transformations., , , , and . SLE, page 226-238. ACM, (2016)Twiagle: A Tool for Engineering Applications Based on Instant Messaging over Twitter., , and . ICWE, volume 8541 of Lecture Notes in Computer Science, page 536-539. Springer, (2014)A Plugin-Based Language to Experiment with Model Transformation., and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 336-350. Springer, (2006)