Computable Error Bounds for Aggregated Markov Chains
Journal of the ACM (JACM)
On time and space decomposition of complex structures
Communications of the ACM
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains
IEEE Transactions on Computers
IBM Journal of Research and Development
Bounding availability of repairable computer systems
SIGMETRICS '89 Proceedings of the 1989 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Bounding Availability of Repairable Systems
IEEE Transactions on Computers
State space exploration in Markov models
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
ISSAC '92 Papers from the international symposium on Symbolic and algebraic computation
A histogram-based model for video traffic behavior in an ATM multiplexer
IEEE/ACM Transactions on Networking (TON)
Computing bounds on steady state availability of repairable computer systems
Journal of the ACM (JACM)
Efficient exploration of availability models guided by failure distances
Proceedings of the 1996 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
Bound Computation of Dependability and Performance Measures
IEEE Transactions on Computers
An iterative bounding method for stochastic automata networks
Performance Evaluation
Refinable Bounds for Large Markov Chains
IEEE Transactions on Computers
LISPACK-A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms
IEEE Transactions on Software Engineering
An Eclectic Survey of Bounding Methods for Markov Chain Models
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
An Algorithmic Approach to Stochastic Bounds
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
An improved method for bounding stationary measures of finite Markov processes
Performance Evaluation - Performance 2005
Bounding stationary results of Tandem networks with MAP input and PH service time distributions
SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
Conditional steady-state bounds for a subset of states in Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Bounds based on lumpable matrices for partially ordered state space
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Generalized Class 𝒞 Markov Chains And Computation Of Closed-Form Bounding Distributions
Probability in the Engineering and Informational Sciences
Censoring Markov chains and stochastic bounds
EPEW'07 Proceedings of the 4th European performance engineering conference on Formal methods and stochastic models for performance evaluation
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Mathematics of Operations Research
An embedded Markov chain approach to stock rationing
Operations Research Letters
Lumping and reversed processes in cooperating automata
ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
A new parallel block aggregated algorithm for solving Markov chains
The Journal of Supercomputing
| Hi-index | 0.03 |