15 citations · 26 across the 4 of their papers we have counts for
4 papers
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS_eta -- Extended Version
Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia +4
In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplici…
On-the-fly Probabilistic Model Checking
Diego Latella, Michele Loreti, Mieke Massink
Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and…
Specifying and Verifying Properties of Space - Extended Version
Vincenzo Ciancia, Diego Latella, Michele Loreti +1
The interplay between process behaviour and spatial aspects of computation has become more and more relevant in Computer Science, especially in the field of collective adaptive sys…
Stochastically timed predicate-based communication primitives for autonomic computing
Diego Latella, Michele Loreti, Mieke Massink +1
Predicate-based communication allows components of a system to send messages and requests to ensembles of components that are determined at execution time through the evaluation of…