Probability, Parallelism and the State Space Exploration Problem
TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Iterative disaggregation for a class of lumpable discrete-time stochastic automata networks
Performance Evaluation
PEPA nets: a structured performance modelling formalism
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
The Möbius state-level abstract functional interface
Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Model-Based Evaluation: From Dependability to Security
IEEE Transactions on Dependable and Secure Computing
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Using Markov chain analysis to study dynamic behaviour in large-scale grid systems
AusGrid '09 Proceedings of the Seventh Australasian Symposium on Grid Computing and e-Research - Volume 99
Passage-time computation and aggregation strategies for large semi-Markov processes
Performance Evaluation
| Hi-index | 0.00 |