Luca Di Stefano

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 17

Top Topics

Foraging Theory

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

Luca Di Stefano, Frédéric Lang
Compositional verification of priority systems using sharp bisimulation. Formal Methods Syst. Des. 62 (1) (2024)
Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
LTL Synthesis on Infinite-State Arenas defined by Programs. CoRR (2023)
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
Language support for verifying reconfigurable interacting systems. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Luca Di Stefano, Frédéric Lang
Compositional Verification of Stigmergic Collective Systems. VMCAI (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Luca Di Stefano, Rocco De Nicola, Omar Inverso
Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31 (3) (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi
Automated replication of tuple spaces via static analysis. Sci. Comput. Program. 223 (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) (2022)
Luca Di Stefano, Frédéric Lang
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. ISoLA (2021)
Luca Di Stefano, Frédéric Lang, Wendelin Serwe
Combining SLiVER with CADP to Analyze Multi-agent Systems. COORDINATION (2020)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187 (2020)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI 5 (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Multi-agent Systems with Virtual Stigmergy. STAF Workshops (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR (2018)
Luca Di Stefano, Eliseo Clementini, Enrico Stagnini
Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps. COSIT (Workshops/Posters) (2017)