Scholarlink

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

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Gabriele Costa,
  • Silvia De Francisci,
  • Letterio Galletta,
  • Cosimo Perini Brogi,
  • Marinella Petrocchi,
  • Fabio Pinelli,
  • Roberto Pizziol,
  • Manuel Pratelli,
  • Margherita Renieri,
  • Simone Soderi,
  • Mirco Tribastone,
  • Serenella Valiani

摘要

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.