A Conceptual Framework for Adaptation

A Fixpoint-Based Calculus for Graph-Shaped Computational Fields

A Formal Support to Business and Architectural Design for Service-Oriented Systems

article by Roberto Bruni et al published 2011 in Lecture Notes in Computer Science

A Formalisation of Adaptable Pervasive Flows

A Graph Syntax for Processes and Services

article

A Holistic Approach for Collaborative Workload Execution in Volunteer Clouds

A Service-Oriented UML Profile with Formal Support

A Temporal Graph Logic for Verification of Graph Transformation Systems

A White Box Perspective on Behavioural Adaptation

A computational field framework for collaborative task execution in volunteer clouds

AVOCLOUDY : a simulator of volunteer clouds

Adaptable Transition Systems

Aggregation Policies for Tuple Spaces

An Algebra of Hierarchical Graphs

article

Automated specification and verification of Web-based applications

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Combining declarative and procedural views in the specification and analysis of product families

article

Constraint design rewriting

Counterpart Semantics for a Second-Order μ-Calculus

Directed explicit model checking with HSF-SPIN

article

Discretionary Information Flow Control for Interaction-Oriented Specifications

Evaluating the Performance of Model Transformation Styles in Maude

Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models

Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning

Graph-Based Design and Analysis of Dynamic Software Architectures

article by Roberto Bruni et al published 2008 in Lecture Notes in Computer Science

Graphical Encoding of a Spatial Logic for the π-Calculus

Graphical Verification of a Spatial Logic for the π-calculus

Heuristic Search for the Analysis of Graph Transition Systems

Hierarchical Design Rewriting with Maude

Hierarchical Models for Service-Oriented Systems

Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies

Klaim-DB: A Modeling Language for Distributed Database Applications

Many-to-Many Information Flow Policies

Many-to-many information flow policies

Microservices: Yesterday, Today, and Tomorrow

Modelling and Analyzing Adaptive Self-assembly Strategies with Maude

Modelling and analyzing adaptive self-assembly strategies with Maude

On GS-Monoidal Theories for Graphs with Nesting

article published in 2010

On Symbolic Semantics for Name-decorated Contexts

Partial-Order Reduction for General State Exploring Algorithms

Partial-order reduction for general state exploring algorithms

Preface

Preface for the special issue on Interaction and Concurrency Experience 2015

Programming and Verifying Component Ensembles

QFLan: A Tool for the Quantitative Analysis of Highly Reconfigurable Systems

Quantitative Analysis of Probabilistic Models of Software Product Lines with Statistical Model Checking ⬇️

article

Quantitative Security Risk Modeling and Analysis with RisQFLan

scientific article published in 2021

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation

Replica-Based High-Performance Tuple Space Computing

Replicating Data for Better Performances in X10

Reputation-Based Cooperation in the Clouds

Service Oriented Architectural Design

scholarly article

Special section on Graph Inspection and Traversal Engineering (GRAPHITE 2014)

Star-Topology Decoupling in SPIN

State Space c-Reductions of Concurrent Systems in Rewriting Logic

Statistical Model Checking for Product Lines

Survey: Automatic generation of attack trees and attack graphs

scientific article published in February 2024

The SCEL Language: Design, Implementation, Verification

article by Rocco De Nicola et al published 2015 in Lecture Notes in Computer Science

Tools for Ensemble Design and Runtime

Towards Model Checking Spatial Properties with SPIN

article