Let's evaluate performance algebraically
ACM Computing Surveys (CSUR)
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Comparing the QoS of Internet audio mechanisms via formal methods
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
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 measure sensitive congruences for Markovian process algebras
Theoretical Computer Science
Integrating TwoTowers and GreatSPN through a compact net semantics
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
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
Implementing Symbolic Models for Value Passing in TwoTowers
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
MOTOR: the MODEST tool environment
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
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
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Algorithmic probabilistic game semantics
Formal Methods in System Design
Hi-index | 0.00 |