Hierarchical Performance Evaluation Based on Formally Specified Communication Protocols
IEEE Transactions on Computers - Special issue on protocol engineering
Proceedings of the 7th international conference on Computer performance evaluation : modelling techniques and tools: modelling techniques and tools
IEEE Transactions on Computers
A compositional approach to performance modelling
A compositional approach to performance modelling
Proceedings of the 1st international workshop on Software and performance
1998 Workshop on Software and Performance
Further experiences with software performance modelling
Proceedings of the 1st international workshop on Software and performance
Performance Engineering of Software Systems
Performance Engineering of Software Systems
SPNP: Stochastic Petri Net Package
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS
Proceedings of the IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XI
Protocol Analysis Using a Timed Version of SDL
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
UML based performance modeling framework for object-oriented distributed systems
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Performance-related completions for software specifications
Proceedings of the 24th International Conference on Software Engineering
Real-time UML-based performance engineering to aid manager's decisions in multi-project planning
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Software Performance Models from System Scenarios in Use Case Maps
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Software performance models from system scenarios
Performance Evaluation
Performance Evaluation and Prediction for Legacy Information Systems
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Rethinking the Use of Models in Software Architecture
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
SOA monitoring based on a formal workflow model with constraints
Proceedings of the 1st international workshop on Quality of service-oriented software systems
Scenario-based performance engineering with UCMNAV
SDL'03 Proceedings of the 11th international conference on System design
From annotated software designs (UML SPT/MARTE) to model formalisms
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
Model-based performance instrumentation of distributed applications
DAIS'08 Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
Bridging performance analysis tools and analytic performance modeling for HPC
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
Performance evaluation approaches for software architects
Component-Based Software Development for Embedded Systems
Database system performance evaluation models: A survey
Performance Evaluation
| Hi-index | 0.00 |