Author of the publication

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

Towards Transformation of Integrity Constraints and Database States., , and . DEXA Workshops, page 823-828. IEEE Computer Society, (2005)Lightweight string reasoning in model finding., and . Software and Systems Modeling, 14 (1): 413-427 (2015)Analyzing Flowgraphs with ATL., , and . TTC, volume 135 of EPTCS, page 32-36. (2013)Checking Model Transformation Refinement., , , and . ICMT, volume 7909 of Lecture Notes in Computer Science, page 158-173. Springer, (2013)Model Transformations? Transformation Models!, , , , , and . MoDELS, volume 4199 of Lecture Notes in Computer Science, page 440-453. Springer, (2006)Shortcomings of the Embedding of OCL into QVT ImperativeOCL., and . MoDELS (Workshops), volume 5421 of Lecture Notes in Computer Science, page 263-272. Springer, (2008)On validation of ATL transformation rules by transformation models., , and . MoDeVVa@MoDELS, page 9:1-9:8. ACM, (2011)On OCL-based imperative languages., and . Sci. Comput. Program., (2014)Verification of Graph-based Model Transformations Using Alloy., , and . ECEASST, (2014)Reusing OCL in the definition of imperative languages.. University of Bremen, (2011)