Gina Belmonte

According to our database, Gina Belmonte authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Towards Hybrid-AI in Imaging Using VoxLogicA.

Gina Belmonte, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

2021

A Hands-On Introduction to Spatial Model Checking Using VoxLogicA - - Invited Contribution.

Vincenzo Ciancia, Gina Belmonte, Diego Latella, Mieke Massink

Proceedings of the Model Checking Software - 27th International Symposium, 2021

Querying Medical Imaging Datasets Using Spatial Logics (Position Paper).

Gina Belmonte, Giovanna Broccia, Laura Bussi, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Advances in Model and Data Engineering in the Digitalization Era, 2021

Feasibility of Spatial Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Spatial logics and model checking for medical imaging.

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Int. J. Softw. Tools Technol. Transf., 2020

Using Spatial Logic and Model Checking for Nevus Segmentation.

Gina Belmonte, Giovanna Broccia, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2020

2019

VoxLogicA: a Spatial-Logic Based Tool for Declarative Image Analysis.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

ERCIM News, 2019

VoxLogicA: A Spatial Model Checker for Declarative Image Analysis.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Innovating Medical Image Analysis via Spatial Logics.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Spatial Logics and Model Checking for Medical Imaging (Extended Version).

Fabrizio Banci Buonamici, Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2018

VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

CoRR, 2018

2016

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.

Gina Belmonte, Vincenzo Ciancia, Diego Latella, Mieke Massink

Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016