Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving

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 based architectural (Re)configuration language

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

Conditional Graph Rewriting as a Domain-Independent Formalism for Software Evolution

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

Reconfiguration of Software Architecture Styles with Name Mobility

COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models

Transforming Specification Architectures by GenGED

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

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

Ugo Montanari and Graph Transformation

Concurrency, Graphs and Models

Graph-Based Design and Analysis of Dynamic Software Architectures

Concurrency, Graphs and Models

Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section

Concurrency, Graphs and Models

Implementing a rule-driven approach for architectural self configuration in collaborative activities using a graph rewriting formalism

CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology

P/S-CoM: Building correct by design Publish/Subscribe architectural styles with safe reconfiguration

Journal of Systems and Software

A rule-driven approach for architectural self adaptation in collaborative activities using graph grammars

International Journal of Autonomic Computing

A tile logic-based semantics for mobile software architectures

International Journal of Critical Computer-Based Systems

Formal analysis and verification of self-healing systems

FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering

A tile logic based semantics for mobile software architectures

VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems