Zobrazeno 1 - 10
of 121
pro vyhledávání: '"Riccardo Sisto"'
Autor:
Denis Makartetskiy, Guido Marchetto, Riccardo Sisto, Fulvio Valenza, Matteo Virgilio, Denise Leri, Paolo Denti, Roberto Finizio
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 3, Pp 494-506 (2020)
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known
Externí odkaz:
https://doaj.org/article/41b66e15a6e14d258fb548d27f8f4bde
Publikováno v:
IEEE Access, Vol 7, Pp 99349-99359 (2019)
Network virtualization and softwarization will serve as a new way to implement new services, increases network functionality and flexibility. However, the increasing complexity of the services and the management of very large scale environments drast
Externí odkaz:
https://doaj.org/article/ac4084a5b1b3474882bd4825b6fc47c8
Publikováno v:
Computer Networks. 228:109745
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82b8e95a874fbafb6e4a97f2aeb46f64
https://doi.org/10.1016/j.comnet.2023.109745
https://doi.org/10.1016/j.comnet.2023.109745
Publikováno v:
IEEE Transactions on Industrial Informatics. 17:1515-1525
The increased flexibility and interconnectivity of modern industrial communication networks, obtained through the use of innovative technologies like network function virtualization and software-defined networking, require a secure and manageable fra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::91e97fff2a72959c673c7957b8c88f83
https://doi.org/10.1109/tii.2020.3002816
https://doi.org/10.1109/tii.2020.3002816
Autor:
Marco Iorio, Massimo Reineri, Alberto Buttiglieri, Riccardo Sisto, Fulvio Risso, Fulvio Valenza
Publikováno v:
IEEE Vehicular Technology Magazine. 15:77-85
With every generation, vehicles are becoming smarter and more oriented toward information and communications technology (ICT). However, computerization is posing unforeseen challenges in a sector for which the first goal must be safety: car hacking h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d6fd5ebdc7277c7b328defc5570a292
https://doi.org/10.1109/mvt.2020.2980444
https://doi.org/10.1109/mvt.2020.2980444
Autor:
Guido Marchetto, Denise Leri, Matteo Virgilio, Paolo Denti, Riccardo Sisto, Roberto Finizio, Fulvio Valenza, Denis Makartetskiy
Publikováno v:
Engineering Science and Technology, an International Journal, Vol 23, Iss 3, Pp 494-506 (2020)
In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8b41b5e7a0e5bc8e5f288dcfa986e9a7
http://www.sciencedirect.com/science/article/pii/S2215098619306147
http://www.sciencedirect.com/science/article/pii/S2215098619306147
Publikováno v:
IEEE/ACM Transactions on Networking. 27:2377-2390
Traffic monitoring is essential to manage large networks and validate Service Level Agreements. Passive monitoring is particularly valuable to promptly identify transient fault episodes and react in a timely manner. This article proposes a novel, non
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::71533048d80316604cc84855dfd40a86
https://doi.org/10.1109/tnet.2019.2950157
https://doi.org/10.1109/tnet.2019.2950157