Ivan Cibrario Bertolotti

67 papers A 2B 2C 26Journal 26Unranked 8

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