Výsledky vyhledávání - "Spatial model checking"

Autor: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.

Publikováno v: ISTI Technical Report, ISTI-2023-TR/003, 2023

The notion of bisimilarity plays an important role in concurrency theory. It provides formal support to the idea of processes having "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides with

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::c87c2efc9e5bc3740873f181631453b2
https://openportal.isti.cnr.it/doc?id=people______::1982b85554323352ce4fcf093ba28c53

Zobrazit plný text záznamu

Autor: Ciancia V., Gabelaia D., Latella D., Massink M., De Vink E. P.

Publikováno v: DisCoTec 2023-43rd IFIP WG 6.1 International Conference, FORTE 2023 Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, pp. 132–151, Lisbon, Portugal, 19-23/06/2023

The notion of bisimilarity plays an important role in con- currency theory. It provides formal support to the idea of processes hav- ing "equivalent behaviour" and is a powerful tool for model reduction. Furthermore, bisimilarity typically coincides

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::214952863473fe4d9dbec838e9493620
https://openportal.isti.cnr.it/doc?id=people______::5d69e328cfe288cf662a3948812e2702

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Minimisation of spatial models using branching bisimilarity (extended version)

Autor: Ciancia V., Groote J. F., Latella D., Massink M., De Vink E. P.

Publikováno v: ISTI Technical Report, ISTI-2022-TR/027, 2022

Spatial logic and spatial model checking have great poten- tial for traditional computer science domains and beyond. Reasoning about space involves two different conditional reachability modalities: a forward reachability, similar to that used in tem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______9984::8cd5b851ceef9578f0842f0333ed543b
https://openportal.isti.cnr.it/doc?id=people______::4dfb32b6287fa4bf24ca6d5af12e68b9

Zobrazit plný text záznamu

An experimental toolchain for strategy synthesis with spatial properties

Autor: Davide Basile, Maurice H. ter Beek, Vincenzo Ciancia

Publikováno v: ISoLA'22-11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 142–164, Rhodes, Greece, 24-28/10/2022
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning ISBN: 9783031197581

We investigate the application of strategy synthesis to enforce spatial properties. The Contract Automata Library (CATLib) performs both composition and strategy synthesis of games modelled in a dialect of finite state automata. The Voxel-based Logic

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbc024fe4c75f8632ddeddfae0fa3150
https://openportal.isti.cnr.it/doc?id=people______::8749d9bd06bbd024fcbe01f78fe05318

Zobrazit plný text záznamu

Spatial Model Checking for Smart Stations

Autor: Vincenzo Ciancia, Giorgio Oronzo Spagnolo, Diego Latella, Maurice H. ter Beek, Mieke Massink

Publikováno v: Formal Methods for Industrial Critical Systems ISBN: 9783030852474
FMICS
FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems, pp. 39–47, Online conference, 24-26/08/2021
info:cnr-pdr/source/autori:ter Beek M.H.; Ciancia V.; Latella D.; Massink M.; Spagnolo G.O./congresso_nome:FMICS 2021-26th International Conference on Formal Methods for Industrial Critical Systems/congresso_luogo:Online conference/congresso_data:24-26%2F08%2F2021/anno:2021/pagina_da:39/pagina_a:47/intervallo_pagine:39–47

In this position paper, we discuss the introduction of spatial verification techniques in an application scenario from smart stations, viz. analysing the user experience with respect to the lighting conditions of station areas. This is a case study i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1729a3b7b0045236b6626aa062d4af35
https://doi.org/10.1007/978-3-030-85248-1_3

Zobrazit plný text záznamu

A graphical user interface for medical image analysis with declarative spatial logic - Cognitive and memory load evaluation

Autor: Broccia G., Ciancia V., Latella D., Massink M.

Publikováno v: ISTI Technical Report, ISTI-2021-TR/012, pp.1–39, 2021

Logic based (semi-)automatic contouring in Medical Imaging has shown to be a very promising and versatile technique that can potentially greatly facilitate the work of different professionals in this domain while supporting explainability, easy repli

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::8f258b01961951392273a10708047ae7
https://doi.org/10.32079/ISTI-TR-2021/012

Zobrazit plný text záznamu

Using spatial logic and model checking for nevus segmentation

Autor: Belmonte G., Broccia G., Ciancia V., Latella D., Massink M.

Publikováno v: ISTI Technical Reports 2020/017, 2020

Spatial and spatio-temporal model checking techniques have a wide range of application domains, among which large scale distributed systems and signal and image analysis. In the latter domain, automatic and semi-automatic contouring in Medical Imagin

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::49cc7cb0741fe9034da909b696bd8177
https://doi.org/10.32079/ISTI-TR-2020/017

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání