According to our database1, Gina Belmonte authored at least 9 papers between 2016 and 2021.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Int. J. Softw. Tools Technol. Transf., 2020
ERCIM News, 2019
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
VoxLogicA: a Spatial Model Checker for Declarative Image Analysis (Extended Version).
From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging.
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, 2016