Istituto di Scienza e Tecnologie dell'Informazione     
Belmonte G., Ciancia V., Latella D., Massink M. From collective adaptive systems to human centric computation and back: spatial model checking for medical imaging. In: FORECAST 2016 - Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (Vienna, Austria, 8 July 2016). Proceedings, pp. 81 - 92. (Electronic Proceedings in Theoretical Computer Science, vol. 217). EPTCS.org, 2016.
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 image analysis methodologies, rooted in logical methods for topological spaces. Medical Imaging (MI) is a field where such technologies show potential for ground-breaking innovation. In this position paper, we present a preliminary investigation centred on applications of spatial model checking to MI. The focus is shifted from pure logics to a mixture of logical, statistical and algorithmic approaches, driven by the logical nature intrinsic to the specification of the properties of interest in the field. As a result, novel operators are introduced, that could as well be brought back to the setting of CAS.
URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?FORECAST2016.10
DOI: 10.4204/EPTCS.217.10
Subject Model logics
Spatial Logics
Spatial Model-checking
Medical Imaging
F.4.1 Mathematical Logic
D.2.4 Software/Program Verification

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional