Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
Thu 20 May 2021 10:30 - 11:00 at FormaliSE Room - Monitoring & Biological systems

Recently developed spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems as well as signal and image analysis. In the latter domain, automatic and semi-automatic contouring in Medical Imaging has shown to be a very promising and versatile application. In the present paper we address the contouring of 2D images of nevi. One of the challenges of contouring nevi is that they show considerable inhomogeneity in shape, colour, texture and size. In addition, these images often include also extraneous elements such as hairs, patches and rulers. To deal with these challenges we explore the use of a texture similarity operator in combination with spatial logic operators. We investigate the feasibility of this technique on dermoscopic images of a large public database. To that purpose, we compare our segmentation results with the ground truth segmentation provided by domain experts; the results are very promising, both from the quality and from the performance point of view.

Thu 20 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:00 - 11:30
Monitoring & Biological systemsFormaliSE 2021 at FormaliSE Room
10:00
30m
Talk
Monitoring Cumulative Non-functional Properties
FormaliSE 2021
Omar Al BatainehNational University of Singapore, Singapore, Arvind EaswaranNanyang Technological University, Daniel Jun Xian NgNanyang Technological University, Singapore
Pre-print
10:30
30m
Talk
Feasibility of Spatial Model Checking for Nevus Segmentation
FormaliSE 2021
Gina BelmonteAzienda Toscana Nord Ovest S. C. Fisica Sanitaria Nord, Lucca, Italy, Giovanna BrocciaISTI-CNR, FMT Lab, Vincenzo CianciaIstituto di Scienza e Tecnologie dell'Informazione "A. Faedo", Consiglio Nazionale delle Ricerche, Pisa, ITALY, Diego LatellaISTI-CNR, Pisa, Italy, Mieke MassinkCNR-ISTI Pisa, Italy
Pre-print
11:00
30m
Talk
Formal characterization and efficient verification of a biological robustness property
FormaliSE 2021
Lucia NastiUniversità di Pisa - Dipartimento di Informatica, Roberta GoriUniversity of Pisa, Paolo MilazzoUniversity of Pisa - Department of Computer Science
Pre-print

Information for Participants
Info for FormaliSE Room: