IVAN CIBRARIO BERTOLOTTI

Download the vcard Photo

Adjunct Professor
RICERCATORE CNR-IEIIT (Altro ente) (Consiglio Nazionale delle Ricerche - Istituto di Elettronica e di Ingegneria dell'Informazione e delle Telecomunicazioni)

+39 0110905426 / 5426 (CNRIEIIT)

Personal web site

Most recent publications

G. Cena;I. Cibrario Bertolotti;T. Hu;A. Valenzano (In stampa)
Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico. N. brevetto: TO2014A000132, propr. brevetto: 4 - Soggetti terzi
Cena, Gianluca; Cibrario Bertolotti, Ivan; Hu, Tingting; Valenzano, Adriano (2015)
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 11, pp. 83-93. ISSN 1551-3203
Cibrario Bertolotti, Ivan; Hu, Tingting (2015)
Modular design of an open-source, networked embedded system. In: COMPUTER STANDARDS & INTERFACES, vol. 37, pp. 41-52. ISSN 0920-5489
G. Cena;I. Cibrario Bertolotti;T. Hu;A. Valenzano (2014)
Un codec a basso jitter per reti CAN. In: AUTOMAZIONE E STRUMENTAZIONE, vol. 62, pp. 76-79. ISSN 0005-1284
G. Cena;I. Cibrario Bertolotti;T. Hu;A. Valenzano (2014)
Effect of jitter-reducing encoders on CAN error detection mechanisms. In: 10th IEEE International Workshop on Factory Communication Systems (WFCS), May, 2014, pp. 1-10
G. Cena;I. Cibrario Bertolotti;T. Hu;A. Valenzano (2014)
Design, verification, and performance of a MODBUS-CAN adaptation layer. In: 10th IEEE International Workshop on Factory Communication Systems (WFCS), May, 2014, pp. 1-10
Hu T.; Cibrario Bertolotti I. (2014)
Model checking. In: Digital Avionics Handbook, 3rd edition / S.N., S.L., CRC press - Taylor and Francis Group. ISBN: 9781439868614
I. . Bertolotti;L. Durante;T. Hu;A. Valenzano (2013)
A Model for the Analysis of Security Policies in Industrial Networks. In: 1st International Symposium for ICS and SCADA Cyber Security Research, 2013, pp. 66-77
Cibrario Bertolotti I.; Durante L.; Hu T.; Valenzano A. (2012)
A Unified Class Model for Checking Security Policies in ICT Infrastructures. In: International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications, pp. 1-6
Cena G.; Cibrario Bertolotti I.; Hu T.; Valenzano A. (2012)
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication. In: IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8
Cena G.; Cibrario Bertolotti I.; Hu T. (2012)
Formal Verification of a Distributed Master Election Protocol. In: IEEE International Workshop on Factory Communication Systems (WFCS 2012), pp. 245-254
Cena G.; Cibrario Bertolotti I.; Hu T.; Valenzano A. (2012)
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. In: IEEE Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8
Cibrario Bertolotti I.; Hu T. (2011)
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo. In: Congresso Nazionale AICA, pp. 1-10
Cibrario Bertolotti I.; Hu T. (2011)
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems. In: IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2011), pp. 1-8
CHEMINOD M; CIBRARIO BERTOLOTTI I; DURANTE L; MAGGI P; POZZA D; SISTO R.; AND VALENZANO A (2009)
Detecting Chains of Vulnerabilities in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 5, pp. 181-193. ISSN 1551-3203
CIBRARIO BERTOLOTTI I; DURANTE L; SISTO R.; VALENZANO A (2008)
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis. In: FORMAL ASPECTS OF COMPUTING, vol. 20, pp. 303-348. ISSN 0934-5043
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (2007)
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska, Poland, 14-16 June 2007, pp. 11-18. ISBN: 9780769528502
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (2007)
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska, Poland, 14-16 June 2007, pp. 153-160. ISBN: 9780769528502
CHEMINOD M.; BERTOLOTTI I. CIBRARIO; DURANTE L; SISTO R; VALENZANO A (2006)
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols. In: Factory Communication Systems, 2006 IEEE International Workshop on, Torino, 28-30 June, 2006, pp. 273-282. ISBN: 9781424403790
Show all publications in Porto@Iris