ACM Transactions on Computer Systems (TOCS)
Formal verification of parallel programs
Communications of the ACM
Computer Performance Modeling Handbook
Computer Performance Modeling Handbook
International Workshop on Timed Petri Nets
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
International Workshop on Timed Petri Nets
Extended Stochastic Petri Nets: Applications and Analysis
Performance '84 Proceedings of the Tenth International Symposium on Computer Performance Modelling, Measurement and Evaluation
Stochastic Activity Networks: Structure, Behavior, and Application
International Workshop on Timed Petri Nets
A Unified Model for Performance and Reliability of Fault-Tolerant/Multi-Mode Systems
A Unified Model for Performance and Reliability of Fault-Tolerant/Multi-Mode Systems
Influence of Workload on Error Recovery in Random Access Memories
IEEE Transactions on Computers - Fault-Tolerant Computing
Survey of software tools for evaluating reliability, availability, and serviceability
ACM Computing Surveys (CSUR)
A Unified Framework for Simulating Markovian Models of Highly Dependable Systems
IEEE Transactions on Computers
Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays
IEEE Transactions on Computers
Stochastic activity networks: formal definitions and concepts
Lectures on formal methods and performance analysis
Performability Modeling with UltraSAN
IEEE Software
Dependability and Performance Measures for the Database Practitioner
IEEE Transactions on Knowledge and Data Engineering
Towards Modelling Information Security with Key-Challenge Petri Nets
NordSec '09 Proceedings of the 14th Nordic Conference on Secure IT Systems: Identity and Privacy in the Internet Age
FTCS'95 Proceedings of the Twenty-Fifth international conference on Fault-tolerant computing
An approach for lifetime reliability analysis using theorem proving
Journal of Computer and System Sciences
| Hi-index | 0.01 |