GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems
IEEE Transactions on Parallel and Distributed Systems
Low-Cost Error Containment and Recovery for Onboard Guarded Software Upgrading and Beyond
IEEE Transactions on Computers - Special issue on fault-tolerant embedded systems
Enhancing dependability in avionics using virtualization
Proceedings of the 1st EuroSys Workshop on Virtualization Technology for Dependable Systems
Integrity management in GUARDS
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
A software integration approach for designing and assessing dependable embedded systems
Journal of Systems and Software
ICA3PP'05 Proceedings of the 6th international conference on Algorithms and Architectures for Parallel Processing
Achieving fault tolerance by a formally validated interaction policy
Rigorous Development of Complex Fault-Tolerant Systems
Hi-index | 0.00 |