Paolo Pasini

Fixed-term assistant professor
Department of Electronics and Telecommunications (DET)

Algorithms

Algoritmi

Formal verification

Verifica formale

IINF-01/A - Electronics
(Area 0009 - Industrial and information engineering)

PE6_6 - Algorithms, distributed, parallel and network algorithms, algorithmic game theory

PE6_3 - Software engineering, operating systems, computer languages

PE6_4 - Theoretical computer science, formal methods, and quantum computing

PE6_10 - Web and information systems, database systems, information retrieval and digital libraries, data fusion

Strutture dati in Python. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Teaching assistant

Edge Computing Systems for AI and ML. A.A. 2024/25, MECHATRONIC ENGINEERING (INGEGNERIA MECCATRONICA). Collaboratore del corso
Modeling and optimization of embedded systems. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Edge Computing Systems for AI and ML. A.A. 2023/24, MECHATRONIC ENGINEERING (INGEGNERIA MECCATRONICA). Collaboratore del corso
Modeling and optimization of embedded systems. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Programmazione di sistema. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Specification and simulation of digital systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Specification and simulation of digital systems. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso

Progettazione elettronica digitale. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
Operating systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Sistemi operativi. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso

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
Cabodi, Gianpiero; Camurati, Paolo; Palena, Marco; Pasini, Paolo (2021)
Optimizing Binary Decision Diagrams for Interpretable Machine Learning Classification. In: Design Automation and Test in Europe (DATE), 01-05 February 2021, pp. 1122-1125. ISBN: 978-3-9819263-5-4
Contributo in Atti di Convegno (Proceeding)