( en | de | ru )

 

Disambiguation of "Levendovszky, Tihamer"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Tihamér Geyer

Tihamér Koncz

 

Other publications of authors with the same name

A Flexible Attribute Instantiation Technique for Visual Languages., , , and . IASTED Conf. on Software Engineering, page 355-359. IASTED/ACTA Press, (2005)Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers., , , and . IASTED Conf. on Software Engineering, page 48-49. IASTED/ACTA Press, (2005)Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications., , and . IASTED Conf. on Software Engineering, page 252-257. IASTED/ACTA Press, (2006)Model-Based Development with Validated Model Transformation., , , and . MDEIS, page 39-48. INSTICC Press, (2006)VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design., , , , , , , , and . MDHPCL@MoDELS, volume 1118 of CEUR Workshop Proceedings, page 25-36. CEUR-WS.org, (2013)Evolution in a context of an model-integrated tool environment., , , , and . ME@MoDELS, page 33-38. ACM, (2012)Incremental Type Checking in OCL Compilers., , and . ECBS-EERC, page 9-18. IEEE Computer Society, (2009)Verified Operational Patterns with Graph Transformation., and . ICST, page 954-961. IEEE Computer Society, (2012)Metamodel-Based Model Transformation with Aspect-Oriented Constraints, , , , and . Electronic Notes in Theoretical Computer Science, (March 2006)A flexible, declarative presentation framework for domain-specific modeling., , and . AVI, page 309-312. ACM Press, (2008)