New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
Design of self-checking software
Proceedings of the international conference on Reliable software
Fault-tolerance and fault-intolerance: Complementary approaches to reliable computing
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Verification of Concurrent Control Flow in Distributed Computer Systems
IEEE Transactions on Software Engineering
Performance Impacts of Look-Ahead Execution in the Conversation Scheme
IEEE Transactions on Computers
Some Results of the Earliest Deadline Scheduling Algorithm
IEEE Transactions on Software Engineering
Resourceful systems for fault tolerance, reliability, and safety
ACM Computing Surveys (CSUR)
An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability
IEEE Transactions on Software Engineering
The simulation of a fault tolerant computer system
ANSS '85 Proceedings of the 18th annual symposium on Simulation
Implementing Design Diversity to Achieve Fault Tolerance
IEEE Software
IEEE Transactions on Software Engineering
Implementation and evaluation of failsafe computer-controlled systems
Computers and Industrial Engineering - 26th International conference on computers and industrial engineering
Prevention of task overruns in real-time non-preemptive multiprogramming systems
PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
A Model for Updating Real-Time Applications
Real-Time Systems
Software development for reliable software systems
Journal of Systems and Software
Software health management with Bayesian networks
Innovations in Systems and Software Engineering
Hi-index | 0.01 |