Model Reuse with Metamodel-Based Transformations. - Tihamer Levendovszky; Gabor Karsai; Miklos Maroti; Ákos Lédeczi; Hassan Charaf (ICSR, 2002)

Domain Model Translation Using Graph Transformations. - Jonathan Sprinkle; Aditya Agrawal; Tihamer Levendovszky; Feng Shi; Gabor Karsai (ECBS, 2003)

Supporting round-trip engineering in modeling environments with the application of meta-modeling techniques. - László Lengyel; Tihamer Levendovszky; Hassan Charaf (IASTED Conf. on Software Engineering, 2004)

Software composition with a multipurpose modeling and model transformation framework. - Tihamer Levendovszky; László Lengyel; Hassan Charaf (IASTED Conf. on Software Engineering, 2004)

A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS. - Tihamer Levendovszky; László Lengyel; Gergely Mezei; Hassan Charaf (GraBaTs, 2004)

Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers. - László Lengyel; Tihamer Levendovszky; P. Kozma; Hassan Charaf (IASTED Conf. on Software Engineering, 2005)

A Flexible Attribute Instantiation Technique for Visual Languages. - Gergely Mezei; Tihamer Levendovszky; László Lengyel; Hassan Charaf (IASTED Conf. on Software Engineering, 2005)

Investigating Factors Influencing the Response Time in ASP.NET Web Applications. - Ágnes Bogárdi-Mészöly; Zoltán Szitás; Tihamer Levendovszky; Hassan Charaf (Panhellenic Conference on Informatics, 2005)

Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. - László Lengyel; Tihamer Levendovszky; Hassan Charaf (Panhellenic Conference on Informatics, 2005)

Metamodel-Based Model Transformation with Aspect-Oriented Constraints. - László Lengyel; Tihamer Levendovszky; Gergely Mezei; Bertalan Forstner; Hassan Charaf (GRaMoT@GPCE, 2005)

Towards a Model-Based Unification of Mobile Platforms. - László Lengyel; Tihamer Levendovszky; Gergely Mezei; Bertalan Forstner; Hassan Charaf (AICCSA, 2006)

Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications. - Ágnes Bogárdi-Mészöly; Tihamer Levendovszky; Hassan Charaf (IASTED Conf. on Software Engineering, 2006)

A Visual Control Flow Language for Model Transformation Systems. - László Lengyel; Tihamer Levendovszky; Gergely Mezei; Hassan Charaf (IASTED Conf. on Software Engineering, 2006)

Visual Presentation Solutions for Domain Specific Languages. - Gergely Mezei; Tihamer Levendovszky; Hassan Charaf (IASTED Conf. on Software Engineering, 2006)

An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. - Gergely Mezei; Tihamer Levendovszky; Hassan Charaf (SET, 2006)

Model-Based Development with Validated Model Transformation. - László Lengyel; Tihamer Levendovszky; Gergely Mezei; Hassan Charaf (MDEIS, 2006)

Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. - Holger Giese; Tihamer Levendovszky; Hans Vangheluwe (MoDELS (Workshops), 2006)

Model-Based System Development for Embedded Mobile Platforms. - Bertalan Forstner; László Lengyel; Tihamer Levendovszky; Gergely Mezei; Imre Kelényi; Hassan Charaf (MDB/MOMPES, 2006)

Modeling the Effect of Application Server Settings on the Performance of J2EE Web Applications. - Gábor Imre; Tihamer Levendovszky; Hassan Charaf (TEAA, 2006)

Constraint Validation Support in Visual Model Transformation Systems. - László Lengyel; Tihamer Levendovszky; Hassan Charaf (Acta Cybern., 2006)

