Ivan Cibrario Bertolotti

According to our database1, Ivan Cibrario Bertolotti authored at least 55 papers between 2003 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Automated fault tolerance augmentation in model-driven engineering for CPS.
Comput. Stand. Interfaces, 2020

2019
Event Notification in CAN-Based Sensor Networks.
IEEE Trans. Ind. Informatics, 2019

On a software-defined CAN controller for embedded systems.
Comput. Stand. Interfaces, 2019

2018
Error detection and management in CAN XR.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

Design patterns for the industrial Internet of Things.
Proceedings of the 14th IEEE International Workshop on Factory Communication Systems, 2018

2017
CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation.
IEEE Trans. Ind. Informatics, 2017

Optimized event notification in CAN through in-frame replies and Bloom filters.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Model-based design languages: A case study.
Proceedings of the IEEE 13th International Workshop on Factory Communication Systems, 2017

Supporting security protocols on CAN-based networks.
Proceedings of the IEEE International Conference on Industrial Technology, 2017

RTOS support in C-language toolchains.
Proceedings of the IEEE International Conference on Industrial Technology, 2017

Software patterns for fault injection in CPS engineering.
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.
Proceedings of the 22nd IEEE International Conference on Emerging Technologies and Factory Automation, 2017

2016
Seamless integration of CAN in intranets.
Comput. Stand. Interfaces, 2016

CAN XR: CAN with extensible in-frame Reply.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

2015
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication.
IEEE Trans. Ind. Informatics, 2015

Modular design of an open-source, networked embedded system.
Comput. Stand. Interfaces, 2015

A twofold model for the analysis of access control policies in industrial networked systems.
Comput. Stand. Interfaces, 2015

2014
Design, verification, and performance of a MODBUS-CAN adaptation layer.
Proceedings of the 10th IEEE Workshop on Factory Communication Systems, 2014

Effect of jitter-reducing encoders on CAN error detection mechanisms.
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.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

System-level performance of an automation solution based on industry standards.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013
Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication.
IEEE Trans. Ind. Informatics, 2013

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

A Model for the Analysis of Security Policies in Industrial Networks.
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.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
Evaluation of EtherCAT Distributed Clock Performance.
IEEE Trans. Ind. Informatics, 2012

An efficient fixed-length encoding scheme for CAN.
Proceedings of the 9th IEEE International Workshop on Factory Communication Systems, 2012

Formal verification of a distributed master election protocol.
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.
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.
Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, 2012

Modeling Emergency Response Plans with Coloured Petri Nets.
Proceedings of the Critical Information Infrastructures Security, 2012

2011
Performance of a Real-Time EtherCAT Master Under Linux.
IEEE Trans. Ind. Informatics, 2011

Real-time performance of an open-source protocol stack for low-cost, embedded systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
A software implementation of IEEE 1588 on RTAI/RTnet platforms.
Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, 2010

2009
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Ind. Informatics, 2009

Tools for cryptographic protocols analysis: A technical and experimental comparison.
Comput. Stand. Interfaces, 2009

Virtual machines for distributed real-time systems.
Comput. Stand. Interfaces, 2009

A High-performance CAN-like Arbitration Scheme for EtherCAT.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Experimental Evaluation of the Linux RT Patch for Real-time Applications.
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Network-Ready, Open Source Operating Systems for Embedded Real-Time Applications.
Proceedings of the Embedded Systems Design and Verification, 2009

2008
Efficient representation of the attacker's knowledge in cryptographic protocols analysis.
Formal Aspects Comput., 2008

2007
Evaluation of Response Times in Industrial WLANs.
IEEE Trans. Ind. Informatics, 2007

A socket interface for CAN devices.
Comput. Stand. Interfaces, 2007

Improving the security of industrial networks by means of formal verification.
Comput. Stand. Interfaces, 2007

Reasoning about communication latencies in real WLANs.
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.
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.
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.
Int. J. Found. Comput. Sci., 2006

2005
Real-Time Embedded Operating Systems.
Proceedings of the Embedded Systems Handbook., 2005

Modelling CANopen communications according to the socket paradigm.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
Proceedings of the Detection of Intrusions and Malware, 2005

Internal Architecture and Features of Real-Time Embedded Operation Systems.
Proceedings of the Industrial Information Technology Handbook, 2005

2004
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003


  Loading...