Hybrid reliability modeling of fault-tolerant computer systems
Computers and Electrical Engineering - Special issue: reliability and verification of computing systems
The C programming language
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
Performance and Reliability Analysis Using Directed Acyclic Graphs
IEEE Transactions on Software Engineering
Probability and Statistics with Reliability, Queuing and Computer Science Applications
Probability and Statistics with Reliability, Queuing and Computer Science Applications
The UNIX Programming Environment
The UNIX Programming Environment
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
International Workshop on Timed Petri Nets
IBM Journal of Research and Development
Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays
IEEE Transactions on Computers
Hierarchical Modeling of Availability in Distributed Systems
IEEE Transactions on Software Engineering
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
IEEE Transactions on Computers
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers
IEEE Transactions on Software Engineering
Reliability modeling for the advanced electric power grid
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
| Hi-index | 0.01 |