Piergiuseppe Bettassa Copet

According to our database1, Piergiuseppe Bettassa Copet authored at least 8 papers between 2012 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Formally sound implementations of security protocols with JavaSPI.
Formal Aspects Comput., 2018

2017
Formal verification of LTE-UMTS and LTE-LTE handover procedures.
Comput. Stand. Interfaces, 2017

2016
User-friendly Formal Methods for Security-aware Applications and Protocols.
PhD thesis, 2016

DynNav: Toward Open and Interoperable Navigation Services.
IT Prof., 2016

2015
Formal verification of LTE-UMTS handover procedures.
Proceedings of the 2015 IEEE Symposium on Computers and Communication, 2015

2014
Automated Formal Verification of Application-specific Security Properties.
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.
Proceedings of the 2012 Ubiquitous Positioning, 2012

Visual Model-Driven Design, Verification and Implementation of Security Protocols.
Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012


  Loading...