SISTO, Riccardo

SISTO, Riccardo  

Dipartimento di Automatica e Informatica  

001943  

Mostra records
Risultati 1 - 20 di 46 (tempo di esecuzione: 0.026 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 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 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 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 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 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 Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems / AJMONE MARSAN, Marco Giuseppe; Bianco, Andrea; Ciminiera, Luigi; Sisto, Riccardo; Valenzano, Adriano. - In: RIVISTA DI INFORMATICA. - ISSN 0390-668X. - STAMPA. - 25:3(1995), pp. 195-214. 1-gen-1995 AJMONE MARSAN, Marco GiuseppeBIANCO, ANDREACIMINIERA, LuigiSISTO, RiccardoVALENZANO, ADRIANO -
A VNF modeling approach for verification purposes / Marchetto, G.; Sisto, R.; Virgilio, M.; Yusupov, J.. - In: INTERNATIONAL JOURNAL OF ELECTRICAL AND COMPUTER ENGINEERING. - ISSN 2088-8708. - 9:4(2019), pp. 2627-2636. [10.11591/ijece.v9i4.pp2627-2636] 1-gen-2019 Marchetto G.Sisto R.Virgilio M.Yusupov J. document.pdf
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks'' / Cena, G; Durante, L; Sisto, Riccardo; Valenzano, A.. - In: COMPUTER COMMUNICATIONS. - ISSN 0140-3664. - 20:(1997), pp. 804-819. 1-gen-1997 SISTO, Riccardo + -
An Abstract Execution Model for Basic LOTOS / Valenzano, A; Sisto, Riccardo; Ciminiera, L.. - In: SOFTWARE ENGINEERING JOURNAL. - ISSN 0268-6961. - 5:(1990), pp. 311-318. 1-gen-1990 SISTO, Riccardo + -
An efficient data exchange mechanism for chained network functions / Cerrato, Ivano; Marchetto, Guido; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Virgilio, Matteo; Bonafiglia, Roberto. - In: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING. - ISSN 0743-7315. - STAMPA. - 114:(2018), pp. 1-15. [10.1016/j.jpdc.2017.12.003] 1-gen-2018 Ivano CerratoGuido MarchettoFulvio RissoRiccardo SistoMatteo VirgilioRoberto Bonafiglia sharedBuffer.pdf18JPDC-SharedBuffer-published.pdf
Automated firewall configuration in virtual networks / Bringhenti, Daniele; Marchetto, Guido; Sisto, Riccardo; Valenza, Fulvio; Yusupov, Jalolliddin. - In: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING. - ISSN 1545-5971. - ELETTRONICO. - (In corso di stampa). [10.1109/TDSC.2022.3160293] In corso di stampa Daniele BringhentiGuido MarchettoRiccardo SistoFulvio ValenzaJalolliddin Yusupov TDSC2022.pdf
Automatic testing equivalence verification of spi calculus specifications / Durante, L; Sisto, Riccardo; Valenzano, A.. - In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY. - ISSN 1049-331X. - 12:(2003), pp. 222-284. 1-gen-2003 SISTO, Riccardo + -
Automatic, verifiable and optimized policy-based security enforcement for SDN-aware IoT networks / Bringhenti, Daniele; Yusupov, Jalolliddin; Zarca, Alejandro Molina; Valenza, Fulvio; Sisto, Riccardo; Bernabe, Jorge Bernal; Skarmeta, Antonio. - In: COMPUTER NETWORKS. - ISSN 1389-1286. - ELETTRONICO. - 213:(2022), pp. 109-123. [10.1016/j.comnet.2022.109123] 1-gen-2022 Bringhenti, DanieleYusupov, JalolliddinValenza, FulvioSisto, Riccardo + AuthorManuscript.pdfCN-2022.pdf
Detecting Chains of Vulnerabilities in Industrial Networks / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193. [10.1109/TII.2009.2018627] 1-gen-2009 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCAMAGGI, PaoloPOZZA, DAVIDESISTO, RiccardoVALENZANO, ADRIANO 04895710.pdf
DynNav: Toward Open and Interoperable Navigation Services / Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, FULVIO GIOVANNI OTTAVIO; Sisto, Riccardo; Vadalà, F.. - In: IT PROFESSIONAL. - ISSN 1520-9202. - STAMPA. - 18:2(2016), pp. 35-41. [10.1109/MITP.2016.20] 1-gen-2016 Bettassa Copet, P.RISSO, FULVIO GIOVANNI OTTAVIOSISTO, Riccardo + IT_ITPro-2014-03-0027.R2_Bettassa.pdf16ITPro-Dynnav-published.pdf
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 20:3(2008), pp. 303-348. [10.1007/s00165-008-0078-3] 1-gen-2008 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO 10.1007-s00165-008-0078-3.pdf
Exploiting symmetries for testing equivalence verification in the SPI calculus / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. - ISSN 0129-0541. - 4:(2006), pp. 815-832. [10.1142/S0129054106004121] 1-gen-2006 SISTO, Riccardo + -
Formal verification of LTE-UMTS and LTE–LTE handover procedures / BETTASSA COPET, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 50:(2017), pp. 92-106. [10.1016/j.csi.2016.08.009] 1-gen-2017 BETTASSA COPET, PIERGIUSEPPEMARCHETTO, GUIDOSISTO, Riccardo + paper.pdf1-s2.0-S092054891630071X-main.pdf