Serenella Valiani

According to our database, Serenella Valiani authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Tackling the Gender Gap in Cybersecurity Education.

Gabriele Costa, Silvia de Francisci, Margherita Renieri, Serenella Valiani

Proceedings of the 56th ACM Technical Symposium on Computer Science Education V. 1, 2025

2024

Systems Security Modeling and Analysis at IMT Lucca.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

2023

Modelling flocks of birds and colonies of ants from the bottom up.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Int. J. Softw. Tools Technol. Transf., December, 2023

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Proceedings of the Computational Methods in Systems Biology, 2023

Why Mary Can Hack: Effectively Introducing High School Girls to Cybersecurity.

Gabriele Costa, Silvia de Francisci, Serenella Valiani, Paolo Prinetto

Proceedings of the 18th International Conference on Availability, Reliability and Security, 2023

2022

Modelling Flocks of Birds from the Bottom Up.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Process Algebras and Flocks of Birds.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022