Archivio Istituzionale della RicercaSAVARESE, FRANCESCO
SAVARESE, FRANCESCO
Dipartimento di Automatica e Informatica
034821
Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors
2020 Harada, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco
Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots
2019 Savarese, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya
Scalable FPGA Graph model to detect routing faults
2016 Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Du, Boyang
Secure Embedded Architectures: Taint Properties Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
Secure Path Verification
2016 Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; Savarese, Francesco; Vendraminetto, Danilo
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Service Robots: A Unified Framework for Detecting, Opening and Navigating Through Doors / Harada, T., Tejero-de-Pablos, A., Quer, S., Savarese, F.. - STAMPA. - 1250:(2020), pp. 179-204. (14th International Conference on Software Technologies (ICSOFT 2019) Prague, Czech Republic July 26–28, 2019) [10.1007/978-3-030-52991-8_9]. | 1-gen-2020 | Stefano QuerFrancesco Savarese + | main.pdf; Harada2020_Chapter_ServiceRobotsAUnifiedFramework.pdf |
| Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots / Savarese, F., Tejero-de-pablos, A., Quer, S., Harada, T.. - STAMPA. - (2019), pp. 416-427. (ICSOFT 2019: 14th International Conference on Software Technologies Prague (CZ) 26-28 July, 2019) [10.5220/0007947604160427]. | 1-gen-2019 | Francesco SavareseStefano Quer + | main.pdf |
| Scalable FPGA Graph model to detect routing faults / Sterpone, L., Cabodi, G., Finocchiaro, S.F., Loiacono, C., Savarese, F., Du, B.. - ELETTRONICO. - (2016). (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 | - |
| Secure Embedded Architectures: Taint Properties Verification / Cabodi, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (International Conference on Development and Application Systems ) [10.1109/DAAS.2016.7492565]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |
| Secure Path Verification / Cabodi, G., Camurati, P.E., Finocchiaro, S.F., Loiacono, C., Savarese, F., Vendraminetto, D.. - ELETTRONICO. - (2016). (IEEE International Verification and Security Workshop ) [10.1109/IVSW.2016.7566608]. | 1-gen-2016 | CABODI, GianpieroCAMURATI, Paolo EnricoFINOCCHIARO, SEBASTIANO FABRIZIOLOIACONO, CARMELOSAVARESE, FRANCESCOVENDRAMINETTO, DANILO | - |