
Docente esterno e/o collaboratore didattico
Dipartimento di Automatica e Informatica (DAUIN)
Didattica
Insegnamenti
Corso di laurea magistrale
- Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Corso di laurea di 1° livello
- Algorithms and Programming. A.A. 2017/18, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Algorithms and Programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Algoritmi e strutture dati. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e strutture dati. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
- Operating systems. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Operating systems. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Operating systems. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Operating systems. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Sistemi operativi. A.A. 2017/18, INGEGNERIA INFORMATICA. Collaboratore del corso
- Sistemi operativi. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
- Sistemi operativi. A.A. 2019/20, INGEGNERIA INFORMATICA. Collaboratore del corso
- Sistemi operativi. A.A. 2020/21, INGEGNERIA INFORMATICA. Collaboratore del corso
- Sistemi operativi. A.A. 2021/22, INGEGNERIA INFORMATICA. Collaboratore del corso
- Sistemi operativi. A.A. 2022/23, INGEGNERIA INFORMATICA. Collaboratore del corso
Ricerca
Gruppi di ricerca
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- 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) - Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D. (2019)
Reducing interpolant circuit size through SAT-based weakening. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS. ISSN 0278-0070
Contributo su Rivista - Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P.; Vendraminetto, D. (2019)
Logic Synthesis for Interpolant Circuit Compaction. In: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, vol. 38, pp. 380-384. ISSN 0278-0070
Contributo su Rivista -
Cantoro, Riccardo; Ghani Zadegan, Farrokh; Palena, Marco; Pasini, Paolo; Larsson, Erik; ... (2018)
Test of Reconfigurable Modules in Scan Networks. In: IEEE TRANSACTIONS ON COMPUTERS, pp. 1-1. ISSN 0018-9340
Contributo su Rivista