DI STEFANO, LUCA
DI STEFANO, LUCA
Automated replication of tuple spaces via static analysis
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline
Compositional verification of priority systems using sharp bisimulation
2024-01-01 Di Stefano, Luca; Lang, Frédéric
Compositional Verification of Stigmergic Collective Systems
2023-01-01 Di Stefano, Luca; Lang, Frédéric
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification
2025-01-01 Di Stefano, Luca; Inverso, Omar
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants
2023-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Language support for verifying reconfigurable interacting systems
2023-01-01 Alrahman, Yehia Abd; Azzopardi, Shaun; Di Stefano, Luca; Piterman, Nir
Modelling and Verification of Multi-Agent Systems via Sequential Emulation
2020-10-13 DI STEFANO, Luca
Modelling flocks of birds and colonies of ants from the bottom up
2023-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Modelling Flocks of Birds from the Bottom Up
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Process Algebras and Flocks of Birds
2022-01-01 De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella
Verification of Distributed Systems via Sequential Emulation
2022-01-01 Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Automated replication of tuple spaces via static analysis | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Uwimbabazi, Aline | |
| Compositional verification of priority systems using sharp bisimulation | 1-gen-2024 | Di Stefano, Luca; Lang, Frédéric | |
| Compositional Verification of Stigmergic Collective Systems | 1-gen-2023 | Di Stefano, Luca; Lang, Frédéric | |
| Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | 1-gen-2025 | Di Stefano, Luca; Inverso, Omar | |
| Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants | 1-gen-2023 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Language support for verifying reconfigurable interacting systems | 1-gen-2023 | Alrahman, Yehia Abd; Azzopardi, Shaun; Di Stefano, Luca; Piterman, Nir | |
| Modelling and Verification of Multi-Agent Systems via Sequential Emulation | 13-ott-2020 | DI STEFANO, Luca | |
| Modelling flocks of birds and colonies of ants from the bottom up | 1-gen-2023 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Modelling Flocks of Birds from the Bottom Up | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Process Algebras and Flocks of Birds | 1-gen-2022 | De Nicola, Rocco; Di Stefano, Luca; Inverso, Omar; Valiani, Serenella | |
| Verification of Distributed Systems via Sequential Emulation | 1-gen-2022 | Di Stefano, Luca; De Nicola, Rocco; Inverso, Omar |