Passage time distributions in large Markov chains
SIGMETRICS '02 Proceedings of the 2002 ACM SIGMETRICS international conference on Measurement and modeling of computer systems
The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Out-of-Core Solution of Large Linear Systems of Equations Arising from Stochastic Modelling
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
A new disk-based technique for solving the largeness problem of stochastic modeling formalisms
Journal of Systems and Software
Journal of Parallel and Distributed Computing
Simulating markov-reward processes with rare events
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Memory-efficient Kronecker algorithms with applications to the modelling of parallel systems
Future Generation Computer Systems - Systems performance analysis and evaluation
Distributed disk-based algorithms for model checking very large Markov chains
Formal Methods in System Design
Structured analysis techniques for large Markov chains
SMCtools '06 Proceeding from the 2006 workshop on Tools for solving structured Markov chains
Per-stream loss behavior of ΣMAP/M/1/K queuing system with a random early detection mechanism
Information Sciences: an International Journal
Tackling large state spaces in performance modelling
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Scaling performance analysis using fluid-flow approximation
Rigorous software engineering for service-oriented systems
Evaluation of the impact of congestion on service availability in GPRS infrastructures
ISAS'05 Proceedings of the Second international conference on Service Availability
Performance evaluation of OpenMP-based algorithms for handling Kronecker descriptors
Journal of Parallel and Distributed Computing
| Hi-index | 0.02 |