Author of the publication

A formalism for describing modeling transformations for verification.

, , and . MoDeVVa@MoDELS, page 2:1-2:10. ACM, (2009)

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

Targeting tablet devices with a template-based column layout approach., , and . SISY, page 129-134. IEEE, (2012)Software composition with a multipurpose modeling and model transformation framework., , and . IASTED Conf. on Software Engineering, page 590-594. IASTED/ACTA Press, (2004)A Visual Control Flow Language for Model Transformation Systems., , , and . IASTED Conf. on Software Engineering, page 194-199. IASTED/ACTA Press, (2006)Open issues in model transformations for multimodal applications., and . J. Multimodal User Interfaces, 9 (4): 377-385 (2015)Parametrization and Evaluation of Intermediate Level Obfuscator., and . International Journal of Software Engineering and Knowledge Engineering, 27 (7): 995-1012 (2017)Formal specification and analysis of functional properties of graph rewriting-based model transformation., , and . Softw. Test. Verification Reliab., 23 (5): 405-435 (2013)Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps., , and . Panhellenic Conference on Informatics, volume 3746 of Lecture Notes in Computer Science, page 393-403. Springer, (2005)Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations., , , , , and . ECEASST, (2011)Fast android application development with component modeling., , and . CogInfoCom, page 515-520. IEEE, (2014)Constraint Validation in Model Compilers., , and . J. Object Technol., 5 (4): 107-127 (2006)