12 citations · 16 across the 4 of their papers we have counts for
4 papers
Using Spatial Logic and Model Checking for Nevus Segmentation
Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia +2
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the la…
Spatial Logics and Model Checking for Medical Imaging (Extended Version)
Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia +2
Recent research on spatial and spatio-temporal model checking provides novel image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is…
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version)
Gina Belmonte, Vincenzo Ciancia, Diego Latella +1
Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. We explor…
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…