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, Tatsuya; Tejero-de-Pablos, Antonio; Quer, Stefano; Savarese, Francesco. - STAMPA. - 1250:(2020), pp. 179-204. (Intervento presentato al convegno 14th International Conference on Software Technologies (ICSOFT 2019) tenutosi a Prague, Czech Republic nel 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, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya. - STAMPA. - (2019), pp. 416-427. (Intervento presentato al convegno ICSOFT 2019: 14th International Conference on Software Technologies tenutosi a Prague (CZ) nel 26-28 July, 2019) [10.5220/0007947604160427]. | 1-gen-2019 | Francesco SavareseStefano Quer + | main.pdf |
| 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 | - |
| 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 | - |
| 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 | - |