Sensitivity analysis of reliability and performability measures for multiprocessor systems
SIGMETRICS '88 Proceedings of the 1988 ACM SIGMETRICS conference on Measurement and modeling of computer systems
On Reliability Modeling of Closed Fault-Tolerant Computer Systems
IEEE Transactions on Computers
On the sensitivity analysis of the expected accumulated reward
Performance Evaluation
An Analysis of a Reliability Model for Repairable Fault-Tolerant Systems
IEEE Transactions on Computers
Transient Analysis of Superposed GSPNs
IEEE Transactions on Software Engineering
Semi-numerical Solution of Stochastic Process Algebra Models
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
A new methodology for calculating distributions of reward accumulated during a finite interval
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Transient Analysis of Superposed GSPNs
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Semi-numerical transient analysis of Markov models
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Sliding Window Abstraction for Infinite Markov Chains
CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
Providing evidence of likely being on time: counterexample generation for CTMC model checking
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Time Distribution in Structural Workflow Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Survivability analysis of power distribution in smart grids with active and reactive power modeling
ACM SIGMETRICS Performance Evaluation Review
| Hi-index | 0.01 |