Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps. - Luca Di Stefano 001; Eliseo Clementini; Enrico Stagnini (COSIT (Workshops/Posters), 2017)

Towards formal models and languages for verifiable Multi-Robot Systems. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (CoRR, 2018)

Toward Formal Models and Languages for Verifiable Multi-Robot Systems. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (Frontiers Robotics AI, 2018)

Combining SLiVER with CADP to Analyze Multi-agent Systems. - Luca Di Stefano 001; Frédéric Lang; Wendelin Serwe (COORDINATION, 2020)

Multi-agent systems with virtual stigmergy. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso (Sci. Comput. Program., 2020)

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. - Luca Di Stefano 001; Frédéric Lang (ISoLA, 2021)

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation. - Luca Di Stefano 001; Rocco De Nicola; Omar Inverso (Zenodo, 2021)

Process Algebras and Flocks of Birds. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (A Journey from Process Algebra via Timed Automata to Model Learning, 2022)

Modelling Flocks of Birds from the Bottom Up. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (ISoLA (3), 2022)

Automated replication of tuple spaces via static analysis. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Aline Uwimbabazi (Sci. Comput. Program., 2022)

Verification of Distributed Systems via Sequential Emulation. - Luca Di Stefano 001; Rocco De Nicola; Omar Inverso (ACM Trans. Softw. Eng. Methodol., 2022)

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (CMSB, 2023)

Compositional Verification of Stigmergic Collective Systems. - Luca Di Stefano 001; Frédéric Lang (VMCAI, 2023)

LTL Synthesis on Infinite-State Arenas defined by Programs. - Shaun Azzopardi; Nir Piterman; Gerardo Schneider; Luca Di Stefano 001 (CoRR, 2023)

Language support for verifying reconfigurable interacting systems. - Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman (Int. J. Softw. Tools Technol. Transf., 2023)

Modelling flocks of birds and colonies of ants from the bottom up. - Rocco De Nicola; Luca Di Stefano 001; Omar Inverso; Serenella Valiani (Int. J. Softw. Tools Technol. Transf., 2023)

Attributed Point-to-Point Communication in R-CHECK. - Yehia Abd Alrahman; Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman (ISoLA (2), 2024)

Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. - Luca Di Stefano 001; Omar Inverso (ISoLA (1), 2024)

Compositional verification of priority systems using sharp bisimulation. - Luca Di Stefano 001; Frédéric Lang (Formal Methods Syst. Des., 2024)

Full LTL Synthesis over Infinite-State Arenas. - Shaun Azzopardi; Luca Di Stefano 001; Nir Piterman; Gerardo Schneider (CAV (4), 2025)

Execution and monitoring of HOA automata with HOAX. - Luca Di Stefano 001 (CoRR, 2025)