Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms
IEEE Transactions on Software Engineering
Economic Online Self-Test in the Time-Triggered Architecture
IEEE Design & Test
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
Avoiding Malicious Byzantine Faults by a New Signature Generation Technique
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
An Analysable Bus-Guardian for Event-Triggered Communication
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Maximizing the Robustness of TDMA Networks with Applications to TTP/C
Real-Time Systems
The TTA's Approach to Resilience after Transient Upsets
Real-Time Systems
Integrating automotive applications using overlay networks on top of a time-triggered protocol
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Classification of Activated Faults in the FlexRay-Based Networks
Journal of Electronic Testing: Theory and Applications
Efficiency of dynamic arbitration in TDMA protocols
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Dependable and predictable time-triggered Ethernet networks with COTS components
Journal of Systems Architecture: the EUROMICRO Journal
Hi-index | 0.00 |