Ivan Cibrario Bertolotti
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
11
Active years
2003–2023
Best venue rank
C
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | RTAS | Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication. | Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom |
| 2022 | IECON | Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano |
| 2022 | WFCS | Improving performance and cyber-attack resilience in multi-firewall industrial networks. | Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano |
| 2018 | WFCS | Design patterns for the industrial Internet of Things. | Gedare Bloom, Bassma Alsulami, Ebelechukwu Nwafor, Ivan Cibrario Bertolotti |
| 2018 | WFCS | Error detection and management in CAN XR. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2017 | ETFA | Towards seamless integration of N-version programming in model-based design. | Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet |
| 2017 | ETFA | Software patterns for fault injection in CPS engineering. | Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu |
| 2017 | WFCS | Model-based design languages: A case study. | Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet |
| 2017 | WFCS | Optimized event notification in CAN through in-frame replies and Bloom filters. | Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2016 | INDIN | CAN XR: CAN with extensible in-frame Reply. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2014 | ETFA | 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 |
| 2014 | ETFA | Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. | Marco Cereia, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano |
| 2014 | WFCS | Effect of jitter-reducing encoders on CAN error detection mechanisms. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2014 | WFCS | Design, verification, and performance of a MODBUS-CAN adaptation layer. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2013 | ETFA | Software-based assessment of the synchronization and error handling behavior of a real CAN controller. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2012 | CRITIS | Modeling Emergency Response Plans with Coloured Petri Nets. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano |
| 2012 | ETFA | Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2012 | ETFA | Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano |
| 2012 | WFCS | Formal verification of a distributed master election protocol. | Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu |
| 2012 | WFCS | An efficient fixed-length encoding scheme for CAN. | Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano |
| 2011 | ETFA | Real-time performance of an open-source protocol stack for low-cost, embedded systems. | Ivan Cibrario Bertolotti, Tingting Hu |
| 2010 | ETFA | A software implementation of IEEE 1588 on RTAI/RTnet platforms. | Gianluca Cena, Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio, Adriano Valenzano, Claudio Zunino |
| 2009 | ETFA | Experimental Evaluation of the Linux RT Patch for Real-time Applications. | Wolfgang Betz, Marco Cereia, Ivan Cibrario Bertolotti |
| 2009 | ETFA | A High-performance CAN-like Arbitration Scheme for EtherCAT. | Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino |
| 2007 | DEPCoS | Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | DEPCoS | Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. | Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2007 | ETFA | Reasoning about communication latencies in real WLANs. | Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino |
| 2005 | DIMVA | Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2005 | ETFA | Modelling CANopen communications according to the socket paradigm. | Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano |
| 2004 | ATVA | Exploiting Symmetries for Testing Equivalence in the Spi Calculus. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | FORTE | Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
| 2003 | TACAS | A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |