Several research efforts from different areas have focused on the execution of UML models,
resulting in a diverse and complex scientific body of knowledge. With this work, we aim at …

A recent trend in programming language research is to use behavioral type theory to ensure
various correctness properties of largescale, communication-intensive systems. Behavioral …

Over the last decade, global descriptions have been successfully employed for the
verification and implementation of communicating systems, respectively as protocol …

The rise of virtualized and distributed infrastructures has led to new challenges to
accomplish the effective use of compute resources through the design and orchestration of …

Choreographies are descriptions of distributed systems where the developer gives a global
view of how messages are exchanged by endpoint nodes (endpoints for short), instead of …

The wide adoption of service-oriented computing has led to a heterogeneous scenario
formed by different technologies and specifications. Examples can be found both at the …

We advance significantly beyond the recent progress on the algorithmic complexity of Nash
equilibria by solving two major open problems in the approximation of Nash equilibria and in …

Mobility is a crucial sector for the livability of urban spaces, both in terms of accessibility for
people with disabilities, and in terms of enjoyability by people with different interests. The …

Programming distributed applications free from communication deadlocks and race
conditions is complex. Preserving these properties when applications are updated at …

This work presents an architecture to help designing and deploying smart mobility
applications. The proposed solution builds on the experience already matured by the …