Corso di laurea magistrale

• Programmazione di sistema. A.A. 2015/16, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2016/17, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso

Corso di laurea di 1° livello

• Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso

• Savarese, Francesco; Tejero-de-pablos, Antonio; Quer, Stefano; Harada, Tatsuya (2019)
  Detecting, Opening and Navigating through Doors: A Unified Framework for Human Service Robots. In: ICSOFT 2019: 14th International Conference on Software Technologies, Prague (CZ), 26-28 July, 2019, pp. 416-427. ISBN: 978-989-758-379-7
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, Gianpiero; Camurati, Paolo; Garbo, Alessandro; Giorelli, Michele; Quer, Stefano; ... (2019)
  A Smart Many-Core Implementation of a Motion Planning Framework along a Reference Path for Autonomous Cars. In: ELECTRONICS, vol. 8. ISSN 2079-9292
  Contributo su Rivista
• Savarese, Francesco (2019)
  Data Fusion Methods and Algorithms in the Context of Autonomous Systems - A path planning algorithms analysis and optimization exploiting fused data. relatore: CABODI, Gianpiero; , 31. XXXI Ciclo, P.: 113
  Doctoral Thesis
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Savarese, ... (2017)
  Embedded Systems Secure Path Verification at the HW/SW Interface. In: IEEE DESIGN & TEST, vol. 34, pp. 38-46. ISSN 2168-2356
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, ... (2016)
  Secure Path Verification. In: IEEE International Verification and Security Workshop. ISBN: 978-1-5090-1141-4
  Contributo in Atti di Convegno (Proceeding)
• Sterpone, Luca; Cabodi, Gianpiero; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, Carmelo; ... (2016)
  Scalable FPGA Graph model to detect routing faults. In: IEEE International Symposium on On-Line Testing and Robust System Design
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Finocchiaro, SEBASTIANO FABRIZIO; Loiacono, ... (2016)
  Secure Embedded Architectures: Taint Properties Verification. In: International Conference on Development and Application Systems. ISBN: 978-1-5090-1993-9
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Loiacono, Carmelo; Pipitone, Giovanni; ... (2015)
  Formal Verification of Embedded Systems for Remote Attestation. In: WSEAS TRANSACTIONS ON COMPUTERS, vol. 14, pp. 760-769. ISSN 1109-2750
  Contributo su Rivista