Lectures on formal methods and performance analysis
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Impacts of data call characteristics on multi-service CDMA system capacity
Performance Evaluation - Performance 2005
A new approach to the evaluation of non markovian stochastic petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Mean-field approximations for performance models with generally-timed transitions
ACM SIGMETRICS Performance Evaluation Review
| Hi-index | 0.02 |