12 citations · 16 across the 3 of their papers we have counts for
3 papers
cs.LO2016★ 12 cited
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging
Gina Belmonte, Vincenzo Ciancia, Diego Latella +1
Recent research on formal verification for Collective Adaptive Systems (CAS) pushed advancements in spatial and spatio-temporal model checking, and as a side result provided novel…
cs.LO2016
On Formal Methods for Collective Adaptive System Engineering. {Scalable Approximated, Spatial} Analysis Techniques. Extended Abstract
Diego Latella
In this extended abstract a view on the role of Formal Methods in System Engineering is briefly presented. Then two examples of useful analysis techniques based on solid mathematic…
cs.LO2012★ 4 cited
Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
D. Latella, M. Massink, E. P. de Vink
Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they cons…