SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 132 (tempo di esecuzione: 0.017 secondi).
Citazione Data di pubblicazione Autori File
(User-friendly) formal requirements verification in the context of ISO26262 / Makartetskiy, Denis; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Virgilio, Matteo; Leri, Denise; Denti, Paolo; Finizio, Roberto. - In: ENGINEERING SCIENCE AND TECHNOLOGY, AN INTERNATIONAL JOURNAL. - ISSN 2215-0986. - ELETTRONICO. - 23:3(2020), pp. 494-506. [10.1016/j.jestch.2019.09.005] 1-gen-2020 Denis MakartetskiyGuido MarchettoRiccardo SistoFulvio ValenzaMatteo Virgilio + 1-s2.0-S2215098619306147-main.pdf
A Configurable Mobile Agent Data Protection Protocol / Maggi, Paolo; Sisto, Riccardo. - STAMPA. - (2003), pp. 851-858. ((Intervento presentato al convegno AAMAS'03 - 2nd ACM Int. Joint Conf. on Autonomous Agents and Multiagent Systems nel July 2003 [10.1145/860575.860712]. 1-gen-2003 MAGGI, PAOLOSISTO, Riccardo -
A Deadlock Detection Tool for Concurrent Java Programs / Demartini, Claudio Giovanni; Iosif, R.; Sisto, Riccardo. - In: SOFTWARE-PRACTICE & EXPERIENCE. - ISSN 0038-0644. - 29 (7):(1999), pp. 577-603. 1-gen-1999 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
A formal approach for network security policy validation / Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco. - In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS. - ISSN 2093-5374. - STAMPA. - 8:1(2017), pp. 79-100. [10.22667/JOWUA.2017.03.31.079] 1-gen-2017 VALENZA, FULVIOSU, TAOSPINOSO, SERENALIOY, ANTONIOSISTO, RiccardoVALLINI, MARCO 2017JOWUA.pdf
A Formal Model of Network Policy Analysis / Valenza, Fulvio; Spinoso, Serena; Basile, Cataldo; Sisto, Riccardo; Lioy, Antonio. - STAMPA. - (2015), pp. 516-522. ((Intervento presentato al convegno RTSI 2015 - First International Forum on Research and Technologies for Society and Industry tenutosi a Torino, Italy nel 16-18 September 2015 [10.1109/RTSI.2015.7325150]. 1-gen-2015 VALENZA, FULVIOSPINOSO, SERENABASILE, CATALDOSISTO, RiccardoLIOY, ANTONIO 2015RTSI.pdf2015RTSI_author.pdf
A Formalization Of The FIP Protocol Using Estelle / Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1992), pp. 348-353. ((Intervento presentato al convegno IEEE International Workshop on Emerging Technologies and Factory Automation tenutosi a Melbourne, Australia nel 11-14 August 1992 [10.1109/ETFA.1992.683278]. 1-gen-1992 SISTO, RiccardoVALENZANO, ADRIANO -
A framework for user-friendly verification-oriented VNF modeling / Marchetto, Guido; Sisto, Riccardo; Virgilio, Matteo; Yusupov, Jalolliddin. - ELETTRONICO. - 1:(2017), pp. 517-522. ((Intervento presentato al convegno IEEE Computer Software and Applications Conference (COMPSAC) tenutosi a Turin, Italy nel July 4-8, 2017 [10.1109/COMPSAC.2017.16]. 1-gen-2017 MARCHETTO, GUIDOSISTO, RiccardoVIRGILIO, MATTEOYUSUPOV, JALOLLIDDIN -
A Framework for Verification-Oriented User-Friendly Network Function Modeling / Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE ACCESS. - ISSN 2169-3536. - 7:(2019), pp. 99349-99359. [10.1109/ACCESS.2019.2929325] 1-gen-2019 Marchetto, GuidoSisto, RiccardoValenza, FulvioYusupov, Jalolliddin 08765301.pdf
A Graphical Tool for Protocol Design with Estelle / Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1991), pp. 552-556. ((Intervento presentato al convegno CompEuro '91. 5th Annual European Computer Conference tenutosi a Bologna, Italy nel 13-16 May 1991 [10.1109/CMPEUR.1991.257446]. 1-gen-1991 CIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
A Grid-Powered Framework to Support Courses on Distributed Programming / Maggi, P; Sisto, Riccardo. - In: IEEE TRANSACTIONS ON EDUCATION. - ISSN 0018-9359. - 50:(2007), pp. 27-33. [10.1109/TE.2006.879806] 1-gen-2007 SISTO, Riccardo + -
A Java-based Formal Development Environment for Factory Communication Systems / Demartini, Claudio Giovanni; R., Iosif; Sisto, Riccardo. - (1998), pp. 273-281. ((Intervento presentato al convegno IEEE Int. Conf. on Application of Concurrency to System Design. 1-gen-1998 DEMARTINI, Claudio GiovanniSISTO, Riccardo + -
A Lightweight Security Analyzer inside GCC / Pozza, Davide; Sisto, Riccardo. - STAMPA. - (2008), pp. 851-858. ((Intervento presentato al convegno ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security tenutosi a Barcelona, Spain nel Marzo 2008 [10.1109/ARES.2008.26]. 1-gen-2008 POZZA, DAVIDESISTO, Riccardo -
A LOTOS Extension for the Performance Analysis of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, A.. - In: IEEE-ACM TRANSACTIONS ON NETWORKING. - ISSN 1063-6692. - STAMPA. - 2:2(1994), pp. 151-165. [10.1109/90.298433] 1-gen-1994 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, Riccardo + ton_lotos.pdf
A LOTOS Specification of the SERCOS Field-bus Protocol / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1994), pp. 139-147. ((Intervento presentato al convegno SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering tenutosi a Jurmala, Latvia nel 21-23 June. 1-gen-1994 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Method to Build Symbolic Representations of LOTOS Specifications / Sisto, Riccardo. - STAMPA. - (1995), pp. 331-346. ((Intervento presentato al convegno Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification tenutosi a Warsaw, Poland nel June 1995. 1-gen-1995 SISTO, Riccardo -
A new knowledge representation strategy for cryptographic protocol analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - 2619:(2003), pp. 284-298. ((Intervento presentato al convegno 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 tenutosi a Warsaw (PL) nel April 7–11, 2003 [10.1007/3-540-36577-X_21]. 1-gen-2003 SISTO, Riccardo + -
A novel approach for security function graph configuration and deployment / Bringhenti, D.; Marchetto, G.; Sisto, R.; Valenza, F.. - ELETTRONICO. - (2021), pp. 457-463. ((Intervento presentato al convegno 7th IEEE International Conference on Network Softwarization, NetSoft 2021 nel 2021 [10.1109/NetSoft51509.2021.9492654]. 1-gen-2021 Bringhenti D.Marchetto G.Sisto R.Valenza F. secsoft2021.pdfmain.pdf
A Protocol for Multirendezvous of LOTOS Processes / Sisto, Riccardo; Ciminiera, Luigi; Valenzano, A.. - In: IEEE TRANSACTIONS ON COMPUTERS. - ISSN 0018-9340. - 40:(1991), pp. 437-447. 1-gen-1991 SISTO, RiccardoCIMINIERA, Luigi + -
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2000), pp. 155-170. ((Intervento presentato al convegno FORTE/PSTV 2000 Joint Int. Conf. tenutosi a Pisa nel October 2000. 1-gen-2000 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -
A Static Semantic Analyzer for LOTOS Specifications / Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (1993), pp. 585-592. ((Intervento presentato al convegno IEEE Phoenix Conference on Computers and Communications nel 23-26 March 1993 [10.1109/PCCC.1993.344534]. 1-gen-1993 DURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO -