Prof. Associato Confermato
Dipartimento di Automatica e Informatica (DAUIN)
Profilo
Interessi di ricerca
Settore scientifico discliplinare
(Area 0009 - Ingegneria industriale e dell'informazione)
Congressi
- DIFTS (International Workshop on Design and Implementation of Formal Tools and Systems), Program chair (presidente/responsabile del comitato scientifico)
- FMCAD (Formal Methods in Computer-Aided Design), Program chair (presidente/responsabile del comitato scientifico)
Didattica
Collegi di Dottorato
- INGEGNERIA INFORMATICA E DEI SISTEMI, 2006/2007 (23. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2005/2006 (22. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2004/2005 (21. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2003/2004 (20. ciclo)
Politecnico di TORINO - INGEGNERIA INFORMATICA E DEI SISTEMI, 2002/2003 (19. ciclo)
Politecnico di TORINO
Collegi dei Corsi di Studio
Insegnamenti
Dottorato di ricerca
- Advanced data structures in Python. A.A. 2023/24, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
- Strutture dati in Python. A.A. 2022/23, INGEGNERIA INFORMATICA E DEI SISTEMI. Titolare del corso
Corso di laurea magistrale
- Programmazione di sistema. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- System and device programming. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2023/24, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2022/23, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2021/22, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Programmazione di sistema. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2019/20, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
- Programmazione di sistema. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- System and device programming. A.A. 2018/19, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Collaboratore del corso
Corso di laurea di 1° livello
- Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Tirocinio. A.A. 2024/25, INGEGNERIA INFORMATICA. Titolare del corso
- Tecniche di programmazione. 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
- Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2023/24, INGEGNERIA INFORMATICA. Titolare del corso
- Tecniche di programmazione. 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
- Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2022/23, INGEGNERIA INFORMATICA. Titolare del corso
- Tecniche di programmazione. 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
- Tirocinio. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2021/22, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. 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. Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
- Tirocinio. A.A. 2020/21, INGEGNERIA INFORMATICA. Titolare del corso
- Tecniche di 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. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2019/20, INGEGNERIA INFORMATICA. Titolare del corso
- Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Collaboratore del corso
- Algoritmi e programmazione. A.A. 2018/19, INGEGNERIA INFORMATICA. Titolare del corso
Ricerca
Gruppi di ricerca
Progetti di ricerca
Progetti finanziati da bandi competitivi
- REBECCA - Reconfigurable Heterogeneous Highly Parallel Processing Platform for safe and secure AI, (2023-2026) - Responsabile Scientifico di Struttura
Ricerca UE - JTI - ECSEL - OSMOSIS -OPEN SOURCE MODELLING AND HARDWARE SOFTWARE CODESIGN OF EMBEDDED SYSTEMS, (2008-2010) - Responsabile Scientifico
Ricerca UE - VII PQ - CAPACITIES - Research for the benefit of SMEs
Progetti finanziati da contratti commerciali
- Progettazione, validazione e test di un sistema di tracciabilità basato su tecnologia RFid, (2024-2024) - Responsabile Scientifico
Ricerca Commerciale - Progettazione, validazione e test di un sistema di tracciabilità basato su tecnologia Rfid, (2020-2020) - Responsabile Scientifico
Ricerca Commerciale - Verifica di tecnologie per la protezione da attacchi digitali dei sistemi embedded, (2018-2018) - Responsabile Scientifico
Ricerca Commerciale - Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded per connettività veicolare, (2017-2018) - Responsabile Scientifico
Ricerca Commerciale - Metodologie per la Progettazione di HMI in ambito Automotive, mediante tecnologia HTML5, (2016-2017) - Responsabile Scientifico
Ricerca Commerciale - Metodologie Innovative di Progettazione e realizzazione di algoritmi di Path Planning mediante GPCPU, (2016-2017) - Responsabile Scientifico
Ricerca Commerciale - Metodologie Innovative di Progettazione, Validazione e Test, applicate a sistemi embedded per connettività V2X, (2016-2017) - Responsabile Scientifico
Ricerca Commerciale - Metodologie Innovative di HMI in ambito automotive, mediante tecnologia HTML5, (2016-2016) - Responsabile Scientifico
Ricerca Commerciale - Metodologie innovative di progettazione, validazionee test applicate a sistemi embedded hardware e software ...., (2014-2015) - Responsabile Scientifico
Ricerca Commerciale - ARCHITETTURE DI SERVICE DELIVERY PER SISTEMI MOBILI, (2014-2015) - Responsabile Scientifico
Ricerca Commerciale - TECNICHE DI VISIONE ARTIFICIALE, GESTIONE E MANIPOLAZIONE DI IMMAGINI, NELL''AMBITO DI APPLICAZIONI EMBEDDED, (2012-2013) - Responsabile Scientifico
Ricerca Commerciale - TECNICHE DI PROGETTAZIONE MODEL BASED VALIDAZIONE E TEST APPLICATE A SISTEMI EMBEDDED IN AMBITO AUTOMOTIVE, (2012-2012) - Responsabile Scientifico
Ricerca Commerciale - TECNICA DI SPECIFICA VALIDAZIONE E TEST PER SISTEMI EMBEDDED APPLICATI A MONITORAGGIO DEL TERRITORIO E GESTIONE DI ENERGIE RINNOVABILI, (2011-2012) - Responsabile Scientifico
Ricerca Commerciale - TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2010-2010) - Responsabile Scientifico
Ricerca Commerciale - TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2009-2009) - Responsabile Scientifico
Ricerca Commerciale - TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED, (2008-2009) - Responsabile Scientifico
Ricerca Commerciale
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Cabodi, G.; Camurati, P. E.; Palena, M.; Pasini, P. (2024)
Improving Bounded Model Checking exploiting Interpolation-based learning and strengthening. In: IEEE ACCESS, pp. 1-1. 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, Gianpiero; Murciano, Marco; Nocco, Sergio; Quer, Stefano (2006)
Stepping forward with interpolates in unbounded model checking. In: 2006 International Conference on Computer-Aided Design, ICCAD, San Jose, CA (USA), 2006, pp. 772-778. ISBN: 978-1-59593-389-8
Contributo in Atti di Convegno (Proceeding) - 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)