Ivan Cibrario Bertolotti

According to our database, Ivan Cibrario Bertolotti authored at least 62 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

CANASTA: Controller Area Network Authentication Schedulability Timing Analysis.

Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom

IEEE Trans. Veh. Technol., August, 2023

Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication.

Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom

Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

2022

Improving performance and cyber-attack resilience in multi-firewall industrial networks.

Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano

Proceedings of the 18th IEEE International Conference on Factory Communication Systems, 2022

Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior^*.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano

Proceedings of the IECON 2022, 2022

2020

Automated fault tolerance augmentation in model-driven engineering for CPS.

Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet

Comput. Stand. Interfaces, 2020

2019

Event Notification in CAN-Based Sensor Networks.

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

IEEE Trans. Ind. Informatics, 2019

On a software-defined CAN controller for embedded systems.

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

Comput. Stand. Interfaces, 2019

2018

Error detection and management in CAN XR.

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

Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

Design patterns for the industrial Internet of Things.

Gedare Bloom, Bassma Alsulami, Ebelechukwu Nwafor, Ivan Cibrario Bertolotti

Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

2017

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

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

IEEE Trans. Ind. Informatics, 2017

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

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

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Model-based design languages: A case study.

Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet

Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Supporting security protocols on CAN-based networks.

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

Proceedings of the IEEE International Conference on Industrial Technology, 2017

RTOS support in C-language toolchains.

Ivan Cibrario Bertolotti

Proceedings of the IEEE International Conference on Industrial Technology, 2017

Software patterns for fault injection in CPS engineering.

Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

Towards seamless integration of N-version programming in model-based design.

Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet

Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016

Seamless integration of CAN in intranets.

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

Comput. Stand. Interfaces, 2016

CAN XR: CAN with extensible in-frame Reply.

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

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

2015

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

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

IEEE Trans. Ind. Informatics, 2015

Modular design of an open-source, networked embedded system.

Ivan Cibrario Bertolotti, Tingting Hu

Comput. Stand. Interfaces, 2015

A twofold model for the analysis of access control policies in industrial networked systems.

Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano

Comput. Stand. Interfaces, 2015

Overhead and ACK-induced jitter in Modbus TCP communication.

Tingting Hu, Ivan Cibrario Bertolotti

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

Improving compatibility between CAN FD and legacy CAN devices.

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

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

On the performance of open-source RTOS synchronization primitives.

Ivan Cibrario Bertolotti, Gilda Ghafour Zadeh Kashani

Proceedings of the 1st IEEE International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow, 2015

2014

Design, verification, and performance of a MODBUS-CAN adaptation layer.

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

Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Effect of jitter-reducing encoders on CAN error detection mechanisms.

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

Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution.

Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

System-level performance of an automation solution based on industry standards.

Andrea Ballarino, Alessandro Brusaferri, Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Egidio Leo, Leonardo Nicolosi, Lucia Seno, Stefano Spinelli, Federico Tramarin, Adriano Valenzano, Stefano Vitturi

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

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

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

IEEE Trans. Ind. Informatics, 2013

On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks.

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

Comput. Stand. Interfaces, 2013

A Model for the Analysis of Security Policies in Industrial Networks.

Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano

Proceedings of the 1st International Symposium for ICS & SCADA Cyber Security Research 2013, 2013

Software-based assessment of the synchronization and error handling behavior of a real CAN controller.

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

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012

Evaluation of EtherCAT Distributed Clock Performance.

Gianluca Cena, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino

IEEE Trans. Ind. Informatics, 2012

An efficient fixed-length encoding scheme for CAN.

Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano

Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Formal verification of a distributed master election protocol.

Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu

Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication.

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

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks.

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

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Modeling Emergency Response Plans with Coloured Petri Nets.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano

Proceedings of the Critical Information Infrastructures Security, 2012

2011

Performance of a Real-Time EtherCAT Master Under Linux.

Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio

IEEE Trans. Ind. Informatics, 2011

Real-time performance of an open-source protocol stack for low-cost, embedded systems.

Ivan Cibrario Bertolotti, Tingting Hu

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

A software implementation of IEEE 1588 on RTAI/RTnet platforms.

Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino

Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009

Detecting Chains of Vulnerabilities in Industrial Networks.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano

IEEE Trans. Ind. Informatics, 2009

Tools for cryptographic protocols analysis: A technical and experimental comparison.

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Comput. Stand. Interfaces, 2009

Virtual machines for distributed real-time systems.

Marco Cereia, Ivan Cibrario Bertolotti

Comput. Stand. Interfaces, 2009

A High-performance CAN-like Arbitration Scheme for EtherCAT.

Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Experimental Evaluation of the Linux RT Patch for Real-time Applications.

Wolfgang Betz, Marco Cereia, Ivan Cibrario Bertolotti

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

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

Ivan Cibrario Bertolotti

Proceedings of the Embedded Systems Design and Verification, 2009

2008

Efficient representation of the attacker's knowledge in cryptographic protocols analysis.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Formal Aspects Comput., 2008

2007

Evaluation of Response Times in Industrial WLANs.

Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino

IEEE Trans. Ind. Informatics, 2007

A socket interface for CAN devices.

Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano

Comput. Stand. Interfaces, 2007

Improving the security of industrial networks by means of formal verification.

Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano

Comput. Stand. Interfaces, 2007

Reasoning about communication latencies in real WLANs.

Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007

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

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

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

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Proceedings of the 2007 International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2007), 2007

2006

Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Int. J. Found. Comput. Sci., 2006

2005

Real-Time Embedded Operating Systems.

Ivan Cibrario Bertolotti

Proceedings of the Embedded Systems Handbook., 2005

Modelling CANopen communications according to the socket paradigm.

Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano

Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Proceedings of the Detection of Intrusions and Malware, 2005

Internal Architecture and Features of Real-Time Embedded Operation Systems.

Ivan Cibrario Bertolotti

Proceedings of the Industrial Information Technology Handbook, 2005

2004

Exploiting Symmetries for Testing Equivalence in the Spi Calculus.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003