( en | de | ru )

 

Disambiguation of "Levendovszky, Tihamer"

Author of the publication

copydeleteadd this publication to your clipboard
Restrictions for OCL Constraint Optimization Algorithms.

, , and . ECEASST, (2006)

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

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)A Flexible Attribute Instantiation Technique for Visual Languages., , , and . IASTED Conf. on Software Engineering, page 355-359. 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)Verified Operational Patterns with Graph Transformation., and . ICST, page 954-961. IEEE Computer Society, (2012)Incremental Type Checking in OCL Compilers., , and . ECBS-EERC, page 9-18. IEEE Computer Society, (2009)Evolution in a context of an model-integrated tool environment., , , , and . ME@MoDELS, page 33-38. ACM, (2012)Termination Criteria for DPO Transformations with Injective Matches., , and . GT-VC@CONCUR, volume 175 of Electronic Notes in Theoretical Computer Science, page 87-100. Elsevier, (2006)Formalization of software models for cyber-physical systems., , , , , and . FormaliSE, page 45-51. ACM, (2014)