Archivio Istituzionale della RicercaCIBRARIO BERTOLOTTI, IVAN
CIBRARIO BERTOLOTTI, IVAN
I. . Bertolotti
011741
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico
In corso di stampa Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication
2015 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Modular design of an open-source, networked embedded system
2015 CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
Design, verification, and performance of a MODBUS-CAN adaptation layer
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Effect of jitter-reducing encoders on CAN error detection mechanisms
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Model checking
2014 Hu, Tingting; CIBRARIO BERTOLOTTI, Ivan
Un codec a basso jitter per reti CAN
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
A Model for the Analysis of Security Policies in Industrial Networks
2013 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
A Unified Class Model for Checking Security Policies in ICT Infrastructures
2012 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano
Formal Verification of a Distributed Master Election Protocol
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication
2012 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo
2011 CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems
2011 CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
Detecting Chains of Vulnerabilities in Industrial Networks
2009 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano
Tools for cryptographic protocols analysis: A technical and experimental comparison
2009 Cheminod, M.; BERTOLOTTI CIBRARIO, I.; Durante, L; Sisto, R; Valenzano, A.
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis
2008 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols
2007 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Improving the Security of Industrial Networks by means of Formal Verification
2007 CIBRARIO BERTOLOTTI, I; Durante, L; Maggi, P; Sisto, Riccardo; Valenzano, A.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico / Cena, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - (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, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - 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 |
| Modular design of an open-source, networked embedded system / CIBRARIO BERTOLOTTI, I., Hu, T.. - 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, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - (2014), pp. 1-10. (10th IEEE International Workshop on Factory Communication Systems (WFCS) 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, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - (2014), pp. 1-10. (10th IEEE International Workshop on Factory Communication Systems (WFCS) May, 2014) [10.1109/WFCS.2014.6837604]. | 1-gen-2014 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Model checking / Hu, T., CIBRARIO BERTOLOTTI, I. - 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, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - 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, I., Durante, L., Hu, T., Valenzano, A.. - STAMPA. - (2013), pp. 66-77. (1st International Symposium for ICS and SCADA Cyber Security Research 2013). | 1-gen-2013 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO | - |
| A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, I., Durante, L., Hu, T., Valenzano, A.. - STAMPA. - (2012), pp. 1-6. (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, G., CIBRARIO BERTOLOTTI, I., Hu, T.. - STAMPA. - (2012), pp. 245-254. (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, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - STAMPA. - (2012), pp. 1-8. (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, G., CIBRARIO BERTOLOTTI, I., Hu, T., Valenzano, A.. - STAMPA. - (2012), pp. 1-8. (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, I., Hu, T.. - STAMPA. - (2011), pp. 1-10. (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, I., Hu, T.. - STAMPA. - (2011), pp. 1-8. (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, M., CIBRARIO BERTOLOTTI, I., Durante, L., Maggi, P., Pozza, D., Sisto, R., Valenzano, A.. - 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, I., Durante, L., Sisto, R., Valenzano, A.. - 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, M., CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - STAMPA. - (2007), pp. 11-18. (Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on Szklarska Poreba (Poland) 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, M., CIBRARIO BERTOLOTTI, I., Durante, L., Sisto, R., Valenzano, A.. - STAMPA. - (2007), pp. 153-160. (Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on Szklarska (Poland) 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 |
| Improving the Security of Industrial Networks by means of Formal Verification / CIBRARIO BERTOLOTTI, I., Durante, L., Maggi, P., Sisto, R., 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 |