Name
Papers
Collaborators
TIHAMER LEVENDOVSZKY
49
65
Citations 
PageRank 
Referers 
233
27.58
451
Referees 
References 
648
422
Search Limit
100648
Title
Citations
PageRank
Year
Achieving resilience in distributed software systems via self-reconfiguration.70.512016
Automatically reasoning about metamodeling10.362015
DREMS ML: A wide spectrum architecture design language for distributed computing platforms10.362015
Validating Transformations for Semantic Anchoring.00.342015
A model-integrated authoring environment for privacy policies20.362014
Model evolution and management20.442014
Taming Multi-Paradigm Integration in a Software Architecture Description Language.00.342014
Towards a theory for cyber-physical systems modeling60.492014
A semi-formal description of migrating domain-specific models with evolving domains30.382014
Formalization of software models for cyber-physical systems00.342014
Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure.140.782014
Multi-way Semantic Specification of Domain-Specific Modeling Languages10.362013
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems30.412013
Formal specification and analysis of functional properties of graph rewriting-based model transformation.40.412013
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition.100.682013
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design.00.342013
Evolution in a context of an model-integrated tool environment00.342012
Verified Operational Patterns with Graph Transformation00.342012
Component-based modeling of dynamic systems using heterogeneous composition.10.382012
Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services.10.402012
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations.10.352011
Active Model Patterns with Interactive Model Transformation.00.342011
An Active Pattern Infrastructure for Domain-Specific Languages30.412010
Design Pattern Modeling with Constraint Relaxation00.342010
Verification of Model Transformations to Refactoring Mobile Social Networks10.422010
A transformation instance-based approach to traceability60.452010
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models00.342009
Supporting domain-specific model patterns with metamodeling180.972009
A novel approach to semi-automated evolution of DSML model transformation301.242009
Automatic Domain Model Migration to Manage Metamodel Evolution361.482009
Code Generation with the Model Transformation of Visual Behavior Models30.592009
Validated model transformation-driven software development50.432008
An Incremental OCL Compiler for Modeling Environments50.612008
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools30.482007
Supporting Design Patterns in Graph Rewriting-based Model Transformation10.392007
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages30.572006
Visual Presentation Solutions for Domain Specific Languages20.452006
Model-Based Development with Validated Model Transformation00.342006
Model-Based System Development for Embedded Mobile Platforms10.352006
Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications10.362006
Constraint Validation In Model Compilers10.402006
Restrictions for OCL Constraint Optimization Algorithms40.532006
Realizing QVT with Graph Rewriting-Based Model Transformation30.462006
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments80.842006
A Visual Control Flow Language for Model Transformation Systems20.482006
Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers61.032005
A Flexible Attribute Instantiation Technique for Visual Languages00.342005
Domain Model Translation Using Graph Transformations221.962003
Model Reuse with Metamodel-Based Transformations122.312002