Doctoral Symposium Program


Monday, October 9th

(10:30 - 12:00) Session Chair: Andrea Ceccarelli, University of Florence

Building Resilient ML Applications using Ensembles against Faulty Training Data
Abraham Chan

Early Detection of Unknown Attacks with Algorithms for Structured Data
Tommaso Puccetti

Revolutionizing Log Parsing for Modern Software Systems
Stefan Petrescu

Security Assessment and Hardening of Fog Computing Systems
Carmine Cesarano

(12:00 - 13:30) Lunch Break

(13:30 - 15:00) Session Chair: Micskei Zoltán, Budapest University of Technology and Economics

Toward an efficient End-to-End test suite execution
Cristian Augusto

Towards human-centric software complexity metrics: a neuroscience-based approach
Gao Hao

Enhancing White-Box Search-Based Testing of RESTful APIs
Amid Golmohammadi

(15:00 - 15:30) Coffee Break

(15:30 - 16:00) Session Chair: Katinka Wolter, University of Berlin

Reviewing and Proposing Approaches for Self-adaptive Testing in the Field
Samira Silva

(16:00 - 17:00) Panel: How to make a success out of my PhD Panel: How to make a success out of my PhD

Panelist: Phil Koopman, Carnegie Mellon University, USA
Short bio: Prof. Philip Koopman is an internationally recognized expert on Autonomous Vehicle (AV) safety whose work in that area spans over 25 years. He is also actively involved with AV policy and standards as well as more general embedded system design and software quality. His pioneering research work includes software robustness testing and run time monitoring of autonomous systems to identify how they break and how to fix them. He has extensive experience in software safety and software quality across numerous transportation, industrial, and defense application domains including conventional automotive software and hardware systems. He originated the UL 4600 standard for autonomous system safety issued in 2020. He is a faculty member of the Carnegie Mellon University ECE department where he teaches software skills for mission-critical systems. In 2018 he was awarded the highly selective IEEE-SSIT Carl Barus Award for outstanding service in the public interest for his work in promoting automotive computer-based system safety. In 2022 he was named to the National Safety Council's Mobility Safety Advisory Group. He is the author of the books: Better Embedded System Software (2010), How Safe is Safe Enough: measuring and predicting autonomous vehicle safety (2022), and The UL 4600 Guidebook (2022).

Panelist: Massimiliano Masi, Head of Cybersecurity Architecture & Engineering, Autostrade Per L'Italia SpA
Short bio: Massimiliano Masi is Head of Cybersecurity Engineering in Autostrade Per L'Italia SpA. He received his M.Sc. in Computer Science, and his Ph.D. from the University of Florence in the field of Formal Methods for Cybersecurity. He is working in Cybersecurity for Critical Infrastructures since 2007. Dr. Masi participated in large EU research projects involving 30+ organizations (public & private). He is involved in various security expert groups and in standardization activities related to cybersecurity

Panelist: Simone Nardi, High Tech Innovation Specialist, Mermec SpA
Short bio: Dr. Simone Nardi graduated in 2007 in Mathematics with honors from the University of Pisa. He received a PhD in Applied Mathematics, collaborating with the "E.Piaggio" Research Center and the Department of Information Engineering at the same university. In aerospace industrial since 2008, he has extensive experience in developing CAD and GIS applications. He designed distributed control algorithms for the management of swarm of heterogeneous autonomous vehicles. He worked on systems of automatic detection of anomalies using artificial Intelligence techniques. He managed research programs on drone swarm control. His current interests are mainly focused on robotics with the application of distributed control algorithms and coordination of drone swarms through game theory and deep learning techniques. Long experience in writing technical proposals and bids for publicly financed projects, both national and European. He also served as a member of the NATO Industrial Advisory Group (NIAG SG-205) on Sense and Avoid feasibility and certification for UAS flight in non-segregated airspaces. He is the author and co-author of several scientific articles in international journals and proceedings.