9 citations · 25 across the 7 of their papers we have counts for
8 papers
A type language for message passing component-based systems
Zorica Savanović, Letterio Galletta, Hugo Torres Vieira
Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In o…
Operation Control Protocols in Power Distribution Grids
Yehia Abd Alrahman, Hugo Torres Vieira
Future power distribution grids will comprise a large number of components, each potentially able to carry out operations autonomously. Clearly, in order to ensure safe operation o…
A Calculus for Modeling Floating Authorizations
Jovanka Pantovic, Ivan Prokic, Hugo Torres Vieira
Controlling resource usage in distributed systems is a challenging task given the dynamics involved in access granting. Consider, for instance, the setting of floating licenses whe…
Choreographies for Reactive Programming
Marco Carbone, Fabrizio Montesi, Hugo Torres Vieira
Modular programming is a cornerstone in software development, as it allows to build complex systems from the assembly of simpler components, and support reusability and substitutio…
Proceedings 9th Interaction and Concurrency Experience
Massimo Bartoletti, Ludovic Henrio, Sophia Knight +1
This volume contains the proceedings of ICE 2016, the 9th Interaction and Concurrency Experience, which was held in Heraklion, Greece on the 8th and 9th of June 2016 as a satellite…
A Typed Model for Dynamic Authorizations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović +2
Security requirements in distributed software systems are inherently dynamic. In the case of authorization policies, resources are meant to be accessed only by authorized parties,…
Combining behavioural types with security analysis
Massimo Bartoletti, Ilaria Castellani, Pierre-Malo Deniélou +7
Today's software systems are highly distributed and interconnected, and they increasingly rely on communication to achieve their goals; due to their societal importance, security a…
Dynamic Role Authorization in Multiparty Conversations
Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović +2
Protocol specifications often identify the roles involved in communications. In multiparty protocols that involve task delegation it is often useful to consider settings in which d…