Luca Di Stefano

24 papers B 2C 2Journal 11Unranked 8
YearRankTypeTitle / Venue / Authors
2025 B conf
Execution and Monitoring of HOA Automata with HOAX.
RV
Luca Di Stefano
2025 J jnl
Execution and monitoring of HOA automata with HOAX.
CoRR
Luca Di Stefano
2025 — conf
Full LTL Synthesis over Infinite-State Arenas.
CAV (4)
Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider
2025 J jnl
Symbolic ω-automata with obligations.
CoRR
Luca Di Stefano
2024 — conf
Attributed Point-to-Point Communication in R-CHECK.
ISoLA (2)
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
2024 J jnl
Compositional verification of priority systems using sharp bisimulation.
Formal Methods Syst. Des.
Luca Di Stefano, Frédéric Lang
2024 — conf
Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification.
ISoLA (1)
Luca Di Stefano, Omar Inverso
2024 — ed.
Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, FTfJP 2024, Vienna, Austria, 20 September 2024
FTfJP@ECOOP
Luca Di Stefano
2023 B conf
Compositional Verification of Stigmergic Collective Systems.
VMCAI
Luca Di Stefano, Frédéric Lang
2023 — conf
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants.
CMSB
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2023 J jnl
LTL Synthesis on Infinite-State Arenas defined by Programs.
CoRR
Shaun Azzopardi, Nir Piterman, Gerardo Schneider, Luca Di Stefano
2023 J jnl
Language support for verifying reconfigurable interacting systems.
Int. J. Softw. Tools Technol. Transf.
Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman
2023 J jnl
Modelling flocks of birds and colonies of ants from the bottom up.
Int. J. Softw. Tools Technol. Transf.
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022 J jnl
Automated replication of tuple spaces via static analysis.
Sci. Comput. Program.
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi
2022 — conf
Modelling Flocks of Birds from the Bottom Up.
ISoLA (3)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022 — conf
Process Algebras and Flocks of Birds.
A Journey from Process Algebra via Timed Automata to Model Learning
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
2022 J jnl
Verification of Distributed Systems via Sequential Emulation.
ACM Trans. Softw. Eng. Methodol.
Luca Di Stefano, Rocco De Nicola, Omar Inverso
2021 C conf
Verifying Temporal Properties of Stigmergic Collective Systems Using CADP.
ISoLA
Luca Di Stefano, Frédéric Lang
2020 C conf
Combining SLiVER with CADP to Analyze Multi-agent Systems.
COORDINATION
Luca Di Stefano, Frédéric Lang, Wendelin Serwe
2020 J jnl
Multi-agent systems with virtual stigmergy.
Sci. Comput. Program.
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 — conf
Multi-agent Systems with Virtual Stigmergy.
STAF Workshops
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 J jnl
Toward Formal Models and Languages for Verifiable Multi-Robot Systems.
Frontiers Robotics AI
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2018 J jnl
Towards formal models and languages for verifiable Multi-Robot Systems.
CoRR
Rocco De Nicola, Luca Di Stefano, Omar Inverso
2017 — conf
Reactive Obstacle Avoidance for Multicopter UAVs via Evaluation of Depth Maps.
COSIT (Workshops/Posters)
Luca Di Stefano, Eliseo Clementini, Enrico Stagnini