| Specifying and verifying properties of space V Ciancia, D Latella, M Loreti, M Massink Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference …, 2014 | 97 | 2014 |
| Qualitative and quantitative monitoring of spatio-temporal properties L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Runtime Verification: 6th International Conference, RV 2015, Vienna, Austria …, 2015 | 82 | 2015 |
| Spatio-temporal model checking of vehicular movement in public transport systems V Ciancia, S Gilmore, G Grilletti, D Latella, M Loreti, M Massink International Journal on Software Tools for Technology Transfer 20, 289-311, 2018 | 76 | 2018 |
| Model checking spatial logics for closure spaces V Ciancia, D Latella, M Loreti, M Massink Logical Methods in Computer Science 12, 2017 | 70 | 2017 |
| Qualitative and quantitative monitoring of spatio-temporal properties with SSTL L Nenzi, L Bortolussi, V Ciancia, M Loreti, M Massink Logical Methods in Computer Science 14 (Modal and temporal logics), 2018 | 63 | 2018 |
| A tool-chain for statistical spatio-temporal model checking of bike sharing systems V Ciancia, D Latella, M Massink, R Paškauskas, A Vandin Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 63 | 2016 |
| Spatial logics and model checking for medical imaging F Banci Buonamici, G Belmonte, V Ciancia, D Latella, M Massink International Journal on Software Tools for Technology Transfer 22 (2), 195-217, 2020 | 61 | 2020 |
| Freshness and name-restriction in sets of traces with names MJ Gabbay, V Ciancia Foundations of Software Science and Computational Structures: 14th …, 2011 | 60 | 2011 |
| Exploring spatio-temporal properties of bike-sharing systems V Ciancia, D Latella, M Massink, R Pakauskas 2015 IEEE International Conference on Self-Adaptive and Self-Organizing …, 2015 | 55 | 2015 |
| An experimental spatio-temporal model checker V Ciancia, G Grilletti, D Latella, M Loreti, M Massink SEFM 2015 collocated workshops, 297-311, 2015 | 53 | 2015 |
| VoxLogicA: A Spatial Model Checker for Declarative Image Analysis G Belmonte, V Ciancia, D Latella, M Massink Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 49 | 2019 |
| Statistical Model Checking of a Moving Block Railway Signalling Scenario with Uppaal SMC: Experience and Outlook D Basile, MH ter Beek, V Ciancia Leveraging Applications of Formal Methods, Verification and Validation …, 2018 | 36 | 2018 |
| Symmetries, local names and dynamic (de)-allocation of names V Ciancia, U Montanari Information and Computation 208 (12), 1349-1367, 2010 | 34 | 2010 |
| Spatial logic and spatial model checking for closure spaces V Ciancia, D Latella, M Loreti, M Massink Formal Methods for the Quantitative Evaluation of Collective Adaptive …, 2016 | 32 | 2016 |
| Data verification for collective adaptive systems: spatial model-checking of vehicle location data V Ciancia, S Gilmore, D Latella, M Loreti, M Massink 2014 IEEE Eighth International Conference on Self-Adaptive and Self …, 2014 | 32 | 2014 |
| Feasibility of spatial model checking for nevus segmentation G Belmonte, G Broccia, V Ciancia, D Latella, M Massink 2021 IEEE/ACM 9th International Conference on Formal Methods in Software …, 2021 | 30 | 2021 |
| Innovating medical image analysis via spatial logics G Belmonte, V Ciancia, D Latella, M Massink From Software Engineering to Formal Methods and Tools, and Back: Essays …, 2019 | 24 | 2019 |
| Geometric model checking of continuous space N Bezhanishvili, V Ciancia, D Gabelaia, G Grilletti, D Latella, M Massink Logical Methods in Computer Science 18, 2022 | 23 | 2022 |
| Families of symmetries as efficient models of resource binding V Ciancia, A Kurz, U Montanari Electronic Notes in Theoretical Computer Science 264 (2), 63-81, 2010 | 20 | 2010 |
| A novel class of automata for languages on infinite alphabets V Ciancia, E Tuosto Technical Report CS-09–003, 2009 | 18 | 2009 |
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
