Master of Science

• Programmazione di sistema. A.A. 2013/14, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2014/15, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2015/16, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Programmazione di sistema. A.A. 2012/13, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso

Bachelor of Science

• Algoritmi e programmazione. A.A. 2013/14, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2014/15, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2015/16, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2012/13, INGEGNERIA INFORMATICA. Collaboratore del corso

• Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, ... (2016)
  Reducing Interpolant Circuit Size by Ad Hoc Logic Synthesis and SAT-Based Weakening. In: Formal Methods in Computer-Aided Design, Mountain View, California, USA, October 3 - 6, 2016, pp. 25-32. ISBN: 978-0-9835678-6-8
  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; 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
• Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, ... (2016)
  Puntatori e strutture dati dinamiche. Allocazione della memoria e modularità in linguaggio C. S.L., Maggioli Editore, P. 241. ISBN: 978-8891619013
  Libro
• Camurati, Paolo Enrico; Pasini, Paolo; Cabodi, Gianpiero; Patti, Denis; Vendraminetto, ... (2016)
  Dal problema al programma. Introduzione al problem-solving in linguaggio C. S.L., Maggioli Editore, P. 246. ISBN: 978-8891616661
  Libro
• Vendraminetto, Danilo (2016)
  Advanced Techniques for Bit-Level Model Checking. relatore: Cabodi G., 27. XXVII Ciclo, P.: 187
  Doctoral Thesis
• 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)
• 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
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, ... (2015)
  Ricorsione e problem-solving: strategie algoritmiche in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 205. ISBN: 978-88-916-1292-2
  Libro
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Pasini, Paolo; Patti, Denis; Vendraminetto, ... (2014)
  Dal problema al programma: introduzione al problem-solving in linguaggio C. Santarcangelo di Romagna, Maggioli Editore, P. 229. ISBN: 978-88-916-0782-9
  Libro
• Cabodi, Gianpiero; Pasini, Paolo; Quer, Stefano; Vendraminetto, Danilo (2014)
  Tightening BDD-based Approximate Reachability with SAT-based Clause Generalization. In: Design Automation and Test in Europe (DATE), Dresden, Germany, March 2014, pp. 1-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)
• 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)