E-LIB Suche - Ergebnisse für: Valiani, Serenella

1

Modelling flocks of birds and colonies of ants from the bot..:

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar.
International Journal on Software Tools for Technology Transfer. 25 (2023) 5-6 - p. 675-691 , 2023

Link: https://doi.org/10.1007/..

2

Intuitive Modelling and Formal Analysis of Collective Behav..:

, In: Computational Methods in Systems Biology; Lecture Notes in Computer Science,

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar. - p. 44-61 , 2023

Link: https://doi.org/10.1007/..

3

Why Mary Can Hack: Effectively Introducing High School Girl..:

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

Costa, Gabriele ; De Francisci, Silvia ; Valiani, Serenella. - p. 1-8 , 2023

Link: https://dl.acm.org/doi/1..

4

Process Algebras and Flocks of Birds:

, In: Lecture Notes in Computer Science; A Journey from Process Algebra via Timed Automata to Model Learning,

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar. - p. 512-523 , 2022

Link: https://doi.org/10.1007/..

5

Modelling Flocks of Birds from the Bottom Up:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,

De Nicola, Rocco ; Di Stefano, Luca ; Inverso, Omar. - p. 82-96 , 2022

Link: https://doi.org/10.1007/..