Piergiuseppe Bettassa Copet

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 3

Top Topics

Traffic Information

Vehicle Navigation

Formal Verification

Long Term Evolution

Top Venues

Formal Aspects Comput.

Publications

Riccardo Sisto, Piergiuseppe Bettassa Copet, Matteo Avalle, Alfredo Pironti
Formally sound implementations of security protocols with JavaSPI. Formal Aspects Comput. 30 (2) (2018)
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, Fulvio Risso, Riccardo Sisto, Cecilia Corbi, Giorgio Ghinamo, Francesco Vadala, Pietro Leggero
DynNav: Toward Open and Interoperable Navigation Services. IT Prof. 18 (2) (2016)
Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa
Formal verification of LTE-UMTS handover procedures. ISCC (2015)
Piergiuseppe Bettassa Copet, Riccardo Sisto
Automated Formal Verification of Application-specific Security Properties. ESSoS (2014)
Giorgio Ghinamo, Francesco Vadala, Cecilia Corbi, Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto
Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification. UPINLBS (2012)
Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli
Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE (2012)