Luca Di Stefano
Univ.Ass. / PhD
Research Areas
- Agent Based Modelling, Reactive synthesis, Formal Methods, model checking, Software Verification
About
My research focuses on the specification of complex collective systems (such as multi-agent systems, robot swarms, stigmergies, and so on) and their analysis via state-of-the-art verification techniques.
Role
-
PostDoc Researcher
Cyber-Physical Systems, E191-01
Courses
2024W
- Internet of Things / 182.753 / VU
- Operating Systems / 191.002 / VU
2025S
- GPU Architectures and Computing / 182.731 / VU
- Scientific Research and Writing / 193.052 / SE
Publications
- Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification / Di Stefano, L., & Inverso, O. (2024). Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. In Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola (pp. 253–270). https://doi.org/10.1007/978-3-031-73709-1_16
- Attributed Point-to-Point Communication in R-CHECK / Abd Alrahman, Y., Azzopardi, S., Di Stefano, L., & Piterman, N. (2024). Attributed Point-to-Point Communication in R-CHECK. In Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems (pp. 333–350). Springer. https://doi.org/10.1007/978-3-031-75107-3_20