Follow
Luca Di Stefano
Luca Di Stefano
TU Wien
Verified email at chalmers.se - Homepage
Title
Cited by
Cited by
Year
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Science of Computer Programming 187, 102345, 2020
232020
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
182018
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
92022
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
82020
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
72022
Multi-agent systems with virtual stigmergy
R De Nicola, L Di Stefano, O Inverso
Software Technologies: Applications and Foundations: STAF 2018 Collocated …, 2018
62018
Verifying temporal properties of stigmergic collective systems using CADP
L Di Stefano, F Lang
Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021
52021
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
32023
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
32018
Compositional verification of stigmergic collective systems
L Di Stefano, F Lang
International Conference on Verification, Model Checking, and Abstract …, 2023
22023
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
22022
Compositional verification of priority systems using sharp bisimulation
L Di Stefano, F Lang
Formal Methods in System Design 62 (1), 1-40, 2024
12024
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
12023
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
12023
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
12022
Modelling and verification of multi-agent systems via sequential emulation
L DI STEFANO
Gran Sasso Science Institute, 2020
12020
LTL Synthesis on Infinite-State Arenas defined by Programs
S Azzopardi, N Piterman, G Schneider, L Di Stefano
arXiv preprint arXiv:2307.09776, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–17