Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. - Antonio Borrelli; Giuseppe Antonio Di Lucca; Vittoria Nardone; Antonella Santone (WETICE, 2019)

Detecting Video Game-Specific Bad Smells in Unity Projects. - Antonio Borrelli; Vittoria Nardone; Giuseppe A. Di Lucca; Gerardo Canfora; Massimiliano Di Penta (MSR, 2020)