CIBRARIO BERTOLOTTI, IVAN

CIBRARIO BERTOLOTTI, IVAN  

I. . Bertolotti  

011741  

Mostra records
Risultati 1 - 20 di 23 (tempo di esecuzione: 0.026 secondi).
Citazione Data di pubblicazione Autori File
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (In corso di stampa). In corso di stampa CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
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.pdf06936873.pdf
Modular design of an open-source, networked embedded system / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 37:(2015), pp. 41-52. [10.1016/j.csi.2014.05.004] 1-gen-2015 CIBRARIO BERTOLOTTI, IVANHU, TINGTING CSI_modular_design.pdf
Design, verification, and performance of a MODBUS-CAN adaptation layer / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. (Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014) [10.1109/WFCS.2014.6837605]. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Effect of jitter-reducing encoders on CAN error detection mechanisms / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. (Intervento presentato al convegno 10th IEEE International Workshop on Factory Communication Systems (WFCS) nel May, 2014) [10.1109/WFCS.2014.6837604]. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Model checking / Hu, Tingting; CIBRARIO BERTOLOTTI, Ivan - In: Digital Avionics Handbook, 3rd editionSTAMPA. - [s.l] : CRC press - Taylor and Francis Group, 2014. - ISBN 9781439868614. 1-gen-2014 HU, TINGTINGCIBRARIO BERTOLOTTI, IVAN -
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 -
A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. (Intervento presentato al convegno 1st International Symposium for ICS and SCADA Cyber Security Research nel 2013). 1-gen-2013 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO -
A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. (Intervento presentato al convegno International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications) [10.1109/ESTEL.2012.6400068]. 1-gen-2012 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO -
Formal Verification of a Distributed Master Election Protocol / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2012), pp. 245-254. (Intervento presentato al convegno IEEE International Workshop on Factory Communication Systems (WFCS 2012)) [10.1109/WFCS.2012.6242572]. 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTING -
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. (Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA)). 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. (Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA)). 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-10. (Intervento presentato al convegno Congresso Nazionale AICA). 1-gen-2011 CIBRARIO BERTOLOTTI, IVANHU, TINGTING -
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-8. (Intervento presentato al convegno IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2011)) [10.1109/ETFA.2011.6059000]. 1-gen-2011 CIBRARIO BERTOLOTTI, IVANHU, TINGTING -
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.pdfdetectingChains_authorscopy.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 -
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 11-18. (Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska Poreba (Poland) nel 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.22]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO Evaluating_the_Combined_Effect_of_Vulnerabilities_and_Faults_on_Large_Distributed_Systems.pdf
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 153-160. (Intervento presentato al convegno Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on tenutosi a Szklarska (Poland) nel 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.24]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO Experimental_Comparison_of_Automatic_Tools_for_the_Formal_Analysis_of_Cryptographic_Protocols.pdf
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2006), pp. 273-282. (Intervento presentato al convegno Factory Communication Systems, 2006 IEEE International Workshop on tenutosi a Torino nel 28-30 June, 2006) [10.1109/WFCS.2006.1704167]. 1-gen-2006 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO On_the_use_of_automatic_tools_for_the_formal_analysis_of_IEEE_802.11_key-exchange_protocols.pdf
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3548:(2005), pp. 69-84. (Intervento presentato al convegno Second International Conference, DIMVA 2005 tenutosi a Vienna (AT) nel July 7-8, 2005) [10.1007/11506881_5]. 1-gen-2005 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. document.pdf