Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Francesco Savarese"'
Publikováno v:
2021 International Conference on Robotics and Automation in Industry (ICRAI).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b46ae1d57cd8765e0252ce11d26ae8ec
https://doi.org/10.1109/icrai54018.2021.9651433
https://doi.org/10.1109/icrai54018.2021.9651433
Autor:
Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto, Paolo Camurati, Gianpiero Cabodi
Publikováno v:
IEEE Design & Test. 34:38-46
Editor’s note: The article presents a case study comparing two types of properties for formal verification of security requirements in embedded systems. — Wen Chen, NXP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ffe2643dbba91e36a4a6474c52d693f
https://doi.org/10.1109/mdat.2017.2713393
https://doi.org/10.1109/mdat.2017.2713393
Autor:
Paolo Camurati, Michele Giorelli, Francesco Savarese, Gianpiero Cabodi, Stefano Quer, Alessandro Garbo
Publikováno v:
Electronics
Volume 8
Issue 2
Electronics, Vol 8, Iss 2, p 177 (2019)
Volume 8
Issue 2
Electronics, Vol 8, Iss 2, p 177 (2019)
Research on autonomous cars, early intensified in the 1990s, is becoming one of the main research paths in automotive industry. Recent works use Rapidly-exploring Random Trees to explore the state space along a given reference path, and to compute th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::808e8606453b1ff942ef932622dfb4eb
Publikováno v:
ICSOFT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1eeefbbc0daeb5bc0cb94101c3dd1cc
https://doi.org/10.5220/0007947604160427
https://doi.org/10.5220/0007947604160427
Autor:
Carmelo Loiacono, Francesco Savarese, Boyang Du, S.F. Finocchiaro, Luca Sterpone, Gianpiero Cabodi
Publikováno v:
IOLTS
The SRAM cells that form the configuration memory of an SRAM-based FPGA make such FPGAs particularly vulnerable to soft errors. A soft error occurs when ionizing radiation corrupts the data stored in a circuit. The error persists until new data is wr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8e88128fd6c4afd56603ceaff4295f10
https://doi.org/10.1109/iolts.2016.7604690
https://doi.org/10.1109/iolts.2016.7604690
Autor:
Francesco Savarese, Danilo Vendraminetto, S.F. Finocchiaro, Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono
Nowadays embedded devices collect various kinds of information and provide it to communication networks for further processing. These devices often provide critical functionalities that could be exploited by malicious parties. Using formal techniques
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aca669eb828161203e22359aa783a6d1
http://hdl.handle.net/11583/2641771
http://hdl.handle.net/11583/2641771
Autor:
Francesco Savarese, Danilo Vendraminetto, Gianpiero Cabodi, Paolo Camurati, Carmelo Loiacono, S.F. Finocchiaro
Publikováno v:
IVSW
Many embedded systems, like medical, sensing, automotive, military, require basic security functions, often referred to as "secure communications". Nowadays, interest has been growing around defining new security related properties, expressing relati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ed1b037f118c0c272815dc22fef21990
http://hdl.handle.net/11583/2642251
http://hdl.handle.net/11583/2642251