A view-oriented approach to system modelling based on graph transformation
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Graphical represenation and graph transformation
ACM Computing Surveys (CSUR)
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Agent-oriented modeling with graph transformation
First international workshop, AOSE 2000 on Agent-oriented software engineering
A graphical definition of authorization schema in the DTAC model
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
On the specification and evolution of access control policies
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
A graph-based formalism for RBAC
ACM Transactions on Information and System Security (TISSEC)
Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
Fuzzy logic based interactive recovery of software design
Proceedings of the 24th International Conference on Software Engineering
Graphical Transformation of Multimedia XML Documents
Annals of Software Engineering
A logical framework for reasoning about access control models
ACM Transactions on Information and System Security (TISSEC)
Concepts and realization of a diagram editor generator based on hypergraph transformation
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)
Designing the automatic transformation of visual languages
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
Formal agent-oriented modeling with UML and graph transformation
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
Hierarchical graph transformation
Journal of Computer and System Sciences
Foundations for Software Configuration Management Policies Using Graph Transformations
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A Generic Component Framework for System Modeling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Generative Programming for Embedded Systems
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
An Error-Correction Graph Grammar to Recognize Texture Symbols
GREC '01 Selected Papers from the Fourth International Workshop on Graphics Recognition Algorithms and Applications
Model Reuse with Metamodel-Based Transformations
ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Automatic Graphs and Graph D0L-Systems
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Observational Equivalence for Synchronized Graph Rewriting with Mobility
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Tight and Loose Semantics for Transformation Systems
WADT '01 Selected papers from the 15th International Workshop on Recent Trends in Algebraic Development Techniques
Parallel Admissible Graph Rewriting
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Syntactic Pattern Recognition by Error Correcting Analysis on Tree Automata
Proceedings of the Joint IAPR International Workshops on Advances in Pattern Recognition
Diagrammatic Control of Diagrammatic Structure Generation
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
A Sight-seeing Tour of the Computational Landscape of Graph Transformation
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Bisimulation Equivalences for Graph Grammars
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Decidability of Safety in Graph-Based Models for Access Control
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
A Static Analysis Technique for Graph Transformation Systems
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Synchronized Hyperedge Replacement with Name Mobility
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Learning and Rewriting in Fuzzy Rule Graphs
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
GenGEd: A Development Environment for Visual Languages
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
On a Uniform Representation of Transformation Systems
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Graph Transformation Modules and Their Composition
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
AGG: A Tool Environment for Algebraic Graph Transformation
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Using FUJABA for the Development of Production Control Systems
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Support for Design Patterns Through Graph Transformation Tools
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
From Graph Transformation to Rule-Based Programming with Diagrams
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A Relation-Algebraic Approach to Graph Structure Transformation
ReIMICS '01 Revised Papers from the 6th International Conference and 1st Workshop of COST Action 274 TARSKI on Relational Methods in Computer Science
Conflict Detection and Resolution in Access Control Policy Specifications
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
The Bounded Weak Monadic Quantifier Alternation Hierarchy of Equational Graphs Is Infinite
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Towards High-Precision Service Retrieval
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Reconfiguration of Software Architecture Styles with Name Mobility
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
A Formal Semantics of UML State Machines Based on Structured Graph Transformation
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Describing Policies with Graph Constraints and Rules
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Approximating the Behaviour of Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Distributed Graph Transformation Units
ICGT '02 Proceedings of the First International Conference on Graph Transformation
GraCAD - Graph-Based Tool for Conceptual Design
ICGT '02 Proceedings of the First International Conference on Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Abstraction and Control for Shapely Nested Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Relabelling in Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
Graph Replacement Chemistry for DNA Processing
DNA '00 Revised Papers from the 6th International Workshop on DNA-Based Computers: DNA Computing
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Algebra of Graph Derivations Using Finite (co-) Limit Double Theories
WADT '98 Selected papers from the 13th International Workshop on Recent Trends in Algebraic Development Techniques
Foundations for a Graph-Based Approach to the Specification of Access Control Policies
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Bisimulation equivalences for graph grammars
Formal and natural computing
Supporting iterations in exploratory database reengineering processes
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Representing design ideas with hierarchical graph diagrams
Machine Graphics & Vision International Journal - Special issue on diagrammatics & Design
An end-to-end domain-driven software development framework
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Metamodel based model transformation language
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Theoretical Computer Science
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science
Algebraic properties of processes for Local Action Systems
Mathematical Structures in Computer Science
Double-pushout graph transformation revisited
Mathematical Structures in Computer Science
Toward High-Precision Service Retrieval
IEEE Internet Computing
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Administrative scope in the graph-based framework
Proceedings of the ninth ACM symposium on Access control models and technologies
Algebraic hierarchical graph transformation
Journal of Computer and System Sciences
Modeling and Simulation of Context-Aware Mobile Systems
Proceedings of the 19th IEEE international conference on Automated software engineering
Formal access control analysis in the software development process
Proceedings of the 2003 ACM workshop on Formal methods in security engineering
Graph traversal and graph transformation
Theoretical Computer Science
APCCM '05 Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling - Volume 43
Computing optimal self-repair actions: damage minimization versus repair time
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Graph-based specification of access control policies
Journal of Computer and System Sciences
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
On using a parallel graph rewriting formalism in generation
EWNLG '01 Proceedings of the 8th European workshop on Natural Language Generation - Volume 8
Quantitative μ-calculus and CTL defined over constraint semirings
Theoretical Computer Science - Quantitative aspects of programming languages (QAPL 2004)
Constraint validation support in visual model transformation systems
Acta Cybernetica
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Composing aspect models with graph transformations
Proceedings of the 2006 international workshop on Early aspects at ICSE
An architecture exploration environment for system on chip design
Nordic Journal of Computing
Recognizability, hypergraph operations, and logical types
Information and Computation
The recognizability of sets of graphs is a robust property
Theoretical Computer Science
Spatial graph grammars for graphical user interfaces
ACM Transactions on Computer-Human Interaction (TOCHI)
The movable point problem and its resolution in object type graphs
Proceedings of the 43rd annual Southeast regional conference - Volume 2
Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
Mathematical Structures in Computer Science
Finite graph automata for linear and boundary graph languages
Theoretical Computer Science
Average case analysis of DJ graphs
Journal of Discrete Algorithms
Syntactic recognition of distorted patterns by means of random graph parsing
Pattern Recognition Letters
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Unfolding semantics of graph transformation
Information and Computation
Can abstract state machines be useful in language theory?
Theoretical Computer Science
Hierarchical Specification Of Graphical User Interfaces Using A Graph Grammar Approach
Journal of Integrated Design & Process Science
Journal of Integrated Design & Process Science
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
Incremental construction of coverability graphs
Information Processing Letters
Verification of Random Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation of Generalised Semi-Markov Processes based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them
Discrete Event Dynamic Systems
Pattern-based design evolution using graph transformation
Journal of Visual Languages and Computing
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Systematic Testing of Model-Based Code Generators
IEEE Transactions on Software Engineering
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Undecidable Control Conditions in Graph Transformation Units
Electronic Notes in Theoretical Computer Science (ENTCS)
A Game Theoretic Approach to the Analysis of Dynamic Networks
Electronic Notes in Theoretical Computer Science (ENTCS)
Advanced modelling for e-learning platforms
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Advanced techniques for metamodelling
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Electronic Notes in Theoretical Computer Science (ENTCS)
Systematic verification of multi-agent systems based on rigorous executable specifications
International Journal of Agent-Oriented Software Engineering
Validated model transformation-driven software development
International Journal of Computer Applications in Technology
A transformational approach to produce web application prototypes from a web requirements model
International Journal of Web Engineering and Technology
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
A visual control flow language
SEPADS'06 Proceedings of the 5th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Extending the DPO approach for topological validation of metamodel-level graph rewriting rules
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
A UML class diagram-based pattern language for model transformation systems
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Towards a Notion of Transaction in Graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation Semantics for a QVT Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Testing the Implementation of Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Visual Specification of Metrics for Domain Specific Visual Languages
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)
Graphs-at-a-time: query language and access methods for graph databases
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
A framework for the verification of infinite-state graph transformation systems
Information and Computation
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
Discrete Applied Mathematics
A glimpse of symbolic-statistical modeling by PRISM
Journal of Intelligent Information Systems
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification
Verified Software: Theories, Tools, Experiments
Distributed Adaptive Design with Hierarchical Autonomous Graph Transformation Systems
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part II
Transformations Have to be Developed ReST Assured
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
Unfolding Graph Transformation Systems: Theory and Applications to Verification
Concurrency, Graphs and Models
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
Linear-Ordered Graph Grammars: Applications to Distributed Systems Design
Concurrency, Graphs and Models
From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Distributed Graphs Transformed by Multiagent System
ICAISC '08 Proceedings of the 9th international conference on Artificial Intelligence and Soft Computing
GRADIS --- Multiagent Environment Supporting Distributed Graph Transformations
ICCS '08 Proceedings of the 8th international conference on Computational Science, Part III
Inductively Sequential Term-Graph Rewrite Systems
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Graph Transformation for Topology Modelling
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Pullback Grammars Are Context-Free
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Estimating Graph Parameters Using Graph Grammars
ICGI '08 Proceedings of the 9th international colloquium on Grammatical Inference: Algorithms and Applications
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Automated Merging of Feature Models Using Graph Transformations
Generative and Transformational Techniques in Software Engineering II
Modelling of Longitudinal Information Systems with Graph Grammars
Applications of Graph Transformations with Industrial Relevance
Applications of Graph Transformations with Industrial Relevance
Applications and Rewriting of Omnigraphs --- Exemplified in the Domain of MDD
Applications of Graph Transformations with Industrial Relevance
Shaped Generic Graph Transformation
Applications of Graph Transformations with Industrial Relevance
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Applications of Graph Transformations with Industrial Relevance
Verification and Synthesis of OCL Constraints Via Topology Analysis
Applications of Graph Transformations with Industrial Relevance
Recursive Graph Pattern Matching
Applications of Graph Transformations with Industrial Relevance
Ludo: A Case Study for Graph Transformation Tools
Applications of Graph Transformations with Industrial Relevance
Introducing the VMTS Mobile Toolkit
Applications of Graph Transformations with Industrial Relevance
Several aspects of context freeness for hyperedge replacement grammars
WSEAS Transactions on Computers
Specifying behavioral semantics of UML diagrams through graph transformations
Journal of Systems and Software
Introducing requirements traceability support in model-driven development of web applications
Information and Software Technology
Modelling and Verifying Mobile Systems Using π -Graphs
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Application of Graph Transformation in Verification of Dynamic Systems
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Recognizing join points from their context through graph grammars
Proceedings of the 13th workshop on Aspect-oriented modeling
Graph-based specification and simulation of featherweight Java with around advice
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
About normal forms for hyperedge replacement grammars
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
A Graph-based Design Framework for Global Computing Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a compositional approach to model transformation for software development
Proceedings of the 2009 ACM symposium on Applied Computing
Analyzing Rule-Based Behavioral Semantics of Visual Modeling Languages with Maude
Software Language Engineering
Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Software Language Engineering
ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking
Triple Graph Grammars or Triple Graph Transformation Systems?
Models in Software Engineering
On the reachability of a version of graph-rewriting system
Information Processing Letters
Graph transformation based reduction analysis of PID
ACM SIGSOFT Software Engineering Notes
Autonomous Units to Model Interacting Sequential and Parallel Processes
Fundamenta Informaticae
Grammatical inference for robotic self-assembly: basic methodology
AIKED'09 Proceedings of the 8th WSEAS international conference on Artificial intelligence, knowledge engineering and data bases
Formal Verification of Graph Grammars using Mathematical Induction
Electronic Notes in Theoretical Computer Science (ENTCS)
Grammatical inference methodology for control systems
WSEAS Transactions on Computers
Using Graph Transformations in Distributed Adaptive Design System
ICCVG 2008 Proceedings of the International Conference on Computer Vision and Graphics: Revised Papers
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Hyperedge replacement languages and pushdown automata
MACMESE'08 Proceedings of the 10th WSEAS international conference on Mathematical and computational methods in science and engineering
Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Feature-Based Engineering of Compensations in Web Service Environment
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Framework and authoring tool for an extension of the UIML language
Advances in Engineering Software
A dynamically customizable process-centered evaluation model
PPDP '09 Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
Model Transformation Using Graph Transactions
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Context-Free Categorical Grammars
CAI '09 Proceedings of the 3rd International Conference on Algebraic Informatics
A formalism for describing modeling transformations for verification
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
A Graph-Based Operational Semantics of OO Programs
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Shaped Hierarchical Architectural Design
Electronic Notes in Theoretical Computer Science (ENTCS)
An Operational Semantics of CommUnity Based on Graph Transformation Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Verifying Object-Based Graph Grammars
Electronic Notes in Theoretical Computer Science (ENTCS)
Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Coherently Explaining UML Statechart and Collaboration Diagrams by Graph Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
An Environment for the Development of Concurrent Object-Based Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Time and Space Issues in the Generation of Graph Transition Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in Relational Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Tarzan: Communicating and Moving in Wireless Jungles
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
An MDA approach to Access Control Specifications Using MOF and UML Profiles
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
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)
Semantics of Visual Models in a Rule-based Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in a Nutshell
Electronic Notes in Theoretical Computer Science (ENTCS)
Recognizability, hypergraph operations, and logical types
Information and Computation
Graph-based delegation authorization in workflow
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Hierarchical graph transformations with meta-rules
Annales UMCS, Informatica
Hierarchical graph transformations with meta-rules
Annales UMCS, Informatica
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
Models and tools for managing development processes
Models and tools for managing development processes
A framework for the definition of metamodels for Computer-Aided Software Engineering tools
Information and Software Technology
A contribution to user interface modelling based on graph transformations approach
Proceedings of the International Workshop on Enterprises & Organizational Modeling and Simulation
Joint structural and temporal property specification using timed story scenario diagrams
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Maintaining consistency in layered architectures of mobile ad-hoc networks
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
On the usage of concrete syntax in model transformation rules
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Model-based development of web applications using graphical reaction rules
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Visual specifications of policies and their verification
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A temporal graph logic for verification of graph transformation systems
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Autonomous units and their semantics: the parallel case
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Incremental resolution of model inconsistencies
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modeling and verification of cooperative self-adaptive mechatronic systems
Proceedings of the 12th Monterey conference on Reliable systems on unreliable networked platforms
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
Improving communication in requirements engineering activities for web applications
ICWE'07 Proceedings of the 7th international conference on Web engineering
Deriving bisimulation congruences with borrowed contexts
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Graphical encoding of a spatial logic for the π-calculus
CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
Asynchronous graph-rewriting automata and simulation of synchronous execution
ECAL'07 Proceedings of the 9th European conference on Advances in artificial life
From algebraic graph transformation to adhesive HLR categories and systems
CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
International Journal of Autonomic Computing
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Matrix Graph Grammars with Application Conditions
Fundamenta Informaticae
Linear recurrence relations for graph polynomials
Pillars of computer science
A unified categorical approach for attributed graph rewriting
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Adaptive star grammars and their languages
Theoretical Computer Science
Diagnosing memory leaks using graph mining on heap dumps
Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
Semi-automated service composition using visual contracts
Proceedings of the 7th International Conference on Frontiers of Information Technology
Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance
Software and Systems Modeling (SoSyM)
Using weaving models to automate model-driven web engineering proposals
International Journal of Computer Applications in Technology
Instruction selection by graph transformation
CASES '10 Proceedings of the 2010 international conference on Compilers, architectures and synthesis for embedded systems
Using parallel graph transformations in design support system
ICCVG'10 Proceedings of the 2010 international conference on Computer vision and graphics: Part II
Model evolution and management
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
How far can enterprise modeling for banking be supported by graph transformation?
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A dynamic logic for termgraph rewriting
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
A model for distribution and revocation of certificates
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
Using graph transformations and graph abstractions for software verification
ICGT'10 Proceedings of the 5th international conference on Graph transformations
A graph-based operational semantics for context-oriented programming
Proceedings of the 2nd International Workshop on Context-Oriented Programming
Randomized Gandy-Păun-Rozenberg machines
CMC'10 Proceedings of the 11th international conference on Membrane computing
Extending DMM behavior specifications for visual execution and debugging
SLE'10 Proceedings of the Third international conference on Software language engineering
The edge of graph transformation: graphs for behavioural specification
Graph transformations and model-driven engineering
Graph transformation by computational category theory
Graph transformations and model-driven engineering
Autonomous units and their semantics - the concurrent case
Graph transformations and model-driven engineering
Lessons learned from building a graph transformation system
Graph transformations and model-driven engineering
Symmetry for the analysis of dynamic systems
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Journal of Visual Languages and Computing
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
Transforming provenance using redaction
Proceedings of the 16th ACM symposium on Access control models and technologies
Reusing dynamic communication protocols in self-adaptive embedded component architectures
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Modular graph rewriting to compute semantics
IWCS '11 Proceedings of the Ninth International Conference on Computational Semantics
Graph-transformation verification using monadic second-order logic
Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming
Using kernels on hierarchical graphs in automatic classification of designs
GbRPR'11 Proceedings of the 8th international conference on Graph-based representations in pattern recognition
Genetic selection of subgraphs for automatic reasoning in design systems
HAIS'11 Proceedings of the 6th international conference on Hybrid artificial intelligent systems - Volume Part I
A local greibach normal form for hyperedge replacement grammars
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Component-based timed hazard analysis of self-healing systems
Proceedings of the 8th workshop on Assurances for self-adaptive systems
About graph and hypergraph context free grammars
Proceedings of the 15th WSEAS international conference on Computers
Graph grammars with string-regulated rewriting
Theoretical Computer Science
Search-based functional test data generation using data metamodel
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
EWSA'06 Proceedings of the Third European conference on Software Architecture
Synchronised hyperedge replacement as a model for service oriented computing
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
Hierarchical representation and operators in evolutionary design
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Applying cooperating distributed graph grammars in computer aided design
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Distributed unfolding of petri nets
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Weaving aspect-oriented constraints into metamodel-based model transformation steps
PCI'05 Proceedings of the 10th Panhellenic conference on Advances in Informatics
Self-description for construction and execution in graph rewriting automata
ECAL'05 Proceedings of the 8th European conference on Advances in Artificial Life
Correct transformation: From object-based graph grammars to PROMELA
Science of Computer Programming
A novel approach to semi-automated evolution of DSML model transformation
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Formal real-time model transformations in MOMENT2
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
From web requirements to navigational design – a transformational approach
ICWE'05 Proceedings of the 5th international conference on Web Engineering
Automatic conformance testing of web services
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
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
Modelling parametric contracts and the state space of composite components by graph grammars
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
An access control language for dynamic systems – model-driven development and verification
SDL'05 Proceedings of the 12th international conference on Model Driven
On the concurrent semantics of algebraic graph grammars
Formal Methods in Software and Systems Modeling
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Changing labels in the double-pushout approach can be treated categorically
Formal Methods in Software and Systems Modeling
Main concepts of networks of transformation units with interlinking semantics
Formal Methods in Software and Systems Modeling
Verification of graph grammars using a logical approach
Science of Computer Programming
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
A graphical notation to specify model queries for MDA transformations on UML models
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
OCL and graph-transformations: a symbiotic alliance to alleviate the frame problem
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
UML model mappings for platform independent user interface design
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
USIXML: a language supporting multi-path development of user interfaces
EHCI-DSVIS'04 Proceedings of the 2004 international conference on Engineering Human Computer Interaction and Interactive Systems
Transforming web requirements into navigational models: AN MDA based approach
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Stochastic context-free graph grammars for glycoprotein modelling
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Recognizable sets of graphs, hypergraphs and relational structures: a survey
DLT'04 Proceedings of the 8th international conference on Developments in Language Theory
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
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
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Dynamic graph transformation systems
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
GrGen: a fast SPO-based graph rewriting tool
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Heuristic search for the analysis of graph transition systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Verifying fault-tolerant distributed systems using object-based graph grammars
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
Making metamodels aware of concrete syntax
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
Formal modeling of communication protocols by graph transformation
FM'06 Proceedings of the 14th international conference on Formal Methods
Event structure semantics for nominal calculi
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Separation of concerns for mechatronic multi-agent systems through dynamic communities
Software Engineering for Multi-Agent Systems III
Definition and correct refinement of operation specifications
Dependable Systems
Polynomial graph transformability
Theoretical Computer Science
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
Can abstract state machines be useful in language theory?
DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
Ontology-Driven conceptual design of ETL processes using graph transformations
Journal on Data Semantics XIII
Counterexample-Guided abstraction refinement for the analysis of graph transformation systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Engineering self-protection for autonomous systems
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
An institution for graph transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Combining graph transformation and algebraic specification into model transformation
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
On formalizing EMF modeling operations with graph transformations
ACM SIGSOFT Software Engineering Notes
A cloud-based RDF policy engine for assured information sharing
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
Uniform modularization of workflow concerns using unify
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
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
Effective graph representation for agent-based distributed computing
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
A graph-based generation of virtual grids
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part I
Unification of compiled and interpreter-based pattern matching techniques
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
Polynomial time inductive inference of cograph pattern languages from positive data
ILP'11 Proceedings of the 21st international conference on Inductive Logic Programming
Marker-Directed optimization of UnCAL graph transformations
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
An algorithm for generating model-sensitive search plans for EMF models
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
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
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Elixir: a system for synthesizing concurrent graph programs
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Implementing conformiq Qtronic
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Static analysis of dynamic communication systems by partner abstraction
SAS'07 Proceedings of the 14th international conference on Static Analysis
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Graph grammar induction as a parser-controlled heuristic search process
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
Planning self-adaption with 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
Specification patterns for properties over reachable states of graph grammars
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
Well-structured graph transformation systems with negative application conditions
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Graph transformation with focus on incident edges
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
M,N-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Information and Computation
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
Supporting communication and cooperation in distributed representation for adaptive design
Advanced Engineering Informatics
On the existence of high-impact refactoring opportunities in programs
ACSC '12 Proceedings of the Thirty-fifth Australasian Computer Science Conference - Volume 122
Connectivity games over dynamic networks
Theoretical Computer Science
Evolution in a context of an model-integrated tool environment
Proceedings of the 6th International Workshop on Models and Evolution
Causality-Based verification of multi-threaded programs
CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Supporting the design process with hypergraph genetic operators
Advanced Engineering Informatics
Domain-specific discrete event modelling and simulation using graph transformation
Software and Systems Modeling (SoSyM)
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
| Hi-index | 0.01 |