Ivan CIBRARIO BERTOLOTTI

Email : ivan.cibrario [at] ieiit.cnr.it

Research Interests

Techniques And Tools For The Analysis of Networks And Complex Systems

Industrial Communication Systems

Real-Time And Embedded Systems


Projects

PHOTO
Phone : +39 011 0905426
Fax : +39 011 0905429
Site :Torino
Position : Researcher

Publications

journals |conference proceedings |book chapters |patents |books |

journals

G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation

IEEE Transactions on Industrial Informatics, 13(5), 2436-2446, 2017


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Seamless Integration of CAN in Intranets

Computer Standards & Interfaces, 46(): 1-14, 2016


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication

IEEE Transactions on Industrial Informatics,11(1), 83-93, 2015


I. Cibrario Bertolotti, L. Durante, L. Seno, A. Valenzano

A Twofold Formal Model for the Analysis of Access Control Policies in Industrial Networked Systems

Computer Standards & Interfaces, 42(6):171-181, 2015


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Eliminare il Bit Stuffing nelle Reti CAN

Automazione e Strumentazione, 63(6): 87-91, 2015


I. Cibrario Bertolotti, T. Hu

Modular Design of an Open-Source, Networked Embedded System

Computer Standards & Interfaces, 2014


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Un codec a basso jitter per reti CAN

Automazione e Strumentazione, 62(3): 76-79 , 2014


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication

IEEE Transactions on Industrial Informatics, 9(4), 2155-2164, 2013


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

On a Family of Run Length Limited, Block Decodable Codes to Prevent Payload-Induced Jitter in Controller Area Networks

Computer Standards & Interfaces, 35(5): 536-548, 2013


G. Cena, I. Cibrario Bertolotti, S. Scanzio, A. Valenzano, C. Zunino

Synchronize Your Watches: Part I: General-Purpose Solutions for Distributed Real-Time Control

IEEE Industrlal Electronics Magazine, 7(1): 18-29, 2013


G. Cena, I. Cibrario Bertolotti, S. Scanzio, A. Valenzano, C. Zunino

Synchronize Your Watches: Part II: Special-Purpose Solutions for Distributed Real-Time Control

IEEE Industrlal Electronics Magazine, 7(2): 27-39, 2013


G. Cena, I. Cibrario Bertolotti, S. Scanzio, A. Valenzano, C. Zunino

Evaluation of EtherCAT Distributed Clock Performance

IEEE Transactions on Industrial Informatics, 8(1): 20-29, 2012


M. Cereia, I. Cibrario Bertolotti, S.Scanzio

Performance of a Real-Time EtherCAT Master Under Linux

IEEE Transactions on Industrial Informatics 7(4): 679-687, 2011


M. Cheminod, I. Cibrario Bertolotti, L. Durante, P. Maggi, D. Pozza, R. Sisto, A. Valenzano

Detecting Chains of Vulnerabilities in Industrial Networks

IEEE Transactions on Industrial Informatics, 5(2):181-193, 2009


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Tools for Cryptographic Protocols Analysis: a Technical and Experimental Comparison

Computer Standards & Interfaces, 31(5):954-961, 2009


M. Cereia, I. Cibrario Bertolotti

Virtual Machines for Distributed Real-Time Systems

Computer Standards & Interfaces, 31(1): 30-39, 2009


I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis

Formal Aspects of Computing, 20(3):303-348, 2008


G. Cena, I. Cibrario Bertolotti, A. Valenzano

A Socket Interface for CAN Devices

Computer Standards & Interfaces, 29(6), 662-673, 2007


G. Cena, I. Cibrario Bertolotti, A. Valenzano, C. Zunino

Evaluation of Response Times in Industrial WLANs

IEEE Transactions on Industrial Informatics, 3(3), 191-201, 2007


I. Cibrario Bertolotti, L. Durante, P. Maggi, R. Sisto, A. Valenzano

Improving the Security of Industrial Networks by Means of Formal Verification

Computer Standards & Interfaces, 29(3):387-397, 2007


I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Exploiting Symmetries for Testing Equivalence Verification in the SPI Calculus

Invited paper. International Journal of Foundations of Computer Science, 17(4):815-832, 2006


