Ivan Cibrario Bertolotti

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 24

Top Topics

Access Control Policies

Error Detection

Top Venues

Comput. Stand. Interfaces

IEEE Trans. Ind. Informatics

Publications

Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom
CANASTA: Controller Area Network Authentication Schedulability Timing Analysis. IEEE Trans. Veh. Technol. 72 (8) (2023)
Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom
Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication. RTAS (2023)
Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS (2022)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
. IECON (2022)
Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet
Automated fault tolerance augmentation in model-driven engineering for CPS. Comput. Stand. Interfaces 70 (2020)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
On a software-defined CAN controller for embedded systems. Comput. Stand. Interfaces 63 (2019)
Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet, Adriano Valenzano
Event Notification in CAN-Based Sensor Networks. IEEE Trans. Ind. Informatics 15 (10) (2019)
Gedare Bloom, Bassma Alsulami, Ebelechukwu Nwafor, Ivan Cibrario Bertolotti
Design patterns for the industrial Internet of Things. WFCS (2018)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Error detection and management in CAN XR. WFCS (2018)
Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu
Software patterns for fault injection in CPS engineering. ETFA (2017)
Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet
Model-based design languages: A case study. WFCS (2017)
Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Supporting security protocols on CAN-based networks. ICIT (2017)
Ivan Cibrario Bertolotti
RTOS support in C-language toolchains. ICIT (2017)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation. IEEE Trans. Ind. Informatics 13 (5) (2017)
Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet
Towards seamless integration of N-version programming in model-based design. ETFA (2017)
Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Optimized event notification in CAN through in-frame replies and Bloom filters. WFCS (2017)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Seamless integration of CAN in intranets. Comput. Stand. Interfaces 46 (2016)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
CAN XR: CAN with extensible in-frame Reply. INDIN (2016)
Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano
A twofold model for the analysis of access control policies in industrial networked systems. Comput. Stand. Interfaces 42 (2015)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Improving compatibility between CAN FD and legacy CAN devices. RTSI (2015)
Ivan Cibrario Bertolotti, Gilda Ghafour Zadeh Kashani
On the performance of open-source RTOS synchronization primitives. RTSI (2015)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. IEEE Trans. Ind. Informatics 11 (1) (2015)
Tingting Hu, Ivan Cibrario Bertolotti
Overhead and ACK-induced jitter in Modbus TCP communication. RTSI (2015)
Ivan Cibrario Bertolotti, Tingting Hu
Modular design of an open-source, networked embedded system. Comput. Stand. Interfaces 37 (2015)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Effect of jitter-reducing encoders on CAN error detection mechanisms. WFCS (2014)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Design, verification, and performance of a MODBUS-CAN adaptation layer. WFCS (2014)
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
System-level performance of an automation solution based on industry standards. ETFA (2014)
Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. ETFA (2014)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks. Comput. Stand. Interfaces 35 (5) (2013)
Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano
A Model for the Analysis of Security Policies in Industrial Networks. ICS-CSR (2013)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Software-based assessment of the synchronization and error handling behavior of a real CAN controller. ETFA (2013)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication. IEEE Trans. Ind. Informatics 9 (4) (2013)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. ETFA (2012)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. ETFA (2012)
Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano
An efficient fixed-length encoding scheme for CAN. WFCS (2012)
Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu
Formal verification of a distributed master election protocol. WFCS (2012)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano
Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS (2012)
Gianluca Cena, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
Evaluation of EtherCAT Distributed Clock Performance. IEEE Trans. Ind. Informatics 8 (1) (2012)
Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio
Performance of a Real-Time EtherCAT Master Under Linux. IEEE Trans. Ind. Informatics 7 (4) (2011)
Ivan Cibrario Bertolotti, Tingting Hu
Real-time performance of an open-source protocol stack for low-cost, embedded systems. ETFA (2011)
Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino
A software implementation of IEEE 1588 on RTAI/RTnet platforms. ETFA (2010)
Wolfgang Betz, Marco Cereia, Ivan Cibrario Bertolotti
Experimental Evaluation of the Linux RT Patch for Real-time Applications. ETFA (2009)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Tools for cryptographic protocols analysis: A technical and experimental comparison. Comput. Stand. Interfaces 31 (5) (2009)
Marco Cereia, Ivan Cibrario Bertolotti
Virtual machines for distributed real-time systems. Comput. Stand. Interfaces 31 (1) (2009)
Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino
A High-performance CAN-like Arbitration Scheme for EtherCAT. ETFA (2009)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
Detecting Chains of Vulnerabilities in Industrial Networks. IEEE Trans. Ind. Informatics 5 (2) (2009)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Efficient representation of the attacker's knowledge in cryptographic protocols analysis. Formal Aspects Comput. 20 (3) (2008)
Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano
A socket interface for CAN devices. Comput. Stand. Interfaces 29 (6) (2007)
Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
Improving the security of industrial networks by means of formal verification. Comput. Stand. Interfaces 29 (3) (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. DepCoS-RELCOMEX (2007)
Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino
Evaluation of Response Times in Industrial WLANs. IEEE Trans. Ind. Informatics 3 (3) (2007)
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. DepCoS-RELCOMEX (2007)
Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino
Reasoning about communication latencies in real WLANs. ETFA (2007)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. Int. J. Found. Comput. Sci. 17 (4) (2006)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA (2005)
Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano
Modelling CANopen communications according to the socket paradigm. ETFA (2005)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA (2004)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS (2003)
Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE (2003)