Achieving resilience in distributed software systems via self-reconfiguration. | 7 | 0.51 | 2016 |
Automatically reasoning about metamodeling | 1 | 0.36 | 2015 |
DREMS ML: A wide spectrum architecture design language for distributed computing platforms | 1 | 0.36 | 2015 |
Validating Transformations for Semantic Anchoring. | 0 | 0.34 | 2015 |
A model-integrated authoring environment for privacy policies | 2 | 0.36 | 2014 |
Model evolution and management | 2 | 0.44 | 2014 |
Taming Multi-Paradigm Integration in a Software Architecture Description Language. | 0 | 0.34 | 2014 |
Towards a theory for cyber-physical systems modeling | 6 | 0.49 | 2014 |
A semi-formal description of migrating domain-specific models with evolving domains | 3 | 0.38 | 2014 |
Formalization of software models for cyber-physical systems | 0 | 0.34 | 2014 |
Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure. | 14 | 0.78 | 2014 |
Multi-way Semantic Specification of Domain-Specific Modeling Languages | 1 | 0.36 | 2013 |
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems | 3 | 0.41 | 2013 |
Formal specification and analysis of functional properties of graph rewriting-based model transformation. | 4 | 0.41 | 2013 |
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. | 10 | 0.68 | 2013 |
VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design. | 0 | 0.34 | 2013 |
Evolution in a context of an model-integrated tool environment | 0 | 0.34 | 2012 |
Verified Operational Patterns with Graph Transformation | 0 | 0.34 | 2012 |
Component-based modeling of dynamic systems using heterogeneous composition. | 1 | 0.38 | 2012 |
Transitioning to the cloud?: a model-driven analysis and automated deployment capability for cloud services. | 1 | 0.40 | 2012 |
Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations. | 1 | 0.35 | 2011 |
Active Model Patterns with Interactive Model Transformation. | 0 | 0.34 | 2011 |
An Active Pattern Infrastructure for Domain-Specific Languages | 3 | 0.41 | 2010 |
Design Pattern Modeling with Constraint Relaxation | 0 | 0.34 | 2010 |
Verification of Model Transformations to Refactoring Mobile Social Networks | 1 | 0.42 | 2010 |
A transformation instance-based approach to traceability | 6 | 0.45 | 2010 |
Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models | 0 | 0.34 | 2009 |
Supporting domain-specific model patterns with metamodeling | 18 | 0.97 | 2009 |
A novel approach to semi-automated evolution of DSML model transformation | 30 | 1.24 | 2009 |
Automatic Domain Model Migration to Manage Metamodel Evolution | 36 | 1.48 | 2009 |
Code Generation with the Model Transformation of Visual Behavior Models | 3 | 0.59 | 2009 |
Validated model transformation-driven software development | 5 | 0.43 | 2008 |
An Incremental OCL Compiler for Modeling Environments | 5 | 0.61 | 2008 |
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools | 3 | 0.48 | 2007 |
Supporting Design Patterns in Graph Rewriting-based Model Transformation | 1 | 0.39 | 2007 |
A Model Transformation for Automated Concrete Syntax Definitions of Metamodeled Visual Languages | 3 | 0.57 | 2006 |
Visual Presentation Solutions for Domain Specific Languages | 2 | 0.45 | 2006 |
Model-Based Development with Validated Model Transformation | 0 | 0.34 | 2006 |
Model-Based System Development for Embedded Mobile Platforms | 1 | 0.35 | 2006 |
Using Queueing Model in Predicting the Response Time of ASP.NET Web Applications | 1 | 0.36 | 2006 |
Constraint Validation In Model Compilers | 1 | 0.40 | 2006 |
Restrictions for OCL Constraint Optimization Algorithms | 4 | 0.53 | 2006 |
Realizing QVT with Graph Rewriting-Based Model Transformation | 3 | 0.46 | 2006 |
An optimizing OCL Compiler for Metamodeling and Model Transformation Environments | 8 | 0.84 | 2006 |
A Visual Control Flow Language for Model Transformation Systems | 2 | 0.48 | 2006 |
Compiling and Validating OCL Constraints in Metamodeling Environments and Visual Model Compilers | 6 | 1.03 | 2005 |
A Flexible Attribute Instantiation Technique for Visual Languages | 0 | 0.34 | 2005 |
Domain Model Translation Using Graph Transformations | 22 | 1.96 | 2003 |
Model Reuse with Metamodel-Based Transformations | 12 | 2.31 | 2002 |