I. Cibrario Bertolotti, A. Zuccaro

JIT Compiler Speeds Java Execution

Electronic Engineering Times, Issue 1018, 1998


conference proceedings

G. Bloom, G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Supporting Security Protocols on CAN-Based Networks

18th IEEE Int. Conference on Industrial Technologies (ICIT 2017), pp. 1334-1339, 2017


I. Cibrario Bertolotti, T. Hu, G. Ghafour Zadeh Kashani

A Low-Overhead Framework for Inexpensive Embedded Control Systems

12th Int. Conf. on Digital Telecommunications (ICDT 2017), pp. 7-12, 2017


Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano

Optimized event notification in CAN through in-frame replies and Bloom filters

13th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 1-10, 2017


Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet

Model-based design languages: A case study

13th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 1-10, 2017


G. Cena, I. Cibrario Bertolotti T. Hu, A. Valenzano

CAN XR: CAN with extensible in-frame Reply

14th IEEE Int. Conf. on Industrial Informatics (INDIN 2016), pp. 1198-1201, 2016


I. Cibrario Bertolotti, T. Hu

Overhead and ACK-Induced Jitter in Modbus TCP Communication

1st IEEE Int. Forum on Research and Technologies for Society and Industry (RTSI 2015), 2015


I. Cibrario Bertolotti, G. Ghafour Zadeh Kashani

On the Performance of Open-Source RTOS Synchronization Primitives

1st IEEE Int. Forum on Research and Technologies for Society and Industry (RTSI 2015), 2015


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Improving Compatibility between CAN FD and Legacy CAN Devices

1st IEEE Int. Forum on Research and Technologies for Society and Industry (RTSI 2015), 2015


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Preventing Bit Stuffing in CAN

15th Int. CAN Conference (ICC 2015), pp.04/1-7, 2015


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Effect of Jitter-Reducing Encoders on CAN Error Detection Mechanisms

10th IEEE Int. Workshop on Factory Communication Systems (WFCS 2014), pp. 1-10, 2014


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Design, Verification, and Performance of a MODBUS-CAN Adaptation Layer

10th IEEE Int. Workshop on Factory Communication Systems (WFCS 2014), pp. 1-10, 2014


M. Cereia, I. Cibrario Bertolotti, L. Durante, A. Valenzano

Latency Evaluation of a Firewall for Industrial Networks Based on the Tofino Industrial Security Solution

19th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-8, 2014


A. Ballarino, A. Brusaferri, M. Cereia, I. Cibrario Bertolotti, L. Durante, T. Hu, E. Leo, L. Nicolosi, L. Seno, S. Spinelli, F. Tramarin, A. Valenzano, S. Vitturi

System-level Performance of an Automation Solution Based on Industry Standards

19th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA), pp. 1-9, 2014


G. Cena, I. Cibrario Bertolotti. T. Hu, A. Valenzano

Software-Based Assessment of the Synchronization and Error Handling Behavior of a Real CAN Controller

18th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA 2013), pp. 1-8, 2013


I. Cibrario Bertolotti, L. Durante, T. Hu, A. Valenzano

A Model for the Analysis of Security Policies in Industrial Networks

1st Int. Symposium on ICS and SCADA Cyber Security (ICS-CSR), pp. 1-11, 2013


G. Cena, I. Cibrario Bertolotti, A. Valenzano

An Efficient Fixed-Length Encoding Scheme for CAN

9th IEEE Int. Workshop on Factory Communication Systems (WFCS 2012), pp. 265-274, 2012


G. Cena, I. Cibrario Bertolotti, T. Hu

Formal Verification of a Distributed Master Election Protocol

9th IEEE Int. Workshop on Factory Communication Systems (WFCS 2012), pp. 245-254, 2012


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Performance Comparison of Mechanisms To Reduce Bit Stuffing Jitters in Controller Area Networks

17th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA 2012), pp. 1-8, 2012


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Performance Evaluation and Improvement of the CPU–CAN Controller Interface for Low-Jitter Communication

17th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA 2012), pp. 1-8, 2012


M. Cheminod, I. Cibrario Bertolotti, L. Durante, A. Valenzano

Modeling Emergency Response Plans with Coloured Petri Nets

