Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
Process algebra for performance evaluation
Theoretical Computer Science
Performance measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Performance evaluation with temporal rewards
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Specifying Performance Measures for PEPA
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Exploiting Modal Logic to Express Performance Measures
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Modeling and analysis of power-aware systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Performance analysis of mobile systems
SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing
Hi-index | 0.06 |