The aim of the REoCAS Colloquium in honor of the 70th birthday of Rocco De Nicola was to acknowledge his scientific impact on the field of collective adaptive systems and, more in general, his much broader legacy in concurrency theory, distributed systems, and formal methods, exploring Rocco’s more recent contributions to cybersecurity. Numerous colleagues have contributed to this task. With this paper, we wish to provide an overview of Rocco’s efforts in shaping computer science research within IMT School for Advanced Studies Lucca, which Rocco has fundamentally shaped since his appointment until his serving as Rector for 2021–2024.
Systems Security Modeling and Analysis at IMT Lucca
Gabriele Costa;Silvia De Francisci;Letterio Galletta;Cosimo Perini Brogi;Fabio Pinelli;Roberto Pizziol;Manuel Pratelli;Margherita Renieri;Simone Soderi;Mirco Tribastone
;Serenella Valiani
2024-01-01
Abstract
The aim of the REoCAS Colloquium in honor of the 70th birthday of Rocco De Nicola was to acknowledge his scientific impact on the field of collective adaptive systems and, more in general, his much broader legacy in concurrency theory, distributed systems, and formal methods, exploring Rocco’s more recent contributions to cybersecurity. Numerous colleagues have contributed to this task. With this paper, we wish to provide an overview of Rocco’s efforts in shaping computer science research within IMT School for Advanced Studies Lucca, which Rocco has fundamentally shaped since his appointment until his serving as Rector for 2021–2024.File | Dimensione | Formato | |
---|---|---|---|
978-3-031-73709-1_2.pdf
non disponibili
Tipologia:
Versione Editoriale (PDF)
Licenza:
Copyright dell'editore
Dimensione
245.77 kB
Formato
Adobe PDF
|
245.77 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.