Publisher
Springer International Publishing
Reference35 articles.
1. Aiello, M., Pratt-Hartmann, I., Benthem, van, J.: Handbook of Spatial Logics. Springer (2007). https://doi.org/10.1007/978-1-4020-5587-4
2. Audrito, G., Casadei, R., Damiani, F., Stolz, V., Viroli, M.: Adaptive distributed monitors of spatial properties for cyber–physical systems. J. Syst. Softw. 175, 110908 (2021). https://doi.org/10.1016/j.jss.2021.110908
3. Banci Buonamici, F., Belmonte, G., Ciancia, V., Latella, D., Massink, M.: Spatial logics and model checking for medical imaging. Int. J. Softw. Tools Technol. Transfer 22(2), 195–217 (2019). https://doi.org/10.1007/s10009-019-00511-9
4. Bartocci, E., Bortolussi, L., Loreti, M., Nenzi, L.: Monitoring mobile and spatially distributed cyber-physical systems. In: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE, pp. 146–155. ACM (2017). https://doi.org/10.1145/3127041.3127050
5. Belmonte, G., Broccia, G., Bussi, L., Ciancia, V., Latella, D., Massink, M.: Querying medical imaging datasets using spatial logics (position paper). In: HEDA2021: The International Health Data Workshop 2021 in conjunction with 10th International Conference on Model and Data Engineering (MEDI 2021). Communications in Computer and Information Science. Springer (2021, to Appear)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods and Tools Applied in the Railway Domain;Lecture Notes in Computer Science;2024
2. A toolchain for strategy synthesis with spatial properties;International Journal on Software Tools for Technology Transfer;2023-11-02
3. Geometric Model Checking of Continuous Space;Logical Methods in Computer Science;2022-11-22
4. Towards Model Checking Video Streams Using VoxLogicA on GPUs;From Data to Models and Back;2022
5. An Experimental Toolchain for Strategy Synthesis with Spatial Properties;Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning;2022