• Aiuto
  • Sfoglia

    • SISTO, Riccardo

    Rete di Collaborazioni Statistiche Email Alert RSS Feed

    Dettaglio

    Nome completo:
    SISTO, Riccardo
    Link esterni:
    Elenco pubblicazioni in formato JSON:

    Pubblicazioni (Contributo in Atti di convegno)

    Risultati 1 - 20 di 72 (tempo di esecuzione: 0.002 secondi).

    CitazioneData di pubblicazioneAutoriFile
    1Wireless for the factory: The Wi-Fact analysis / Autolitano, A.; Brevi, D.; Cena, G.; Cultrona, P.; Marchetto, G.; Rusina, F.; Scanzio, S.; Scopigno, R.; Sisto, R.. - STAMPA. - (2015), pp. 403-410. ((Intervento presentato al convegno RTSI 2015 - First Int. Forum on Research and Technologies for Society and Industry tenutosi a Torino, Italy nel September 16-18, 2015.2015MARCHETTO, GUIDO  ; SISTO, Riccardo  -
    2Vulnerability Modelling for the Analysis of Network Attacks / MAGGI P; POZZA D; SISTO R.. - STAMPA. - (2008), pp. 15-22. ((Intervento presentato al convegno DepCoS-RELCOMEX'08, 3rd Int. Conf. on Dependability of Computer Systems tenutosi a Szklarska Poreba, Poland nel June 2008.2008MAGGI, PAOLO  ; POZZA, DAVIDE  ; SISTO, Riccardo  -
    3Visual Model-Driven Design, Verification and Implementation of Security Protocols / Bettassa Copet P.; Pironti A.; Pozza D.; Sisto R.; Vivoli P.. - 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.2012BETTASSA COPET, PIERGIUSEPPE  ; PIRONTI, ALFREDO  ; POZZA, DAVIDE  ; SISTO, Riccardo  ; VIVOLI, PIETRO    Visibile a tutti
    4Virtual Network Embedding with Formal Reachability Assurance / Marchetto, Guido; Sisto, Riccardo; Yusupov, Jalolliddin; Ksentini, Adlen. - (2018). ((Intervento presentato al convegno 14th International Conference on Network and Service Management tenutosi a Italy, Rome nel Nov. 5th to Nov. 9th, 2018.2018MARCHETTO, GUIDO  ; SISTO, Riccardo  ; YUSUPOV, JALOLLIDDIN  ; KSENTINI, ADLEN  -
    5Vehicle Navigation Service Based on Real-Time Traffic Information / Ghinamo G.; Vadalà F.; Corbi C.; Bettassa Copet P.; Risso F.; Sisto R.. - 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.2012BETTASSA COPET, PIERGIUSEPPE  ; RISSO, FULVIO GIOVANNI OTTAVIO  ; SISTO, Riccardo    Open Access
    6Using SPIN to Verify Security Properties of Cryptographic Protocols / MAGGI P.; SISTO R.. - STAMPA. - 2318(2002), pp. 187-204. ((Intervento presentato al convegno 9th International SPIN Workshop tenutosi a Grenoble (FR) nel April 11–13, 2002.2002MAGGI, PAOLO  ; SISTO, Riccardo  -
    7Using Garbage Collection in Model Checking / IOSIF R.; SISTO R.. - 1885(2000), pp. 20-33. ((Intervento presentato al convegno 7th International SPIN Workshop tenutosi a Stanford, CA (USA) nel August 30 - September 1, 2000.2000SISTO, Riccardo    riservati
    8Using Data Flow Analysis to Infer Type Information in Java Bytecode / MAGGI P.; SISTO R.. - STAMPA. - (2001), pp. 211-222. ((Intervento presentato al convegno SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation tenutosi a Florence, Italy nel NOV 10, 2001.2001MAGGI, PAOLO  ; SISTO, Riccardo  -
    9Throughput Analysis of Timed Token Protocols in Double Ring Networks / Demartini C.; Montuschi P.; Valenzano A.; Ciminiera L.; Sisto R.. - STAMPA. - (1992), pp. 473-482. ((Intervento presentato al convegno 17th Conference on Local Computer Networks tenutosi a Minneapolis, MN, USA nel 13-16 September 1992.1992DEMARTINI, CLAUDIO GIOVANNI  ; MONTUSCHI, PAOLO  ; VALENZANO, ADRIANO  ; CIMINIERA, Luigi  ; SISTO, Riccardo  -
    10The JavaSPI Framework for Security Protocol Implementation / Avalle M.; Pironti A.; Sisto R.; Pozza D.. - STAMPA. - (2011), pp. 746-751. ((Intervento presentato al convegno Sixth International Conference on Availability, Reliability and Security (ARES) tenutosi a Vienna (Austria) nel 22-26 Aug. 2011.2011AVALLE, MATTEO CARLO  ; PIRONTI, ALFREDO  ; SISTO, Riccardo  ; POZZA, DAVIDE    Visibile a tutti
    11Temporal Logic Properties of Java Objects / IOSIF R.; SISTO R.. - STAMPA. - (2001), pp. 120-127. ((Intervento presentato al convegno SEKE 2001 - 13th Int. Conf. on Software Engineering and Knowledge Engineering tenutosi a Buenos Aires, Argentina nel June 2001.2001IOSIF, Radu  ; SISTO, Riccardo  -
    12Static Analysis of Java Mutithreaded and Distributed Applications / DEMARTINI C.G.; R. SISTO. - STAMPA. - (1998), pp. 215-222. ((Intervento presentato al convegno IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems tenutosi a Kyoto, Japan nel APR 20-21, 1998.1998DEMARTINI, CLAUDIO GIOVANNI  ; SISTO, Riccardo  -
    13SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal / BELTRAME F; MAGGI P; MELATO M; MOLINARI E; SISTO R.; TORTEROLO L. - (2006), pp. 15-20. ((Intervento presentato al convegno SRB Workshop.2006MAGGI, PAOLO  ; SISTO, Riccardo  ; -
    14SPRINT: A DSP-based Electrical Simulator / Sisto R.. - STAMPA. - (1990), pp. 48-51. ((Intervento presentato al convegno IASTED International Conference on Signal Processing and Digital Filtering tenutosi a Lugano, Switzerland nel June 18-21, 1990.1990SISTO, Riccardo  -
    15Spi2Java: automatic cryptographic protocol java code generation from spi calculus / POZZA D.; SISTO R.; DURANTE L.. - 1(2004), pp. 400-405. ((Intervento presentato al convegno 18th Int. Conf. on Advanced Information, Networking and Applications nel March 2004.2004POZZA, DAVIDE  ; SISTO, Riccardo  ;  Visibile a tutti
    16Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models / PIRONTI A.; SISTO R. - (2008), pp. 72-79. ((Intervento presentato al convegno International Conference on Availability, Reliability and Security (ARES 08) tenutosi a Barcelona, Spain nel 4-7 March 2008.2008PIRONTI, ALFREDO  ; SISTO, Riccardo  -
    17Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models / PIRONTI A.; SISTO R. - (2008), pp. 31-38. ((Intervento presentato al convegno International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008) tenutosi a Szklarska Poręba nel 26–28 June 2008.2008PIRONTI, ALFREDO  ; SISTO, Riccardo  -
    18SCARAB: Innovative Services Supporting User and Terminal Mobility / CIMINIERA L.; MAGGI P.; SISTO R.. - STAMPA. - (2001), pp. 487-493. ((Intervento presentato al convegno IEEE ICDCS 2001 Workshop tenutosi a Phoenix, AZ nel 16-19 April 2001.2001CIMINIERA, Luigi  ; SISTO, Riccardo  -
    19Resource Management Policies for Cloud-based Interactive 3D Applications / Marchetto G.; Sisto R.; Stanziano L.. - STAMPA. - (2013), pp. 1388-1392. ((Intervento presentato al convegno IEEE International Conference on Communications Workshops – Workshop on Cloud Convergence (WCC 2013) tenutosi a Budapest, Hungary nel June 9-13, 2013.2013MARCHETTO, GUIDO  ; SISTO, Riccardo  ; STANZIANO, LUCA    Open Access
    20Probabilistic Characterization of Algebraic Protocol Specifications / Sisto R.; Ciminiera L.; Valenzano A.. - STAMPA. - (1992), pp. 260-268. ((Intervento presentato al convegno 12th International Conference on Distributed Computing Systems tenutosi a Yokohama, Japan nel 9-12 June 1992.1992SISTO, Riccardo  ; CIMINIERA, Luigi  ; VALENZANO, ADRIANO  -

     
     
     
    Powered by IRIS-about IRIS-Utilizzo dei cookie
    Logo CINECA  Copyright © 2019