Paolo Enrico Camurati

ERC sectors

SDG

• INGEGNERIA INFORMATICA E DEI SISTEMI, 2004/2005 (20. ciclo)
  Politecnico di TORINO
• INGEGNERIA INFORMATICA E DEI SISTEMI, 2003/2004 (19. ciclo)
  Politecnico di TORINO

• Collegio di Ingegneria Informatica, del Cinema e Meccatronica. Componente

Master of Science

• Specification and simulation of digital systems. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Specification and simulation of digital systems. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Specification and simulation of digital systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Specification and simulation of digital systems. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Specification and simulation of digital systems. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
• Specification and simulation of digital systems. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso

Bachelor of Science

• Tecniche di programmazione. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tecniche di programmazione. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2024/25, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tecniche di programmazione. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tecniche di programmazione. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Programming techniques. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
• Tecniche di programmazione. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tecniche di programmazione. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
• Programming techniques. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Tecniche di programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Tecniche di programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Programming techniques. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Titolare del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
• Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Titolare del corso

• FM - Formal Methods Group (DAUIN)

• Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P. (2024)
  Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening. In: IEEE ACCESS, vol. 12, pp. 119341-119349. ISSN 2169-3536
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo Enrico; Palena, Marco; Pasini, Paolo (2024)
  Hardware Model Checking Algorithms and Techniques. In: ALGORITHMS, vol. 17. ISSN 1999-4893
  Contributo su Rivista
• Cabodi, Gianpiero; Camurati, Paolo E.; Marques-Silva, Joao; Palena, Marco; Pasini, Paolo (2024)
  Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 43, pp. 3083-3087. ISSN 0278-0070
  Contributo su Rivista
• Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P. (2022)
  Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking. In: FORMAL METHODS IN SYSTEM DESIGN, pp. 1-30. ISSN 0925-9856
  Contributo su Rivista
• Quer, Stefano; Lavagno, Luciano; Cabodi, Gianpiero; Sentovich, Ellen; Camurati, Paolo ... (1996)
  Incremental re-encoding for symbolic traversal of product machines. In: Proceedings of the 1996 European Design Automation Conference with EURO-VHDL'96 and Exhibition, Geneva (Switz.), 16-20 September 1996, pp. 158-163
  Contributo in Atti di Convegno (Proceeding)