Archivio Istituzionale della RicercaBETTASSA COPET, PIERGIUSEPPE
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.001 secondi).
Formal Verification of LTE-UMTS Handover Procedures
2015 BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana
Automated Formal Verification of Application-specific Security Properties
2014 BETTASSA COPET, Piergiuseppe; Sisto, Riccardo
Vehicle Navigation Service Based on Real-Time Traffic Information
2012 Ghinamo, G.; Vadalà, F.; Corbi, C.; BETTASSA COPET, Piergiuseppe; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo
Visual Model-Driven Design, Verification and Implementation of Security Protocols
2012 BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Formal Verification of LTE-UMTS Handover Procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - STAMPA. - (2015), pp. 738-744. (Intervento presentato al convegno 20th IEEE Symposium on Computers and Communications (ISCC) tenutosi a Larnaca, Cyprus nel 6-9 July 2015) [10.1109/ISCC.2015.7405602]. | 1-gen-2015 | BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + | 1570084757_author_postprint.pdf |
| Automated Formal Verification of Application-specific Security Properties / BETTASSA COPET, Piergiuseppe; Sisto, Riccardo. - STAMPA. - 8364:(2014), pp. 45-59. (Intervento presentato al convegno Engineering Secure Software and Systems (ESSOS) tenutosi a Munich, Germany nel 26-28/2/2014) [10.1007/978-3-319-04897-0_4]. | 1-gen-2014 | BETTASSA COPET, PIERGIUSEPPESISTO, Riccardo | - |
| Vehicle Navigation Service Based on Real-Time Traffic Information / Ghinamo, G.; Vadalà, F.; Corbi, C.; BETTASSA COPET, Piergiuseppe; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo. - ELETTRONICO. - (2012), pp. 1-8. (Intervento presentato al convegno 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012) tenutosi a Helsinki (SF) nel October 3-4, 2012) [10.1109/UPINLBS.2012.6409749]. | 1-gen-2012 | BETTASSA COPET, PIERGIUSEPPERISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + | upinlbs2012_submission_13.pdf; 12UPINLBS-DynNav-published.pdf |
| Visual Model-Driven Design, Verification and Implementation of Security Protocols / BETTASSA COPET, Piergiuseppe; Pironti, Alfredo; Pozza, Davide; Sisto, Riccardo; Vivoli, Pietro. - STAMPA. - (2012), pp. 62-65. (Intervento presentato al convegno 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012) tenutosi a Omaha, Nebraska nel October 25-27, 2012) [10.1109/HASE.2012.23]. | 1-gen-2012 | BETTASSA COPET, PIERGIUSEPPEPIRONTI, ALFREDOPOZZA, DAVIDESISTO, RiccardoVIVOLI, PIETRO | hase2012_porto.pdf; Visual_model-driven_design_verification_and_implementation_of_security_protocols.pdf |