Serenella Valiani

According to our database, Serenella Valiani authored at least 5 papers between 2022 and 2023.

Collaborative distances:

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

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