57 citations · 278 across the 28 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016★ 57 cited
Model Checking Spatial Logics for Closure Spaces
Vincenzo Ciancia, Diego Latella, Michele Loreti +1
Spatial aspects of computation are becoming increasingly relevant in Computer Science, especially in the field of collective adaptive systems and when dealing with systems distribu…
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…