Search filters

List of works by Roberto Bruni

A Conceptual Framework for Adaptation

A Correctness and Incorrectness Program Logic

scientific article published on 06 February 2023

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 Graph Syntax for Processes and Services

article

A Service-Oriented UML Profile with Formal Support

A semantic framework for open processes

scientific article published in December 2007

An Algebra of Hierarchical Graphs

article

Constraint design rewriting

Evaluating the Performance of Model Transformation Styles in Maude

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

Hierarchical Design Rewriting with Maude

Hierarchical Models for Service-Oriented Systems

Limits and Difficulties in the Design of Under-Approximation Abstract Domains

scientific article published on 10 June 2024

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

Preface

Service Oriented Architectural Design

scholarly article

Paulina is supported by:

About Paulina

Help