An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
The Möbius State-Level Abstract Functional Interface
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
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
Compositional Abstraction for Stochastic Systems
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
Symbolic partition refinement with automatic balancing of time and space
Performance Evaluation
Hi-index | 0.00 |