On the specification and evolution of access control policies
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
Formal software specification with refinements and modules of typed graph transformation systems
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
Refinements and Modules for Typed Graph Transformation Systems
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
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
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
Flexible interconnection of graph transformation modules
Formal Methods in Software and Systems Modeling
Behavior-preserving refinement relations between dynamic software architectures
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Hi-index | 0.00 |