Algebraic software architecture reconfiguration
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A graph transformation approach to software architecture reconfiguration
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
A visual environment for visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Formal software specification with refinements and modules of typed graph transformation systems
Journal of Computer and System Sciences
AGG: A Tool Environment for Algebraic Graph Transformation
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Note on Modeling Agent Systems by Graph Transformation
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Formalising Behaviour Preserving Program Transformations
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Formal Foundation for Object-Oriented Software Evolution
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
A Survey of Software Refactoring
IEEE Transactions on Software Engineering
Generation of visual editors as eclipse plug-ins
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Journal of Integrated Design & Process Science
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Implementing an EJB3-Specific Graph Transformation Plugin by Using Database Independent Queries
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
Modelling Dynamic Software Architectures using Typed Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
On the relationship of model transformations based on triple and plain graph grammars
Proceedings of the third international workshop on Graph and model transformations
Explicit State Model Checking for Graph Grammars
Concurrency, Graphs and Models
Embedding and Confluence of Graph Transformations with Negative Application Conditions
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Development of Correct Graph Transformation Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Visualization, Simulation and Analysis of Reconfigurable Systems
Applications of Graph Transformations with Industrial Relevance
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Applications of Graph Transformations with Industrial Relevance
Efficient Graph Matching with Application to Cognitive Automation
Applications of Graph Transformations with Industrial Relevance
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Termination of High-Level Replacement Units with Application to Model Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
High-level replacement units and their termination properties
Journal of Visual Languages and Computing
Ensuring consistency within distributed graph transformation systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Towards model-driven unit testing
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Autonomous units and their semantics: the parallel case
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Constraint-based agents: an architecture for constraint-based modeling and local-search-based reasoning for planning and scheduling in open and dynamic worlds
Graph-based verification of static program constraints
Proceedings of the 2010 ACM Symposium on Applied Computing
Deriving bisimulation congruences in the presence of negative application conditions
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
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
On the specification and verification of model transformations
Semantics and algebraic specification
Instruction selection by graph transformation
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Compositionality in graph transformation
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Saturated LTSs for adhesive rewriting systems
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
Local confluence for rules with nested application conditions
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Transforming process models: executable rewrite rules versus a formalized java program
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Symbolic graphs for attributed graph constraints
Journal of Symbolic Computation
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Extended triple graph grammars with efficient and compatible graph translators
Graph transformations and model-driven engineering
Integration tools for consistency management between design documents in development processes
Graph transformations and model-driven engineering
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Nested constraints and application conditions for high-level structures
Formal Methods in Software and Systems Modeling
Stochastic analysis of graph transformation systems: a case study in P2P networks
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
Nested quantification in graph transformation rules
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Conflict detection for graph transformation with negative application conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Model-driven monitoring: an application of graph transformation for design by contract
ICGT'06 Proceedings of the Third international conference on Graph Transformations
A graphical specification of model transformations with triple graph grammars
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
On the use of graph transformations for model refactoring
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Defining object-oriented execution semantics using graph transformations
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
A graph grammar-based formal validation of object-process diagrams
Software and Systems Modeling (SoSyM)
Computations in graph rewriting: inductive types and pullbacks in DPO approach
CEE-SET'09 Proceedings of the 4th IFIP TC 2 Central and East European conference on Advances in Software Engineering Techniques
Stochastic Graph Transformation Systems
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
A visual token-based formalization of BPMN 2.0 based on in-place transformations
Information and Software Technology
Well-structured graph transformation systems with negative application conditions
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
Generalised compositionality in graph transformation
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |