Refinements of Graph Transformation Systems via Rule Expressions

A graph-based formalism for RBAC

ACM Transactions on Information and System Security (TISSEC)

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

Strengthening UML Collaboration Diagrams by State Transformations

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering

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

Modeling Distributed Systems by Modular Graph Transformation Based on Refinement via Rule Expressions

AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance

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

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective

ICGT '02 Proceedings of the First International Conference on Graph Transformation

Relating functional requirements and software architecture: separation and consistency of concerns

Journal of Software Maintenance: Research and Practice - Special issue: Separation of concerns for software evolution

Graph-based specification of access control policies

Journal of Computer and System Sciences

Towards a Notion of Transaction in Graph Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)

Flexible interconnection of graph transformation modules

Formal Methods in Software and Systems Modeling