Process algebras are getting mature for performance evaluation?!
ACM SIGMETRICS Performance Evaluation Review
Process algebra for performance evaluation
Theoretical Computer Science
Formal methods for performance evaluation
Lectures on formal methods and performance analysis
Markovian models for performance and dependability evaluation
Lectures on formal methods and performance analysis
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Advances in Model Representations
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
On Combining Functional Verification and Performance Evaluation Using CADP
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Towards Model Checking Stochastic Process Algebra
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
Investigating factors influencing the response time in J2EE web applications
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
A novel algorithm to model the queue limit
CSECS'08 Proceedings of the 7th conference on Circuits, systems, electronics, control and signal processing
Convergence and limit of mean-value analysis algorithms
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Improved performance models of web-based software systems
INES'09 Proceedings of the IEEE 13th international conference on Intelligent Engineering Systems
Improved performance model for web-based software systems
WSEAS Transactions on Computers
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
A set of performance and dependability analysis components for CADP
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
How fast and fat is your probabilistic model checker? an experimental performance comparison
HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing
Functional performance specification with stochastic probes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Quantitative refinement and model checking for the analysis of probabilistic systems
FM'06 Proceedings of the 14th international conference on Formal Methods
Symbolic model checking of stochastic systems: theory and implementation
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
| Hi-index | 0.00 |