Piergiuseppe Bettassa Copet

According to our database, Piergiuseppe Bettassa Copet authored at least 5 papers between 2012 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

User-friendly Formal Methods for Security-aware Applications and Protocols.

Piergiuseppe Bettassa Copet

PhD thesis, 2016

2015

Formal verification of LTE-UMTS handover procedures.

Piergiuseppe Bettassa Copet, Guido Marchetto, Riccardo Sisto, Luciana Costa

Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

2014

Automated Formal Verification of Application-specific Security Properties.

Piergiuseppe Bettassa Copet, Riccardo Sisto

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

2012

Vehicle navigation service based on real-time traffic information: A RESTful NetAPI solution with long polling notification.

Giorgio Ghinamo, Francesco Vadala, Cecilia Corbi, Piergiuseppe Bettassa Copet, Fulvio Risso, Riccardo Sisto

Proceedings of the 2012 Ubiquitous Positioning, 2012

Visual Model-Driven Design, Verification and Implementation of Security Protocols.

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012