Luciana Costa

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 2

Top Topics

Formal Verification

Long Term Evolution

Video Streaming

Top Venues

Comput. Stand. Interfaces

Publications

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
Formal verification of LTE-UMTS and LTE-LTE handover procedures. Comput. Stand. Interfaces 50 (2017)
Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
Formal verification of LTE-UMTS handover procedures. ISCC (2015)
Luciana Costa, Roberta D'Amico
Malware Detection and Prevention Platform: Telecom Italia Case Study. ISSE (2010)