Generation of visual editors as eclipse plug-ins
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination Criteria for DPO Transformations with Injective Matches
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Electronic Notes in Theoretical Computer Science (ENTCS)
Connector Rewriting with High-Level Replacement Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Visual specification of measurements and redesigns for domain specific visual languages
Journal of Visual Languages and Computing
Progressing problems from requirements to specifications in problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools
Models in Software Engineering
Semantics-Based Weaving of UML Sequence Diagrams
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Analysing Graph Transformation Rules through OCL
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Graph Transformation Units --- An Overview
Concurrency, Graphs and Models
Transformations in Reconfigurable Place/Transition Systems
Concurrency, Graphs and Models
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
Documenting Application-Specific Adaptations in Software Product Line Engineering
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
A Semantics-Based Aspect Language for Interactions with the Arbitrary Events Symbol
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
On the Construction of Transformation Steps in the Category of Multiagent Systems
Proceedings of the 9th AISC international conference, the 15th Calculemas symposium, and the 7th international MKM conference on Intelligent Computer Mathematics
Graph Transformation for Topology Modelling
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Embedding and Confluence of Graph Transformations with Negative Application Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Resolution-Like Theorem Proving for High-Level Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
On the Recognizability of Arrow and Graph Languages
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Pattern-Based Model-to-Model Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Adaptive Star Grammars for Graph Models
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Tutorial Introduction to Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Verification of Architectural Refactorings: Rule Extraction and Tool Support
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Precise Semantics of EMF Model Transformations by Graph Transformation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Algebraic High-Level Systems as Weak Adhesive HLR Categories
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Transformations between Versions of a Temporal Data Warehouse
ER '08 Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and Opportunities
Domain Specific Languages with Graphical and Textual Views
Applications of Graph Transformations with Industrial Relevance
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
Applications of Graph Transformations with Industrial Relevance
Applications of Graph Transformations with Industrial Relevance
Shaped Generic Graph Transformation
Applications of Graph Transformations with Industrial Relevance
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Applying a Grouping Operator in Model Transformations
Applications of Graph Transformations with Industrial Relevance
Synthesising CCS bisimulation using graph rewriting
Information and Computation
Application of Graph Transformation in Verification of Dynamic Systems
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Compositionality of Model Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Origami fold as algebraic graph rewriting
Proceedings of the 2009 ACM symposium on Applied Computing
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
A Formal Model for Organisational Structures behind Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Rewriting Logic Semantics and Verification of Model Transformations
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Object Flow Definition for Refined Activity Diagrams
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Formal Foundation for Pattern-Based Modelling
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Behavior, Time and Viewpoint Consistency: Three Challenges for MDE
Models in Software Engineering
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Towards model structuring based on flow diagram decomposition
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of Aspect-Oriented Model Weaving
Transactions on Aspect-Oriented Software Development V
Pattern-Based Model-to-Model Transformation: Handling Attribute Conditions
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
Modeling and visualization of lifecycle building performance assessment
Advanced Engineering Informatics
Strong Joinability Analysis for Graph Transformation Systems in CHR
Electronic Notes in Theoretical Computer Science (ENTCS)
A Specification Language for Static Analysis of Student Exercises
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Graphical reasoning in compact closed categories for quantum computation
Annals of Mathematics and Artificial Intelligence
A formalism for describing modeling transformations for verification
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Towards Composite Model Transformations Using Distributed Graph Transformation Concepts
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Formal Support for QVT-Relations with Coloured Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Semantic Management of Heterogeneous Documents
MICAI '09 Proceedings of the 8th Mexican International Conference on Artificial Intelligence
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Transformation From VisualOCL to OCL Using Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
Electronic Notes in Theoretical Computer Science (ENTCS)
Traceability-based incremental model synchronization
WSEAS Transactions on Computers
Information preserving bidirectional model transformations
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Independence of net transformations and token firing in reconfigurable place/transition systems
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Verification of model transformations: a case study with BPEL
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
From algebraic graph transformation to adhesive HLR categories and systems
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
Graph transformation systems in CHR
ICLP'07 Proceedings of the 23rd international conference on Logic programming
MATES'09 Proceedings of the 7th German conference on Multiagent system technologies
Consistent integration of models based on views of visual languages
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Verification of architectural refactorings by rule extraction
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
A formal framework for developing adaptable service-based applications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Matrix Graph Grammars with Application Conditions
Fundamenta Informaticae
A Generic Approach to Connector Architectures Part I: The General Framework
Fundamenta Informaticae
A Generic Approach to Connector Architectures Part II: Instantiation to Petri Nets and CSP
Fundamenta Informaticae
Information and Software Technology
On the specification and verification of model transformations
Semantics and algebraic specification
Correctness, completeness and termination of pattern-based model-to-model transformation
CALCO'09 Proceedings of the 3rd international conference on Algebra and coalgebra in computer science
A unified categorical approach for attributed graph rewriting
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Mirador: a synthesis of model matching strategies
Proceedings of the 1st International Workshop on Model Comparison in Practice
Semi-automated service composition using visual contracts
Proceedings of the 7th International Conference on Frontiers of Information Technology
Proceedings of the First International Workshop on Model-Driven Interoperability
Specifying overlaps of heterogeneous models for global consistency checking
Proceedings of the First International Workshop on Model-Driven Interoperability
Modeling dynamic reconfigurations in Reo using high-level replacement systems
Science of Computer Programming
Synthesis of OCL pre-conditions for graph transformation rules
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
Parallel graph transformations with double pushout grammars
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Instruction selection by graph transformation
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Modelling the asynchronous dynamic evolution of architectural types
SOAR'09 Proceedings of the First international conference on Self-organizing architectures
SONAR/OREDI: a tool for creation and deployment of organisation models
MATES'10 Proceedings of the 8th German conference on Multiagent system technologies
Henshin: advanced concepts and tools for in-place EMF model transformations
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Inter-modelling: from theory to practice
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Graph transformation units guided by a sat solver
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Delaying constraint solving in symbolic graph transformation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Formal analysis of functional behaviour for model transformations based on triple graph grammars
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Conflict detection for model versioning based on graph modifications
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A component concept for typed graphs with inheritance and containment structures
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Combining termination criteria by isolating deletion
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Graph rewriting in span-categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Finitary m-adhesive categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Graph transformation for domain-specific discrete event time simulation
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Local confluence for rules with nested application conditions
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Multi-amalgamation in adhesive categories
ICGT'10 Proceedings of the 5th international conference on Graph transformations
ICGT'10 Proceedings of the 5th international conference on Graph transformations
How to delete categorically - Two pushout complement constructions
Journal of Symbolic Computation
Strategic health information management and forecast: the birdwatching approach
ICCCI'10 Proceedings of the Second international conference on Computational collective intelligence: technologies and applications - Volume Part III
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Domain-specific modelling languages with algebraic graph transformations on RDF
SLE'10 Proceedings of the Third international conference on Software language engineering
DSLTrans: a turing incomplete transformation language
SLE'10 Proceedings of the Third international conference on Software language engineering
Analysing graph transformation systems through constraint handling rules
Theory and Practice of Logic Programming
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Stochastic modelling and simulation of mobile systems
Graph transformations and model-driven engineering
Parallel independence of amalgamated graph transformations applied to model transformation
Graph transformations and model-driven engineering
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
Controlling reuse in pattern-based model-to-model transformations
Graph transformations and model-driven engineering
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
On model-based regression testing of web-services using dependency analysis of visual contracts
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Refactoring information systems: association folding and unfolding
ACM SIGSOFT Software Engineering Notes
Parallel graph transformations supported by replicated complementary graphs
ICANNGA'11 Proceedings of the 10th international conference on Adaptive and natural computing algorithms - Volume Part II
Simplifying model transformation chains by rule composition
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Generating executable multi-agent system prototypes from SONAR specifications
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
Iterative development of consistency-preserving rule-based refactorings
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Adhesivity is not enough: local church-rosser revisited
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Toward a version control system for aspect oriented software
MEDI'11 Proceedings of the First international conference on Model and data engineering
Formal verification of QVT transformations for code generation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Towards a general composition semantics for rule-based model transformation
Proceedings of the 14th international conference on Model driven engineering languages and systems
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Correctness of model synchronization based on triple graph grammars
Proceedings of the 14th international conference on Model driven engineering languages and systems
Syntax, semantics and pragmatics in communication
Proceedings of the 7th International Conference on Semantic Systems
Graphical definition of in-place transformations in the eclipse modeling framework
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Modular schedulability analysis of concurrent objects in creol
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
A novel approach to semi-automated evolution of DSML model transformation
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Deriving trust from experience
FAST'09 Proceedings of the 6th international conference on Formal Aspects in Security and Trust
A formalisation of constraint-aware model transformations
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Incremental service composition based on partial matching of visual contracts
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Formal analysis and verification of self-healing systems
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Automatic cross validation of multiple specifications: a case study
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Conflict detection for graph transformation with negative application conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Matrix approach to graph transformation: matching and sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Categorical foundations of distributed graph transformation
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Autonomous units and their semantics — the sequential case
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Termination analysis of model transformations by petri nets
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Model view management with triple graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Satisfiability of high-level conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Weakest preconditions for high-level programs
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A formal approach to service component architecture
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Exploiting the hierarchical structure of rule-based specifications for decision planning
FMOODS'10/FORTE'10 Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Model transformation and induced instance migration: a universal framework
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Incremental construction of millstream configurations using graph transformation
FSMNLP '11 Proceedings of the 9th International Workshop on Finite State Methods and Natural Language Processing
Intermodeling, queries, and kleisli categories
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Concurrent model synchronization with conflict resolution based on triple graph grammars
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A cloud-based RDF policy engine for assured information sharing
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Formal foundation of consistent EMF model transformations by algebraic graph transformation
Software and Systems Modeling (SoSyM)
A metamodelling approach to behavioural modelling
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
Integration of smells and refactorings within the Eclipse modeling framework
Proceedings of the Fifth Workshop on Refactoring Tools
Partial models: towards modeling and reasoning with uncertainty
Proceedings of the 34th International Conference on Software Engineering
Uniform modularization of workflow concerns using unify
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
Bidirectional model transformation with precedence triple graph grammars
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part II
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Confluence in data reduction: bridging graph transformation and kernelization
CiE'12 Proceedings of the 8th Turing Centenary conference on Computability in Europe: how the world computes
Graph transformations for MDE, adaptation, and models at runtime
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
An Algebraic Semantics for QVT-Relations Check-only Transformations
Fundamenta Informaticae
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Transformation of Typed Composite Graphs with Inheritance and Containment Structures
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
A graph transformation-based semantics for deep metamodelling
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Reusable graph transformation templates
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
AGG 2.0 --- new features for specifying and analyzing algebraic graph transformations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
From graph transformation units via minisat to GrGen.NET
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Contextual hyperedge replacement
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Composition of model transformations: a categorical framework
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Design and implementation of a cloud-based assured information sharing system
MMM-ACNS'12 Proceedings of the 6th international conference on Mathematical Methods, Models and Architectures for Computer Network Security: computer network security
On verifying ATL transformations using 'off-the-shelf' SMT solvers
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Model matching for trace link generation in model-driven software development
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Towards certifiable implementation of graph transformation via relation categories
RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science
Well-structured graph transformation systems with negative application conditions
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Parallelism and concurrency of stochastic graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Refined graph rewriting in span-categories: a framework for algebraic graph transformation
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Borrowed contexts for attributed graphs
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A general attribution concept for models in M-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
DPO transformation with open maps
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
M,N-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Testing against visual contracts: model-based coverage
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Probabilistic graph transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Co-transformation of graphs and type graphs with application to model co-evolution
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Construction of integrity preserving triple graph grammars
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Incremental pattern matching for the efficient computation of transitive closure
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Efficient model synchronization with precedence triple graph grammars
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Multi-scale rule-based graph transformation using the programming language XL
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Expressing model relations as basis for structural consistency analysis in models@run.time
Proceedings of the 7th Workshop on Models@run.time
Model-driven paradigms: the evolution of a university course
Proceedings of the 8th edition of the Educators' Symposium
An approach to supporting architecture evolution in Internetware
Proceedings of the Fourth Asia-Pacific Symposium on Internetware
Chaining model transformations
Proceedings of the First Workshop on the Analysis of Model Transformations
Towards refactoring of rule-based, in-place model transformation systems
Proceedings of the First Workshop on the Analysis of Model Transformations
Software and Systems Modeling (SoSyM)
Genericity for model management operations
Software and Systems Modeling (SoSyM)
A tool environment for quality assurance based on the Eclipse Modeling Framework
Automated Software Engineering
Towards a distributed modeling process based on composite models
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Checking bisimilarity for attributed graph transformation
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Scenario-driven analysis of systems specified through graph transformations
Journal of Visual Languages and Computing
Structural recursion for querying ordered graphs
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming
Customizing model migrations by rule schemes
Proceedings of the 2013 International Workshop on Principles of Software Evolution
A declarative and bidirectional model transformation approach based on graph co-spans
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
From types to type requirements: genericity for model-driven engineering
Software and Systems Modeling (SoSyM)
Engineering model transformations with transML
Software and Systems Modeling (SoSyM)
Journal of Visual Languages and Computing
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
Software and Systems Modeling (SoSyM)
Bridging the gap between formal semantics and implementation of triple graph grammars
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |