Luca Durante

Didattica

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

Programming techniques. A.A. 2025/26, INGEGNERIA INFORMATICA (COMPUTER ENGINEERING). Titolare del corso
Basi di dati. A.A. 2025/26, INGEGNERIA GESTIONALE. Titolare del corso
Basi di dati. A.A. 2024/25, INGEGNERIA GESTIONALE. Titolare del corso

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