The 4SECURail approach to formalizing standard interfaces between signalling systems components

Autor: Belli D., Fantechi A., Gnesi S., Masullo L., Mazzanti F., Pistilli G., Quadrini L., Trentini D., Vaghi C.

Publikováno v: Transport Research Arena (TRA) Conference, Lisbon, Portugal, 13-14/11/2022

In the context of the Shift2Rail open call S2R-OC-IP2-01-2019, one of the two work streams of the 4SECURail project (GA 881775) pursues the objective to corroborate how a clear, rigorous standard interface specification between signalling sub-systems

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

A comparison of NLP Tools for RE to extract Variation Points

Autor: Arrabito M., Fantechi A., Gnesi S., Semini L.

Publikováno v: Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, REFSQ-JP 2020, Pisa, Italy, 24-27/03/2020
info:cnr-pdr/source/autori:Arrabito M.; Fantechi A.; Gnesi S.; Semini L./congresso_nome:Joint 26th International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, REFSQ-JP 2020/congresso_luogo:Pisa, Italy/congresso_data:24-27%2F03%2F2020/anno:2020/pagina_da:/pagina_a:/intervallo_pagine

In the requirement engineering of software product lines, several researches have focused on exploiting NLP techniques and tools to extract information related to features and variability from requirement documents. In a previous work we have propose

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ebeb5695624d7f8bafa6bc320e27d61e
https://openportal.isti.cnr.it/doc?id=people______::ebeb5695624d7f8bafa6bc320e27d61e

Message from the chairs formaliSE 2020

Autor: Gnesi, S., Plat, N., Bae, K., Bianculli, D., SRDAN KRSTIC

Publikováno v: FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, pp. vii–viii, Seoul, October 2020
Scopus-Elsevier
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Bae K.; Bianculli D.; Krstic S./congresso_nome:FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering/congresso_luogo:Seoul/congresso_data:October 2020/anno:2020/pagina_da:vii/pagina_a:viii/intervallo_pagine:vii–viii

Welcome to FormaliSE 2020, the 8th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Eu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a47f1f9de2f30c7e61e53c105133626b
https://openportal.isti.cnr.it/doc?id=people______::8b5fcd0d37abc02f331799aea6125dd7

Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking

Autor: Gnesi, S., Lenzini, G., Martinelli, F.

Publikováno v: In Electronic Notes in Theoretical Computer Science 1 February 2005 118:57-70

Smart Services for Railways

Autor: Di Giandomenico F., Gnesi S, Spagnolo G. O., Fantechi A.

Publikováno v: ERCIM news (2019): 34–35.
info:cnr-pdr/source/autori:Di Giandomenico F.; Gnesi S; Spagnolo G. O.; Fantechi A./titolo:Smart Services for Railways/doi:/rivista:ERCIM news/anno:2019/pagina_da:34/pagina_a:35/intervallo_pagine:34–35/volume

The project STINGRAY (SmarT station INtelliGent RAilwaY) addresses the role of the railway station, traditionally seen as a meeting point for a city, in order to enhance its importance and integration into the smart city of the future.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::20b0633d5a58a8234a827d9a69ee9514
https://publications.cnr.it/doc/415717