7th Int. Workshop on Critical Information Infrastructures Security (CRITIS), vol. 7722/2013 LNCS, pp. 106-117, 2012


I. Cibrario Bertolotti, L. Durante, T. Hu, A. Valenzano

A Unified Class Model for Checking Security Policies in ICT Infrastructures

1st IEEE-AESS Conference about Space and Satellite Telecommunications (ESTEL), pp. 1-6, 2012


I. Cibrario Bertolotti, T. Hu

Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems

16th IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA 2011), pp. 1-8, 2011


I. Cibrario Bertolotti, T. Hu

Analisi di una Pila Protocollare Open Source per Sistemi in Tempo Reale a Basso Costo

AICA Italian National Conference, Torino, pp. 1-8 (in Italian), 2011


M. Cheminod, I. Cibrario Bertolotti, L. Durante, A. Valenzano

Automatic Analysis of Security Policies in Industrial Networks

8th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 109-118, 2010


G. Cena, M. Cereia, I. Cibrario Bertolotti, S. Scanzio

A ModBus Extension For Inexpensive Distributed Embedded Systems

8th IEEE International Workshop on Factory Communication Systems (WFCS 2010), pp. 251-260, 2010


M. Cereia, I. Cibrario Bertolotti, S.Scanzio

Performance Evaluation of an EtherCAT Master Using Linux and the RT-Patch

IEEE Int. Symposium on Industrial Electronics (ISIE 2010), 2010


G. Cena, M. Cereia, I. Cibrario Bertolotti, S. Scanzio, A. Valenzano, C. Zunino

A Software Implementation of IEEE 1588 on RTAI/RTnet

15th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2010), pp. 1-8, 2010


G. Cena, I. Cibrario Bertolotti, S. Scanzio, A. Valenzano, C. Zunino

On the Accuracy of the Distributed Clock Mechanism in EtherCAT

Best Paper Award, 8th IEEE Int. Workshop on Factory Communication Systems (WFCS 2010), pp. 43-52, 2010


G. Cena, R. Cesarato, I. Cibrario Bertolotti

An RTOS-Based Design for Inexpensive Distributed Embedded System

IEEE Int. Symposium on Industrial Electronics (ISIE 2010), 2010


W. Betz, M. Cereia, I. Cibrario Bertolotti

Experimental Evaluation of the Linux RT Patch for Real-Time Applications

14th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2009), pp. 1-4, 2009


G. Cena, I. Cibrario Bertolotti, A. Valenzano, C. Zunino

A High-Performance CAN-Like Arbitration Scheme for EtherCAT

14th IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA 2009), pp- 1-8, 2009


M. Cheminod, I. Cibrario Bertolotti, L. Durante, A. Valenzano

On the Analysis of Vulnerability Chains in Industrial Networks

7th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 215-224, 2008


M. Cereia, I. Cibrario Bertolotti

Asymmetric Virtualisation for Real-Time Systems

IEEE International Symposium on Industrial Electronics (ISIE 2008), pp. 1680-1685, 2008


G. Cena, I. Cibrario Bertolotti, A. Valenzano, C. Zunino

Industrial Applications of IEEE 802.11e WLANs

7th IEEE Int. Workshop on Factory Communication Systems (WFCS 2008), pp. 129-138, 2008


G. Cena, I. Cibrario Bertolotti, A. Valenzano, C. Zunino

Analysis of Response Times in 802.11 Industrial Networks

5th IEEE Int. Conf. on Industrial Informatics (INDIN 2007), pp. 195-200, 2007


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems

2nd Int. Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX), pp. 11-18, 2007


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols

2nd Int. Conference on Dependability of Computer Systems (DEPCOS-RELCOMEX), pp. 153-160, 2007


G. Cena, I. Cibrario Bertolotti, A. Valenzano, C. Zunino

Reasoning About Communication Latencies in Real WLANs

12th IEEE Int. Conf. on Emerging Technologies in Factory Automation (ETFA 2007), pp. 187-194, 2007


G. Cena, I. Cibrario Bertolotti, L. Ferreri, A. Valenzano

Socket-Based CAN Support for Embedded Operating Systems

7th IFAC Int. Conf. on Fieldbuses and Networks in Industrial and Embedded Systems (FET 2007), , 2007


