PORTO @ Archivio Istituzionale della Ricerca

VALENZANO, ADRIANO

VALENZANO, ADRIANO  

002490  

Mostra records
Risultati 1 - 20 di 32 (tempo di esecuzione: 0.036 secondi).
Citazione Data di pubblicazione Autori File
Assessing the Effectiveness of Channel Hopping in IEEE 802.15.4 TSCH Networks / Cena, Gianluca; Scanzio, Stefano; Ghazivakili, Mohammad; Demartini, CLAUDIO GIOVANNI; Valenzano, Adriano. - In: IEEE OPEN JOURNAL OF THE INDUSTRIAL ELECTRONICS SOCIETY. - ISSN 2644-1284. - 4:(2023), pp. 214-229. [10.1109/OJIES.2023.3287943] 1-gen-2023 Gianluca CenaStefano ScanzioMohammad Ghazi VakiliClaudio Giovanni DemartiniAdriano Valenzano Assessing_the_Effectiveness_of_Channel_Hopping_in_IEEE_802.15.4_TSCH_Networks.pdf
Evaluating and Modeling IEEE 802.15.4 TSCH Resilience against Wi-Fi Interference in New-Generation Highly-Dependable Wireless Sensor Networks / Cena, Gianluca; Demartini, Claudio G.; Vakili, Mohammad Ghazi; Scanzio, Stefano; Valenzano, Adriano; Zunino, Claudio. - In: AD HOC NETWORKS. - ISSN 1570-8705. - STAMPA. - 106:102199(2020). [10.1016/j.adhoc.2020.102199] 1-gen-2020 Cena, GianlucaDemartini, Claudio G.Vakili, Mohammad GhaziScanzio, StefanoValenzano, AdrianoZunino, Claudio 2019_AHN_TSCH.pdf; 1-s2.0-S1570870519310509-main.pdf
Wireless Sensor Networks and TSCH: a compromise between Reliability, Power Consumption and Latency / Scanzio, Stefano; Vakili, Mohammad Ghazi; Cena, Gianluca; Demartini, Claudio Giovanni; Montrucchio, Bartolomeo; Valenzano, Adriano; Zunino, Claudio. - In: IEEE ACCESS. - ISSN 2169-3536. - ELETTRONICO. - 8:(2020), pp. 167042-167058. [10.1109/ACCESS.2020.3022434] 1-gen-2020 Scanzio, StefanoVakili, Mohammad GhaziCena, GianlucaDemartini, Claudio GiovanniMontrucchio, BartolomeoValenzano, AdrianoZunino, Claudio 6tisch.pdf
A comprehensive approach to the automatic refinement and verification of access control policies / Cheminod, Manuel; Durante, Luca; Seno, Lucia; Valenza, Fulvio; Valenzano, Adriano. - In: COMPUTERS & SECURITY. - ISSN 0167-4048. - 80:(2019), pp. 186-199. [10.1016/j.cose.2018.09.013] 1-gen-2019 Cheminod, ManuelDurante, LucaValenza, FulvioValenzano, Adriano + main.pdf; 1-s2.0-S0167404818303870-main.pdf
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 11:1(2015), pp. 83-93. [10.1109/TII.2014.2365153] 1-gen-2015 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO TII_j_can_crc_Early_Access.pdf; 06936873.pdf
Un codec a basso jitter per reti CAN / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - In: AUTOMAZIONE E STRUMENTAZIONE. - ISSN 0005-1284. - STAMPA. - 62:(2014), pp. 76-79. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication / Cena, Gianluca; I. C., Bertolotti; Hu, Tingting; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 9:4(2013), pp. 2155-2164. [10.1109/TII.2013.2240310] 1-gen-2013 CENA, GianlucaHU, TINGTINGVALENZANO, ADRIANO + 2519288.pdf
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks / Cena, Gianluca; I., Bertolotti; Hu, Tingting; Valenzano, Adriano. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 35:5(2013), pp. 536-548. [10.1016/j.csi.2013.02.003] 1-gen-2013 CENA, GianlucaHU, TINGTINGVALENZANO, ADRIANO + -
Review of Security Issues in Industrial Networks / Cheminod, Manuel; Durante, Luca; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - 9:1(2013), pp. 277-293. [10.1109/tii.2012.2198666] 1-gen-2013 Cheminod, ManuelDurante, LucaValenzano, Adriano -
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; detectingChains_authorscopy.pdf
Tools for cryptographic protocols analysis: A technical and experimental comparison / Cheminod, M.; BERTOLOTTI CIBRARIO, I.; Durante, L; Sisto, R; Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 31:5(2009), pp. 954-961. [10.1016/J.CSI.2008.09.030] 1-gen-2009 CHEMINOD M.BERTOLOTTI CIBRARIO I.DURANTE LSISTO RVALENZANO A. 01_11583_1856812.pdf; 1-s2.0-S0920548908001451-main.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 -
Improving the Security of Industrial Networks by means of Formal Verification / CIBRARIO BERTOLOTTI, I; Durante, L; Maggi, P; Sisto, Riccardo; Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 29:3(2007), pp. 387-397. [10.1016/j.csi.2006.06.002] 1-gen-2007 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. + article.pdf; 1-s2.0-S0920548906000766-main.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. - 17:4(2006), pp. 815-832. [10.1142/S0129054106004121] 1-gen-2006 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 04_11583_1406239.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:2(2003), pp. 222-284. [10.1145/941566.941570] 1-gen-2003 DURANTE LSISTO, RiccardoVALENZANO A. 05_11583_1406236.pdf; 941566.941570.pdf
On the performance of the IEC 61158 Fieldbus / Durante, Luca; Valenzano, Adriano. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 21:3(1999), pp. 241-250. [10.1016/s0920-5489(99)00009-4] 1-gen-1999 Durante, LucaValenzano, Adriano -
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks / Cena, G; Durante, L; Sisto, Riccardo; Valenzano, A.. - In: COMPUTER COMMUNICATIONS. - ISSN 0140-3664. - 20:9(1997), pp. 804-819. [10.1016/S0140-3664(97)00067-4] 1-gen-1997 CENA GDURANTE LSISTO, RiccardoVALENZANO A. 06_11583_1659468.pdf; 1-s2.0-S0140366497000674-main.pdf
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 -
Standard field bus networks for industrial applications / Cena, Gianluca; Durante, Luca; Valenzano, Adriano. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 17:2(1995), pp. 155-167. [10.1016/0920-5489(94)00051-h] 1-gen-1995 Cena, GianlucaDurante, LucaValenzano, Adriano -
Authentication mechanisms in microprocessor-based local area networks / Ciminiera, Luigi; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. - ISSN 0098-5589. - v:(1992), pp. 654-658. 1-gen-1992 CIMINIERA, LuigiVALENZANO, ADRIANO -