Search

• < Previous
• 1
• Next >

---

Model Checking Spatial Logics for Closure Spaces

Vincenzo Ciancia ; Diego Latella ; Michele Loreti ; Mieke Massink.

Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distributed in physical space. Traditional formal verification techniques are well suited to analyse the temporal evolution of&nbsp;[&hellip;]

---

Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields

Alberto Lluch Lafuente ; Michele Loreti ; Ugo Montanari.

Coordination is essential for dynamic distributed systems whose components exhibit interactive and autonomous behaviors. Spatially distributed, locally interacting, propagating computational fields are particularly appealing for allowing components to join and leave with little or no overhead.&nbsp;[&hellip;]

---

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes

Marco Bernardo ; Rocco De Nicola ; Michele Loreti.

Two of the most studied extensions of trace and testing equivalences to nondeterministic and probabilistic processes induce distinctions that have been questioned and lack properties that are desirable. Probabilistic trace-distribution equivalence differentiates systems that can perform the same set&nbsp;[&hellip;]

---

A framework to measure the robustness of programs in the unpredictable environment

Valentina Castiglioni ; Michele Loreti ; Simone Tini.

Due to the diffusion of IoT, modern software systems are often thought to control and coordinate smart devices in order to manage assets and resources, and to guarantee efficient behaviours. For this class of systems, which interact extensively with humans and with their environment, it is thus&nbsp;[&hellip;]

---

A Spatial Logic for Simplicial Models

Michele Loreti ; Michela Quadrini.

Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the distribution of these entities determines a space that can be&nbsp;[&hellip;]

---