G. Cena, I. Cibrario Bertolotti, A. Valenzano

Experimental Analysis of Latencies in Ethernet Communications

6th IEEE International Workshop on Factory Communication Systems (WFCS 2006), pp. 303-312, 2006


M. Cheminod, I. Cibrario Bertolotti, L. Durante, R. Sisto, A. Valenzano

On the Use of Automatic Tools for the Formal Analysis of the IEEE 802.11 Key-Exchange Protocols

6th IEEE Int. Workshop on Factory Communication Systems (WFCS), pp. 273-282, 2006


M. Cereia, I. Cibrario Bertolotti

Virtual Processors for Industrial Applications

10th International Conference on Emerging Technologies and Factory Automation (ETFA 2005), pp. 323-330, 2005


G. Cena, I. Cibrario Bertolotti, A. Valenzano

Modelling CANopen Communications According to the Socket Paradigm

10th International Conference on Emerging Technologies and Factory Automation (ETFA 2005), pp. 791-798, 2005


I. Cibrario Bertolotti, L. Durante, A. Valenzano, R. Sisto

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study

2nd Int. Conference on Intrusion and Malware Detection and Vulnerability Assessment (DIMVA), vol. 3548/2005 LNCS, pp. 69-84, 2005


G. Cena, I. Cibrario Bertolotti, A. Valenzano

A Socket-Based Interface to CAN

10th International CAN Conference (iCC 2005), pp. 8/1-8/8, 2005


G. Cena, I. Cibrario Bertolotti, A. Valenzano

Inexpensive Tools for Measuring Ethernet Performance

2nd IEEE International Conference on Industrial Informatics (INDIN'04), pp. 303-308, 2004


I. Cibrario Bertolotti, L. Durante, R. sisto, A. Valenzano

Exploiting Symmetries for Testing Equivalence in the Spi Calculus

2nd Int. Conference on Automated Technology for Verification and Analysis (ATVA), vol. 3299/2004 LNCS, pp. 135-149, 2004


I. Cibrario Bertolotti, L. Durante, A. Valenzano, R. Sisto

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis

23rd IFIP Int. Conference on Formal Techniques for Networked and Distributed Systems (FORTE), vol. 2767/2003 LNCS, pp. 224-239, 2003


I. Cibrario Bertolotti, L. Durante, A. Valenzano, R. Sisto

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis

9th Int. Conference on Tools and Algorithms for the Construction andAnalysis of Systems (TACAS), vol. 2619/2003 LNCS, pp. 284-298, 2003


W. Betz, I. Cibrario Bertolotti

Design and Implementation of a Java Execution Environment for Digital TV Set-Top Boxes

1st On-Line Symposium for Electronics Engineers, 2001


A. Chimienti, I. Cibrario Bertolotti, R. Picco

Filter Evaluation for wavelet transform

13th International Conference on Digital Signal Processing, pp. 633-636, 1997


book chapters

T. Hu, I. Cibrario Bertolotti

Model Checking

Digital Avionics Handbook, C.R. Spitzer, U. Ferrel and T. Ferrel Eds., 3rd edition, CRC Press, 2014


I. Cibrario Bertolotti

Network-Ready, Open-Source Operating Systems for Embedded, Real-Time Applications

Embedded Systems Handbook, R. Zurawski Ed., 2nd Edition, CRC Press, 2009


I. Cibrario Bertolotti

Real-Time Embedded Operating Systems: Standards and Perspectives

Embedded Systems Handbook, R. Zurawski Ed., CRC Press, 2005


I. Cibrario Bertolotti

Internal Architecture and Features of Real-time Embedded Operating Systems

The Industrial Information Technology Handbook, R. Zurawski Ed., CRC Press, 2004


patents

G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Limitation of Bit Stuffing in a Communication Frame of an Electronic Signal

European patent EP2908475, 2015


G. Cena, I. Cibrario Bertolotti, T. Hu, A. Valenzano

Limitazione del bit stuffing in una trama di comunicazione di un segnale elettronico

Brevetto Italiano n. TO2014A000132, 2014


books

I. Cibrario Bertolotti, G. Manduchi

Real-Time Embedded Systems: Open-Source Operating Systems Perspective

CRC Press, Taylor & Francis Group, 2012