Antonio Borrelli

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Finite State Machines

Process Algebra

Top Venues

Publications

Antonio Borrelli, Vittoria Nardone, Giuseppe A. Di Lucca, Gerardo Canfora, Massimiliano Di Penta
Detecting Video Game-Specific Bad Smells in Unity Projects. MSR (2020)
Antonio Borrelli, Giuseppe Antonio Di Lucca, Vittoria Nardone, Antonella Santone
Formal Verification of Radio Communication Management in Railway Systems Using Model Checking Technique. WETICE (2019)