5 citations · 17 across the 7 of their papers we have counts for
7 papers
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese +1
We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobi…
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
Davide Basile, Maurice H. ter Beek, Rosario Pugliese
We present a number of contributions to bridging the gap between supervisory control theory and coordination of services in order to explore the frontiers between coordination and…
A Rigorous Framework for Specification, Analysis and Enforcement of Access Control Policies
Andrea Margheri, Massimiliano Masi, Rosario Pugliese +1
Access control systems are widely used means for the protection of computing systems. They are defined in terms of access control policies regulating the accesses to system resourc…
On Properties of Policy-Based Specifications
Andrea Margheri, Rosario Pugliese, Francesco Tiezzi
The advent of large-scale, complex computing systems has dramatically increased the difficulties of securing accesses to systems' resources. To ensure confidentiality and integrity…
Blind-date Conversation Joining
Luca Cesari, Rosario Pugliese, Francesco Tiezzi
We focus on a form of joining conversations among multiple parties in service-oriented applications where a client may asynchronously join an existing conversation without need to…
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…