Author Info
Name
Affiliation
Papers
TIHAMÉR LEVENDOVSZKY
Department of Automation and Applied Informatics, Budapest University of Technology and Economics, Budapest, Hungary H-1111
22
Collaborators
Citations 
PageRank 
23
185
14.96
Referers 
Referees 
References 
402
212
132
Search Limit
100402
Title
Citations
PageRank
Year
Incremental semantic analysis for OCL compilers00.342013
Recent advances in multi-paradigm modeling00.342011
A novel algorithm for performance prediction of web-based software systems40.442011
Runtime model validation with parallel object constraint language30.432011
Reasoning about metamodeling with formal specifications and automatic proofs260.952011
Towards Automated, Formal Verification of Model Transformations471.732010
Manual and automated performance optimization of model transformation systems170.992010
Incremental Type Checking in OCL Compilers20.432009
Guest Editorial: Special Issue on Multi-paradigm Modeling20.402009
Raising the Abstraction of Domain-Specific Model Translator Development30.412009
Tooling the Dynamic Behavior Models of Graphical DSLs00.342009
A formalism for describing modeling transformations for verification40.562009
A flexible, declarative presentation framework for domain-specific modeling50.572008
A distribution technique for graph rewriting and model transformation systems30.452007
Termination Criteria for DPO Transformations with Injective Matches120.982007
Introducing the VMTS Mobile Toolkit20.382007
Modeling the effect of application server settings on the performance of J2EE web applications50.462006
Metamodel-Based Model Transformation with Aspect-Oriented Constraints40.522006
Constraint validation support in visual model transformation systems80.622006
Investigating factors influencing the response time in ASP.NET web applications40.562005
Weaving aspect-oriented constraints into metamodel-based model transformation steps00.342005
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS342.732005