Luca Di Stefano

According to our database, Luca Di Stefano authored at least 19 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Compositional verification of priority systems using sharp bisimulation.

Luca Di Stefano, Frédéric Lang

Formal Methods Syst. Des., June, 2024

Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification.

Luca Di Stefano, Omar Inverso

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024

Attributed Point-to-Point Communication in R-CHECK.

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, 2024

2023

Modelling flocks of birds and colonies of ants from the bottom up.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Int. J. Softw. Tools Technol. Transf., December, 2023

Language support for verifying reconfigurable interacting systems.

Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman

Int. J. Softw. Tools Technol. Transf., December, 2023

LTL Synthesis on Infinite-State Arenas defined by Programs.

Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano

CoRR, 2023

Compositional Verification of Stigmergic Collective Systems.

Luca Di Stefano, Frédéric Lang

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2023

Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Proceedings of the Computational Methods in Systems Biology, 2023

2022

Verification of Distributed Systems via Sequential Emulation.

Luca Di Stefano, Rocco De Nicola, Omar Inverso

ACM Trans. Softw. Eng. Methodol., 2022

Automated replication of tuple spaces via static analysis.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi

Sci. Comput. Program., 2022

Modelling Flocks of Birds from the Bottom Up.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

Process Algebras and Flocks of Birds.

Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

Replication Package for the paper: Verification of Distributed Systems via Sequential Emulation.

Luca Di Stefano, Rocco De Nicola, Omar Inverso

Dataset, September, 2021

Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.

Luca Di Stefano, Frédéric Lang

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

Multi-agent systems with virtual stigmergy.

Rocco De Nicola, Luca Di Stefano, Omar Inverso

Sci. Comput. Program., 2020

Combining SLiVER with CADP to Analyze Multi-agent Systems.

Luca Di Stefano, Frédéric Lang, Wendelin Serwe

Proceedings of the Coordination Models and Languages, 2020

2018

Toward Formal Models and Languages for Verifiable Multi-Robot Systems.

Rocco De Nicola, Luca Di Stefano, Omar Inverso

Frontiers Robotics AI, 2018

Towards formal models and languages for verifiable Multi-Robot Systems.

Rocco De Nicola, Luca Di Stefano, Omar Inverso

CoRR, 2018

2017

Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps.

Luca Di Stefano, Eliseo Clementini, Enrico Stagnini

Proceedings of Workshops and Posters at the 13th International Conference on Spatial Information Theory, 2017