Realizing QVT with Graph Rewriting-Based Model Transformation. - László Lengyel; Tihamer Levendovszky; Tamás Vajk; Hassan Charaf (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Restrictions for OCL Constraint Optimization Algorithms. - Gergely Mezei; Tihamer Levendovszky; Hassan Charaf (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages. - Gergely Mezei; László Lengyel; Tihamer Levendovszky; Hassan Charaf (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Termination Criteria for DPO Transformations with Injective Matches. - Tihamer Levendovszky; Ulrike Prange; Hartmut Ehrig (GT-VC@CONCUR, 2006)

Constraint Validation in Model Compilers. - László Lengyel; Tihamer Levendovszky; Hassan Charaf (J. Object Technol., 2006)

Introducing the VMTS Mobile Toolkit. - Tihamer Levendovszky; László Lengyel; Gergely Mezei; Tamás Mészáros (AGTIVE, 2007)

Model Evolution and Management. - Tihamer Levendovszky; Bernhard Rumpe; Bernhard Schätz; Jonathan Sprinkle (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Supporting Design Patterns in Graph Rewriting-based Model Transformation. - László Lengyel; Tihamer Levendovszky; Tamás Mészáros; Hassan Charaf (ENASE, 2007)

Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. - Juan de Lara; Tihamer Levendovszky; Pieter J. Mosterman; Hans Vangheluwe (MoDELS (Workshops), 2007)

A distribution technique for graph rewriting and model transformation systems. - Gergely Mezei; Sándor Juhász; Tihamer Levendovszky (Parallel and Distributed Computing and Networks, 2007)

A flexible, declarative presentation framework for domain-specific modeling. - Tamás Mészáros; Gergely Mezei; Tihamer Levendovszky (AVI, 2008)

An Incremental OCL Compiler for Modeling Environments. - Tamás Vajk; Gergely Mezei; Tihamer Levendovszky (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Validated model transformation-driven software development. - László Lengyel; Tihamer Levendovszky; Hassan Charaf (Int. J. Comput. Appl. Technol., 2008)

Raising the Abstraction of Domain-Specific Model Translator Development. - Tamás Vajk; Róbert Kereskényi; Tihamer Levendovszky; Ákos Lédeczi (ECBS, 2009)

Incremental Type Checking in OCL Compilers. - Tamás Vajk; Gergely Mezei; Tihamer Levendovszky (ECBS-EERC, 2009)

Tooling the Dynamic Behavior Models of Graphical DSLs. - Tihamer Levendovszky; Tamás Mészáros (HCI (2), 2009)

Recent Advances in Multi-paradigm Modeling. - Vasco Amaral 001; Cécile Hardebolle; Gabor Karsai; László Lengyel; Tihamer Levendovszky (MoDELS (Workshops), 2009)

A formalism for describing modeling transformations for verification. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (MoDeVVa@MoDELS, 2009)

Automatic Domain Model Migration to Manage Metamodel Evolution. - Anantha Narayanan; Tihamer Levendovszky; Daniel Balasubramanian; Gabor Karsai (MoDELS, 2009)

A Novel Approach to Semi-automated Evolution of DSML Model Transformation. - Tihamer Levendovszky; Daniel Balasubramanian; Anantha Narayanan; Gabor Karsai (SLE, 2009)

Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Preface. - Tihamer Levendovszky; László Lengyel; Gabor Karsai; Cécile Hardebolle (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Code Generation with the Model Transformation of Visual Behavior Models. - Tamás Mészáros; Tihamer Levendovszky; Gergely Mezei (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

A Novel Cost Model of XML Serialization. - Gábor Imre; M. Kaszó; Tihamer Levendovszky; Hassan Charaf (PASM@MASCOTS, 2009)

Guest Editorial: Special Issue on Multi-paradigm Modeling. - Juan de Lara; Tihamer Levendovszky; Pieter J. Mosterman (Simul., 2009)

Supporting domain-specific model patterns with metamodeling. - Tihamer Levendovszky; László Lengyel; Tamás Mészáros (Softw. Syst. Model., 2009)

A transformation instance-based approach to traceability. - Tihamer Levendovszky; Daniel Balasubramanian; Kevin Smyth; Feng Shi; Gabor Karsai (ECMFA-TW, 2010)

Towards Automated, Formal Verification of Model Transformations. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (ICST, 2010)

Verification of Model Transformations to Refactoring Mobile Social Networks. - Márk Asztalos; Péter Ekler; László Lengyel; Tihamer Levendovszky (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

An Active Pattern Infrastructure for Domain-Specific Languages. - Tihamer Levendovszky; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Design Pattern Modeling with Constraint Relaxation. - Tamás Vajk; Tamás Mészáros; Tihamer Levendovszky (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Manual and automated performance optimization of model transformation systems. - Tamás Mészáros; Gergely Mezei; Tihamer Levendovszky; Márk Asztalos (Int. J. Softw. Tools Technol. Transf., 2010)

Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. - Ethan K. Jackson; Tihamer Levendovszky; Daniel Balasubramanian (MoDELS, 2011)

Runtime model validation with parallel object constraint language. - Tamás Vajk; Zoltán Dávid; Márk Asztalos; Gergely Mezei; Tihamer Levendovszky (MoDeVVa@MoDELS, 2011)

Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. - Márk Asztalos; Péter Ekler; László Lengyel; Tihamer Levendovszky; Gergely Mezei; Tamás Mészáros (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Active Model Patterns with Interactive Model Transformation. - Tamás Mészáros; Tihamer Levendovszky; Gergely Mezei (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

A novel algorithm for performance prediction of web-based software systems. - Ágnes Bogárdi-Mészöly; Tihamer Levendovszky (Perform. Evaluation, 2011)

Verified Operational Patterns with Graph Transformation. - Tamás Mészáros; Tihamer Levendovszky (ICST, 2012)

Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services. - Faruk Caglar; Kyoungho An; Aniruddha S. Gokhale; Tihamer Levendovszky (MDHPCL@MoDELS, 2012)

Component-based modeling of dynamic systems using heterogeneous composition. - Zsolt Lattmann; Adam Nagel; Tihamer Levendovszky; Ted Bapty; Sandeep Neema; Gabor Karsai (MPM@MoDELS, 2012)

Evolution in a context of an model-integrated tool environment. - Tihamer Levendovszky; Kevin Smyth; Daniel Balasubramanian; Feng Shi; Gabor Karsai (ME@MoDELS, 2012)

Multi-way Semantic Specification of Domain-Specific Modeling Languages. - David Lindecker; Gabor Simko; István Madari; Tihamer Levendovszky; Janos Sztipanovits (ECBS, 2013)

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. - Gabor Simko; David Lindecker; Tihamer Levendovszky; Ethan K. Jackson; Sandeep Neema; Janos Sztipanovits (ECBS, 2013)

VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. - Laszlo Juracz; Zsolt Lattmann; Tihamer Levendovszky; Graham Hemingway; Will Gaggioli; Tanner Netterville; Gábor Pap; Kevin Smyth; Larry Howard (MDHPCL@MoDELS, 2013)

Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. - Gabor Simko; David Lindecker; Tihamer Levendovszky; Sandeep Neema; Janos Sztipanovits (MoDELS, 2013)

Incremental semantic analysis for OCL compilers. - Tamás Vajk; Gergely Mezei; Tihamer Levendovszky (Innov. Syst. Softw. Eng., 2013)

Formal specification and analysis of functional properties of graph rewriting-based model transformation. - Márk Asztalos; László Lengyel; Tihamer Levendovszky (Softw. Test. Verification Reliab., 2013)

Towards a theory for cyber-physical systems modeling. - Gabor Simko; Tihamer Levendovszky; Miklos Maroti; Janos Sztipanovits (CyPhy, 2014)

Formalization of software models for cyber-physical systems. - Sandeep Neema; Gabor Simko; Tihamer Levendovszky; Joseph Porter; Akshay Agrawal; Janos Sztipanovits (FormaliSE, 2014)

Taming Multi-Paradigm Integration in a Software Architecture Description Language. - Daniel Balasubramanian; Tihamer Levendovszky; Abhishek Dubey; Gabor Karsai (MPM@MoDELS, 2014)

Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure. - Miklós Maróti; Tamás Kecskés; Róbert Kereskényi; Brian Broll; Péter Völgyesi; László Jurácz; Tihamer Levendovszky; Ákos Lédeczi (MPM@MoDELS, 2014)

A model-integrated authoring environment for privacy policies. - András Nádas; Tihamer Levendovszky; Ethan K. Jackson; István Madari; Janos Sztipanovits (Sci. Comput. Program., 2014)

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. - Tihamer Levendovszky; Abhishek Dubey; William Otte; Daniel Balasubramanian; Alessandro Coglio; Sandor Nyako; William Emfinger; Pranav Srinivas Kumar; Aniruddha S. Gokhale; Gabor Karsai (IEEE Softw., 2014)

A semi-formal description of migrating domain-specific models with evolving domains. - Tihamer Levendovszky; Daniel Balasubramanian; Anantha Narayanan; Feng Shi; Christopher P. van Buskirk; Gabor Karsai (Softw. Syst. Model., 2014)

Validating Transformations for Semantic Anchoring. - David Lindecker; Gabor Simko; Tihamer Levendovszky; István Madari; Janos Sztipanovits (J. Object Technol., 2015)

DREMS ML: A wide spectrum architecture design language for distributed computing platforms. - Daniel Balasubramanian; Abhishek Dubey; William Otte; Tihamer Levendovszky; Aniruddha S. Gokhale; Pranav Srinivas Kumar; William Emfinger; Gabor Karsai (Sci. Comput. Program., 2015)

Automatically reasoning about metamodeling. - Ethan K. Jackson; Tihamer Levendovszky; Daniel Balasubramanian (Softw. Syst. Model., 2015)

Achieving resilience in distributed software systems via self-reconfiguration. - Subhav Pradhan; Abhishek Dubey; Tihamer Levendovszky; Pranav Srinivas Kumar; William Emfinger; Daniel Balasubramanian; William Otte; Gabor Karsai (J. Syst. Softw., 2016)