| 2026 | CAV | sweap: Reactive Synthesis for Infinite-State Integer Problems. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2025 | CAV | Full LTL Synthesis over Infinite-State Arenas. | Shaun Azzopardi, Luca Di Stefano, Nir Piterman, Gerardo Schneider |
| 2025 | RV | Execution and Monitoring of HOA Automata with HOAX. | Luca Di Stefano |
| 2024 | ISoLA | Attributed Point-to-Point Communication in R-CHECK. | Yehia Abd Alrahman, Shaun Azzopardi, Luca Di Stefano, Nir Piterman |
| 2024 | ISoLA | Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification. | Luca Di Stefano, Omar Inverso |
| 2023 | VMCAI | Compositional Verification of Stigmergic Collective Systems. | Luca Di Stefano, Frdric Lang |
| 2022 | ISoLA | Modelling Flocks of Birds from the Bottom Up. | Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani |
| 2021 | ISoLA | Verifying Temporal Properties of Stigmergic Collective Systems Using CADP. | Luca Di Stefano, Frdric Lang |
| 2020 | Coordination | Combining SLiVER with CADP to Analyze Multi-agent Systems. | Luca Di Stefano, Frdric Lang, Wendelin Serwe |