Follow
Tihamér Levendovszky
Title
Cited by
Cited by
Year
Model transformation by graph transformation: A comparative study
G Taentzer, K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, ...
Proc. Workshop Model Transformation in Practice, Montego Bay, Jamaica, 17, 2005
1812005
Next generation (meta) modeling: web-and cloud-based collaborative tool infrastructure.
M Maróti, T Kecskés, R Kereskényi, B Broll, P Völgyesi, L Jurácz, ...
MPM@ MoDELS 1237, 41-60, 2014
1682014
A systematic approach to metamodeling environments and model transformation systems in VMTS
T Levendovszky, L Lengyel, G Mezei, H Charaf
Electronic Notes in Theoretical Computer Science 127 (1), 65-75, 2005
1202005
Generative programming via graph transformations in the model-driven architecture
A Agrawal, T Levendovszky, J Sprinkle, F Shi, G Karsai
Workshop on Generative Techniques in the Context of Model Driven …, 2002
1022002
Model reuse with metamodel-based transformations
T Levendovszky, G Karsai, M Maroti, A Ledeczi, H Charaf
Software Reuse: Methods, Techniques, and Tools: 7th International Conference …, 2002
922002
Automatic domain model migration to manage metamodel evolution
A Narayanan, T Levendovszky, D Balasubramanian, G Karsai
Model Driven Engineering Languages and Systems: 12th International …, 2009
892009
Reasoning about metamodeling with formal specifications and automatic proofs
EK Jackson, T Levendovszky, D Balasubramanian
Model Driven Engineering Languages and Systems: 14th International …, 2011
812011
Model transformation by graph transformation: A comparative study
K Ehrig, E Guerra, J De Lara, L Lengyel, T Levendovszky, U Prange, ...
MTiP, 2005
772005
Towards automated, formal verification of model transformations
M Asztalos, L Lengyel, T Levendovszky
2010 Third International Conference on Software Testing, Verification and …, 2010
632010
A novel approach to semi-automated evolution of dsml model transformation
T Levendovszky, D Balasubramanian, A Narayanan, G Karsai
Software Language Engineering: Second International Conference, SLE 2009 …, 2010
632010
Domain model translation using graph transformations
J Sprinkle, A Agrawal, T Levendovszky, F Shi, G Karsai
10th IEEE International Conference and Workshop on the Engineering of …, 2003
592003
Foundation for model integration: Semantic backplane
G Simko, T Levendovszky, S Neema, E Jackson, T Bapty, J Porter, ...
International Design Engineering Technical Conferences and Computers and …, 2012
522012
Supporting domain-specific model patterns with metamodeling
T Levendovszky, L Lengyel, T Mészáros
Software & Systems Modeling 8, 501-520, 2009
492009
9 Model Evolution and Management
T Levendovszky, B Rumpe, B Schätz, J Sprinkle
Dagstuhl Workshop on Model-Based Engineering of Embedded Real-Time Systems …, 2007
452007
Summary of the workshop on multi-paradigm modeling: Concepts and tools
H Giese, T Levendovszky, H Vangheluwe
Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa …, 2007
452007
Towards a theory for cyber-physical systems modeling
G Simko, T Levendovszky, M Maroti, J Sztipanovits
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling …, 2014
402014
Model transformation with a visual control flow language
L Lengyel, T Levendovszky, G Mezei, H Charaf
International Journal of Computer Science (IJCS) 1 (1), 45-53, 2006
402006
Specification of cyber-physical components with formal semantics–integration and composition
G Simko, D Lindecker, T Levendovszky, S Neema, J Sztipanovits
Model-Driven Engineering Languages and Systems: 16th International …, 2013
382013
Distributed real-time managed systems: A model-driven distributed secure information architecture platform for managed embedded systems
T Levendovszky, A Dubey, WR Otte, D Balasubramanian, A Coglio, ...
IEEE software 31 (2), 62-69, 2013
362013
Termination criteria for dpo transformations with injective matches
T Levendovszky, U Prange, H Ehrig
Electronic Notes in Theoretical Computer Science 175 (4), 87-100, 2007
362007
The system can't perform the operation now. Try again later.
Articles 1–20