SAVARESE, FRANCESCO

SAVARESE, FRANCESCO  

Dipartimento di Automatica e Informatica  

034821  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.017 secondi).
Citazione Data di pubblicazione Autori File
Data Fusion Methods and Algorithms in the Context of Autonomous Systems - A path planning algorithms analysis and optimization exploiting fused data / Savarese, Francesco. - (2019 Jul 26), pp. 1-113. 26-lug-2019 SAVARESE, FRANCESCO savarese_phd_thesis_pdfa.pdfsavarese_abstract_pdfa.pdf
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service RobotsSTAMPA. - (2019), pp. 416-427. ((Intervento presentato al convegno ICSOFT 2019: 14th International Conference on Software Technologies tenutosi a Prague, Czech Republic nel 26-28 July, 2019. 1-gen-2019 Francesco SavareseStefano Quer + main.pdf
Embedded Systems Secure Path Verification at the HW/SW Interface / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, Francesco; Vendraminetto, Danilo. - In: IEEE DESIGN & TEST. - ISSN 2168-2356. - STAMPA. - 34:5(2017), pp. 38-46. [10.1109/MDAT.2017.2713393] 1-gen-2017 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO 07944703.pdf
Formal Verification of Embedded Systems for Remote Attestation / Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; Savarese, Francesco; Vendraminetto, Danilo. - In: WSEAS TRANSACTIONS ON COMPUTERS. - ISSN 1109-2750. - ELETTRONICO. - 14:(2015), pp. 760-769. 1-gen-2015 CABODI, GianpieroCAMURATI, Paolo EnricoLOIACONO, CARMELOPIPITONE, GIOVANNISAVARESE, FRANCESCOVENDRAMINETTO, DANILO -
Scalable FPGA Graph model to detect routing faults / Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang. - ELETTRONICO. - (2016). ((Intervento presentato al convegno IEEE International Symposium on On-Line Testing and Robust System Design [10.1109/IOLTS.2016.7604690]. 1-gen-2016 STERPONE, LUCACABODI, GianpieroFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCODU, BOYANG SFGM.pdf
Secure Embedded Architectures: Taint Properties Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). ((Intervento presentato al convegno International Conference on Development and Application Systems [10.1109/DAAS.2016.7492565]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO SEA.pdf
Secure Path Verification / Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo. - ELETTRONICO. - (2016). ((Intervento presentato al convegno IEEE International Verification and Security Workshop [10.1109/IVSW.2016.7566608]. 1-gen-2016 CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO spv.pdf
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors / Harada, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco. - STAMPA. - 1250:(2020), pp. 179-204. [10.1007/978-3-030-52991-8_9] 1-gen-2020 Stefano QuerFrancesco Savarese + main.pdfHarada2020_Chapter_ServiceRobotsAUnifiedFramework.pdf
A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars / Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; Savarese, Francesco. - In: ELECTRONICS. - ISSN 2079-9292. - 8:2(2019), p. 177. [10.3390/electronics8020177] 1-gen-2019 Cabodi, GianpieroCamurati, PaoloGarbo, AlessandroQuer, StefanoSavarese, Francesco + savarese_paper.pdf