Bachelor of Science

• Operating systems. A.A. 2013/14, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Operating systems. A.A. 2014/15, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Operating systems. A.A. 2015/16, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Sistemi operativi. A.A. 2013/14, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2014/15, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Sistemi operativi. A.A. 2012/13, INGEGNERIA INFORMATICA. Collaboratore del corso

• Bottino, ANDREA GIUSEPPE; Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano (2016)
  Street Viewer: An Autonomous Vision Based Traffic Tracking System. In: SENSORS, vol. 16, pp. 1-21. ISSN 1424-8220
  Contributo su Rivista
• Cabodi, Gianpiero; Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Quer, Stefano; ... (2016)
  Hardware Model Checking Competition 2014: An Analysis and Comparison of Model Checkers and Benchmarks. In: JOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION, vol. 9, pp. 135-172. ISSN 1574-0617
  Contributo su Rivista
• 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; 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)
• Loiacono, Carmelo (2016)
  Algorithm Optimization and Applications for Embedded Systems. relatore: Cabodi G., 28. XXVIII Ciclo, P.: 149
  Doctoral Thesis
• Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo (2015)
  Optimization techniques for craig interpolant compaction in unbounded model checking. In: FORMAL METHODS IN SYSTEM DESIGN, vol. 46, pp. 135-162. ISSN 1572-8102
  Contributo su Rivista
• 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
• Garbo, Alessandro; Loiacono, Carmelo; Quer, Stefano; Balestri, Massimo; Francini, ... (2015)
  CDVS feature selection on embedded systems. In: IEEE International Conference on Multimedia and Expo, Turin, 29th June - 3th July 2015, pp. 1-6. ISBN: 978-1-4799-7079-7
  Contributo in Atti di Convegno (Proceeding)
• Massimo, Balestri; Cabodi, Gianpiero; Gianluca, Francini; Garbo, Alessandro; Loiacono, ... (2015)
  Accurate and Efficient Visual Search on Embedded Systems. In: International conference on advanced in computing, communication and information technology, Birmingham, 26-27 Maggio 2015. ISBN: 9781632480613
  Contributo in Atti di Convegno (Proceeding)
• Camurati, Paolo Enrico; Loiacono, Carmelo; Pasini, Paolo; Patti, Denis; Quer, Stefano (2014)
  To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties. In: International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS 2014), Lausanne, Switzerland, October 20, 2014
  Contributo in Atti di Convegno (Proceeding)
• Loiacono, Carmelo; Palena, Marco; Pasini, Paolo; Patti, Denis; Quer, Stefano; ... (2013)
  Fast Cone-Of-Influence Computation and Estimation in Problems with Multiple Properties. In: Published in: Design, Automation & Test in Europe Conference & Exhibition (DATE), Grenoble, France, March 2013, pp. 803-806. ISBN: 978-1-4673-5071-6
  Contributo in Atti di Convegno (Proceeding)
• Cabodi, Gianpiero; Loiacono, Carmelo; Vendraminetto, Danilo (2013)
  Optimization techniques for Craig Interpolant compaction in Unbounded Model Checking. In: Design Automation and Test in Europe (DATE), Grenoble, France, March 2013, pp. 1417-1422. ISBN: 9781467350716
  Contributo in Atti di Convegno (Proceeding)