| Multi-agent systems with virtual stigmergy R De Nicola, L Di Stefano, O Inverso Science of Computer Programming 187, 102345, 2020 | 28 | 2020 |
| Toward formal models and languages for verifiable multi-robot systems R De Nicola, L Di Stefano, O Inverso Frontiers in Robotics and AI 5, 94, 2018 | 23 | 2018 |
| Verification of distributed systems via sequential emulation L Di Stefano, R De Nicola, O Inverso ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (3), 1-41, 2022 | 14 | 2022 |
| Modelling flocks of birds from the bottom up R De Nicola, L Di Stefano, O Inverso, S Valiani International Symposium on Leveraging Applications of Formal Methods, 82-96, 2022 | 11 | 2022 |
| Combining SLiVER with CADP to analyze multi-agent systems L Di Stefano, F Lang, W Serwe Coordination Models and Languages: 22nd IFIP WG 6.1 International Conference …, 2020 | 10 | 2020 |
| Modelling flocks of birds and colonies of ants from the bottom up R De Nicola, L Di Stefano, O Inverso, S Valiani International Journal on Software Tools for Technology Transfer 25 (5), 675-691, 2023 | 9 | 2023 |
| Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants R De Nicola, L Di Stefano, O Inverso, S Valiani International Conference on Computational Methods in Systems Biology, 44-61, 2023 | 7 | 2023 |
| Multi-agent systems with virtual stigmergy R De Nicola, L Di Stefano, O Inverso Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018 | 7 | 2018 |
| Verifying temporal properties of stigmergic collective systems using CADP L Di Stefano, F Lang Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021 | 6 | 2021 |
| Language support for verifying reconfigurable interacting systems YA Alrahman, S Azzopardi, L Di Stefano, N Piterman International Journal on Software Tools for Technology Transfer 25 (5), 765-784, 2023 | 5 | 2023 |
| Compositional verification of stigmergic collective systems L Di Stefano, F Lang International Conference on Verification, Model Checking, and Abstract …, 2023 | 3 | 2023 |
| Automated replication of tuple spaces via static analysis R De Nicola, L Di Stefano, O Inverso, A Uwimbabazi Science of Computer Programming 223, 102863, 2022 | 3 | 2022 |
| Reactive obstacle avoidance for multicopter UAVs via evaluation of depth maps L Di Stefano, E Clementini, E Stagnini Proceedings of Workshops and Posters at the 13th International Conference on …, 2018 | 3 | 2018 |
| Modelling and verification of multi-agent systems via sequential emulation L DI STEFANO Gran Sasso Science Institute, 2020 | 2 | 2020 |
| Emerging synchrony in applauding audiences: formal analysis and specification L Di Stefano, O Inverso International Symposium on Leveraging Applications of Formal Methods, 253-270, 2024 | 1 | 2024 |
| Compositional verification of priority systems using sharp bisimulation L Di Stefano, F Lang Formal Methods in System Design 62 (1), 1-40, 2024 | 1 | 2024 |
| LTL Synthesis on Infinite-State Arenas defined by Programs S Azzopardi, N Piterman, G Schneider, L Di Stefano arXiv preprint arXiv:2307.09776, 2023 | 1 | 2023 |
| Process Algebras and Flocks of Birds R De Nicola, L Di Stefano, O Inverso, S Valiani A Journey from Process Algebra via Timed Automata to Model Learning: Essays …, 2022 | 1 | 2022 |
| Multi-Agent (Smart) Systems with Virtual Stigmergies R De Nicola, L Di Stefano, O Inverso | | |
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, Italygssi.it의 이메일 확인됨