Numerical transient analysis of Markov models

Performability Analysis: Measures, an Algorithm, and a Case Study

IEEE Transactions on Computers - Fault-Tolerant Computing

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

Bounding Availability of Repairable Systems

IEEE Transactions on Computers

Performability Analysis Using Semi-Markov Reward Processes

IEEE Transactions on Computers

Computing Cumulative Measures of Stiff Markov Chains Using Aggregation

IEEE Transactions on Computers

Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays

IEEE Transactions on Computers

Regenerative randomization: theory and application examples

Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems

A Modeling Framework to Implement Preemption Policies in Non-Markovian SPNs

IEEE Transactions on Software Engineering

Computationally Efficient and Numerically Stable Reliability Bounds for Repairable Fault-Tolerant Systems

IEEE Transactions on Computers

On the sensitivity analysis of the expected accumulated reward

Performance Evaluation

Markov Regenerative Stochastic Petri Nets to Model and Evaluate Phased Mission Systems Dependability

IEEE Transactions on Computers

Transient Analysis of Superposed GSPNs

IEEE Transactions on Software Engineering

Transient Analysis of Dependability/Performability Models by Regenerative Randomization with Laplace Transform Inversion

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing

Sensitivity Analysis of the Expected Accumulated Reward Using Uniformization and IRK3 Methods

NAA '00 Revised Papers from the Second International Conference on Numerical Analysis and Its Applications

Computation of bounds for transient measures of large rewarded Markov models using regenerative randomization

Computers and Operations Research

Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models

Transient Analysis of Superposed GSPNs

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models

Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

WOSP '04 Proceedings of the 4th international workshop on Software and performance

Transient Analysis of Some Rewarded Markov Models Using Randomization with Quasistationarity Detection

IEEE Transactions on Computers

Model-Based Evaluation: From Dependability to Security

IEEE Transactions on Dependable and Secure Computing

A new petri net modeling technique for the performance analysis of discrete event dynamic systems

Journal of Systems and Software

Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models

Journal of Parallel and Distributed Computing

Efficient implementations of the randomization method with control of the relative error

Computers and Operations Research

OBDD-Based Evaluation of Reliability and Importance Measures for Multistate Systems Subject to Imperfect Fault Coverage

IEEE Transactions on Dependable and Secure Computing

Adapted Importance Sampling Schemes for the Simulation of Dependability Models of Fault-Tolerant Systems with Deferred Repair

ANSS '06 Proceedings of the 39th annual Symposium on Simulation

A light-weight solution for large sparse Markov processes

Proceedings of the 43rd annual Southeast regional conference - Volume 1

Statistical probabilistic model checking with a focus on time-bounded properties

Information and Computation

Estimating Markov-modulated compound Poisson processes

Proceedings of the 2nd international conference on Performance evaluation methodologies and tools

An analytical evaluation of a tradeoff between power efficiency and scheduling updating responsiveness in a TDMA paradigm

The Fourth International Conference on Heterogeneous Networking for Quality, Reliability, Security and Robustness & Workshops

Markovian arrival process parameter estimation with group data

IEEE/ACM Transactions on Networking (TON)

Parallel solution of the chemical master equation

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference

Tackling large state spaces in performance modelling

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

On the Numerical Analysis of Inhomogeneous Continuous-Time Markov Chains

INFORMS Journal on Computing

Transient behavior of ATM networks under overloads

INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3

A simple approximation for modeling nonstationary queues

INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 1

Methodological construction of product-form stochastic Petri nets for performance evaluation

Journal of Systems and Software

Invited Analytic comparison results for communication networks

Computer Communications

Uniformization for nonhomogeneous Markov chains

Operations Research Letters

An efficient MCMC algorithm for continuous ph distributions

Proceedings of the Winter Simulation Conference

Rational Automata Networks: A Non-Markovian Modeling Approach

INFORMS Journal on Computing

The Propagation Approach for Computing Biochemical Reaction Networks

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)

A New General-Purpose Method for the Computation of the Interval Availability Distribution

INFORMS Journal on Computing