• Collegio di Ingegneria Elettronica, delle Telecomunicazioni e Fisica. Componente invitato
• Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente

Corso di laurea di 1° livello

• 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. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2016/17, INGEGNERIA INFORMATICA. Collaboratore del corso

• Palena, Marco; Pasini, Paolo; Cabodi, Gianpiero; Camurati, Paolo Enrico; Mishchenko, Alan (2017)
  SAT solver management strategies in IC3: an experimental approach. In: FORMAL METHODS IN SYSTEM DESIGN, vol. 50, pp. 39-74. ISSN 0925-9856
  Contributo su Rivista
• Pasini, Paolo (2017)
  Improving bit-level model checking algorithms for scalability through circuit-based reasoning. relatore: Cabodi G., 28. XXVIII Ciclo, P.: 165
  Doctoral Thesis
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; Vendraminetto, ... (2017)
  Interpolation-based learning as a mean to speed-up Bounded Model Checking. In: 15th International Conference on Software Engineering and Formal Methods, Trento (Italy), September 4-8, 2017
  Contributo in Atti di Convegno (Proceeding)
• Cantoro, Riccardo; Palena, Marco; Pasini, Paolo; SONZA REORDA, Matteo (2016)
  Test Time Minimization in Reconfigurable Scan Networks. In: 2016 IEEE 25th Asian Test Symposium (ATS), Hiroshima (JP), November 21-24, 2016
  Contributo in Atti di Convegno (Proceeding)
• Boria, Nicolas; Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo; ... (2016)
  A 7/2-approximation algorithm for the Maximum Duo-Preservation String Mapping Problem. In: 27th Annual Symposium on Combinatorial Pattern Matching, Tel Aviv, Israel, June 27 - 29, 2016
  Contributo in Atti di Convegno (Proceeding)
• 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)
• 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
• 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
• 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; 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
• 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)
• Cabodi, Gianpiero; Palena, Marco; Pasini, Paolo (2014)
  Interpolation with Guided Refinement: revisiting incrementality in SAT-based Unbounded Model Checking. In: Formal Methods in Computer-Aided Design (FMCAD 2014), Lausanne, Switzerland, 21-24 Oct. 2014, pp. 43-50
  Contributo in Atti di Convegno (Proceeding)
• 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; 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
• 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)
• Pasini, Paolo; Patti, Denis; Levra, Mauro; Pessiva, Giovanni; Ricossa, Stefano (2013)
  QEbu: an advanced graphical editor for the EBU Core metadata set. In: EBU TECHNICAL REVIEW, vol. Q2 2013, pp. 1-13. ISSN 1609-1469
  Contributo su Rivista