Fault-Tolerant Broadcasts in CAN

Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors

IEEE Transactions on Parallel and Distributed Systems

Achieving Fault-Tolerant Ordered Broadcasts in CAN

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing

Reliable Communication in Distributed Computer-Controlled Systems

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Avoiding Malicious Byzantine Faults by a New Signature Generation Technique

EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing

A Consensus Protocol for CAN-Based Systems

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium

Reliable Real-Time Communication in CAN Networks

IEEE Transactions on Computers

Replication Management in Reliable Real-Time Systems

Real-Time Systems

COSMIC: A real-time event-based middleware for the CAN-bus

Journal of Systems and Software - Special issue: Parallel and distributed real-time systems

Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised

Real-Time Systems

Implementation and analysis of real-time communication protocol compositions

Real-Time Systems

Managing redundancy in CAN-based networks supporting N-Version Programming

Computer Standards & Interfaces

Robust priority assignment for messages on Controller Area Network (CAN)

Real-Time Systems

Advances in automotive digital communications

Computer Standards & Interfaces

Reliable communication for DuST networks

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

A first design for CANsistant: a mechanism to prevent inconsistent omissions in CAN in the presence of multiple errors

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

Demonstrating the feasibility of media management in ReCANcentrate

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

Modeling and verification of master/slave clock synchronization using hybrid automata and model-checking

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering

Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways

Real-Time Systems