Docente esterno e/o collaboratore didattico
Dipartimento di Automatica e Informatica (DAUIN)
Primo Ricercatore CNR-IEIIT (Altro ente)
Consiglio Nazionale delle Ricerche - Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni (CNRIEIIT)
Didattica
Collegi dei Corsi di Studio
- Collegio di Ingegneria Gestionale e della Produzione. Componente invitato
Insegnamenti
Dottorato di ricerca
- Formal verification of concurrent and distributed software and systems. A.A. 2020/21, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
- Formal verification of concurrent and distributed software and systems. A.A. 2019/20, INGEGNERIA INFORMATICA E DEI SISTEMI. Collaboratore del corso
Corso di laurea di 1° livello
- Basi di dati. A.A. 2024/25, INGEGNERIA GESTIONALE. Titolare del corso
Pubblicazioni
Pubblicazioni più recenti Vedi tutte le pubblicazioni su Porto@Iris
- Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano; ... (2017)
Leveraging SDN To Improve Security in Industrial Networks. In: 13th IEEE International Workshop on Factory Communication Systems, Trondheim (NO), May 31 - June 2. ISBN: 978-150905788-7
Contributo in Atti di Convegno (Proceeding) - Cheminod, M.; Durante, L.; Seno, L.; Valenzano, A. (2014)
On the description of access control policies in networked industrial systems. In: IEEE 10th International Workshop on Factory Communication Systems (WFCS), Toulouse (FRA), May 5-7, 2014, pp. 1-10. ISBN: 978-1-4799-3235-1
Contributo in Atti di Convegno (Proceeding) - Cheminod, Manuel; Durante, Luca; Valenzano, Adriano (2013)
Review of Security Issues in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 9, pp. 277-293. ISSN 1551-3203
Contributo su Rivista - Durante, Luca; Valenzano, Adriano (1999)
On the performance of the IEC 61158 Fieldbus. In: COMPUTER STANDARDS & INTERFACES, vol. 21, pp. 241-250. ISSN 0920-5489
Contributo su Rivista - Cena, Gianluca; Durante, Luca; Valenzano, Adriano (1995)
Standard field bus networks for industrial applications. In: COMPUTER STANDARDS & INTERFACES, vol. 17, pp. 155-167. ISSN 0920-5489
Contributo su Rivista