![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Ivan Cibrario Bertolotti
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j21]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): 10024-10036 (2023) - [c38]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: 349-352 - 2022
- [c37]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Lucia Seno, Adriano Valenzano:
Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior*. IECON 2022: 1-6 - [c36]Lucia Seno, Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Adriano Valenzano:
Improving performance and cyber-attack resilience in multi-firewall industrial networks. WFCS 2022: 1-8 - 2020
- [j20]Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet:
Automated fault tolerance augmentation in model-driven engineering for CPS. Comput. Stand. Interfaces 70: 103424 (2020)
2010 – 2019
- 2019
- [j19]Gianluca Cena, Ivan Cibrario Bertolotti
, Tingting Hu, Adriano Valenzano:
On a software-defined CAN controller for embedded systems. Comput. Stand. Interfaces 63: 43-51 (2019) - [j18]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): 5613-5625 (2019) - 2018
- [c35]Gedare Bloom, Bassma Alsulami, Ebelechukwu Nwafor, Ivan Cibrario Bertolotti:
Design patterns for the industrial Internet of Things. WFCS 2018: 1-10 - [c34]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Error detection and management in CAN XR. WFCS 2018: 1-9 - 2017
- [j17]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): 2436-2446 (2017) - [c33]Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet:
Towards seamless integration of N-version programming in model-based design. ETFA 2017: 1-8 - [c32]Nicolas Navet, Ivan Cibrario Bertolotti, Tingting Hu:
Software patterns for fault injection in CPS engineering. ETFA 2017: 1-6 - [c31]Ivan Cibrario Bertolotti:
RTOS support in C-language toolchains. ICIT 2017: 1328-1333 - [c30]Gedare Bloom, Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Supporting security protocols on CAN-based networks. ICIT 2017: 1334-1339 - [c29]Ivan Cibrario Bertolotti, Tingting Hu, Nicolas Navet:
Model-based design languages: A case study. WFCS 2017: 1-6 - [c28]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: 1-10 - 2016
- [j16]Gianluca Cena
, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Seamless integration of CAN in intranets. Comput. Stand. Interfaces 46: 1-14 (2016) - [c27]Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
CAN XR: CAN with extensible in-frame Reply. INDIN 2016: 1198-1201 - 2015
- [j15]Ivan Cibrario Bertolotti, Tingting Hu:
Modular design of an open-source, networked embedded system. Comput. Stand. Interfaces 37: 41-52 (2015) - [j14]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: 171-181 (2015) - [j13]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): 83-93 (2015) - [c26]Tingting Hu, Ivan Cibrario Bertolotti:
Overhead and ACK-induced jitter in Modbus TCP communication. RTSI 2015: 392-397 - [c25]Ivan Cibrario Bertolotti, Gilda Ghafour Zadeh Kashani:
On the performance of open-source RTOS synchronization primitives. RTSI 2015: 398-402 - [c24]Gianluca Cena
, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Improving compatibility between CAN FD and legacy CAN devices. RTSI 2015: 419-426 - 2014
- [c23]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: 1-6 - [c22]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: 1-8 - [c21]Gianluca Cena
, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Effect of jitter-reducing encoders on CAN error detection mechanisms. WFCS 2014: 1-10 - [c20]Gianluca Cena
, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Design, verification, and performance of a MODBUS-CAN adaptation layer. WFCS 2014: 1-10 - 2013
- [j12]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): 536-548 (2013) - [j11]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): 2155-2164 (2013) - [c19]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: 1-9 - [c18]Ivan Cibrario Bertolotti, Luca Durante, Tingting Hu, Adriano Valenzano:
A Model for the Analysis of Security Policies in Industrial Networks. ICS-CSR 2013 - 2012
- [j10]Gianluca Cena
, Ivan Cibrario Bertolotti, Stefano Scanzio
, Adriano Valenzano, Claudio Zunino:
Evaluation of EtherCAT Distributed Clock Performance. IEEE Trans. Ind. Informatics 8(1): 20-29 (2012) - [c17]Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante
, Adriano Valenzano:
Modeling Emergency Response Plans with Coloured Petri Nets. CRITIS 2012: 106-117 - [c16]Gianluca Cena
, Ivan Cibrario Bertolotti, Tingting Hu, Adriano Valenzano:
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. ETFA 2012: 1-8 - [c15]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: 1-8 - [c14]Gianluca Cena
, Ivan Cibrario Bertolotti, Tingting Hu:
Formal verification of a distributed master election protocol. WFCS 2012: 245-254 - [c13]Gianluca Cena
, Ivan Cibrario Bertolotti, Adriano Valenzano:
An efficient fixed-length encoding scheme for CAN. WFCS 2012: 265-274 - 2011
- [j9]Marco Cereia, Ivan Cibrario Bertolotti, Stefano Scanzio
:
Performance of a Real-Time EtherCAT Master Under Linux. IEEE Trans. Ind. Informatics 7(4): 679-687 (2011) - [c12]Ivan Cibrario Bertolotti, Tingting Hu:
Real-time performance of an open-source protocol stack for low-cost, embedded systems. ETFA 2011: 1-8 - 2010
- [c11]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: 1-8
2000 – 2009
- 2009
- [j8]Marco Cereia, Ivan Cibrario Bertolotti:
Virtual machines for distributed real-time systems. Comput. Stand. Interfaces 31(1): 30-39 (2009) - [j7]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): 954-961 (2009) - [j6]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): 181-193 (2009) - [c10]Wolfgang Betz, Marco Cereia, Ivan Cibrario Bertolotti:
Experimental Evaluation of the Linux RT Patch for Real-time Applications. ETFA 2009: 1-4 - [c9]Gianluca Cena
, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino:
A High-performance CAN-like Arbitration Scheme for EtherCAT. ETFA 2009: 1-8 - [p2]Ivan Cibrario Bertolotti:
Network-Ready, Open Source Operating Systems for Embedded Real-Time Applications. Embedded Systems Design and Verification 2009: 8 - 2008
- [j5]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): 303-348 (2008) - 2007
- [j4]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): 387-397 (2007) - [j3]Gianluca Cena
, Ivan Cibrario Bertolotti, Adriano Valenzano:
A socket interface for CAN devices. Comput. Stand. Interfaces 29(6): 662-673 (2007) - [j2]Gianluca Cena
, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino:
Evaluation of Response Times in Industrial WLANs. IEEE Trans. Ind. Informatics 3(3): 191-201 (2007) - [c8]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: 11-18 - [c7]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: 153-160 - [c6]Gianluca Cena
, Ivan Cibrario Bertolotti, Adriano Valenzano, Claudio Zunino:
Reasoning about communication latencies in real WLANs. ETFA 2007: 187-194 - 2006
- [j1]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): 815-832 (2006) - 2005
- [c5]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84 - [c4]Gianluca Cena, Ivan Cibrario Bertolotti, Adriano Valenzano:
Modelling CANopen communications according to the socket paradigm. ETFA 2005 - [p1]Ivan Cibrario Bertolotti:
Internal Architecture and Features of Real-Time Embedded Operation Systems. The Industrial Information Technology Handbook 2005: 1-23 - [r1]Ivan Cibrario Bertolotti:
Real-Time Embedded Operating Systems. Embedded Systems Handbook 2005 - 2004
- [c3]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149 - 2003
- [c2]Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239 - [c1]Ivan Cibrario Bertolotti, Luca Durante
, Riccardo Sisto, Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint