Performance validation at early stages of software development

Performance Evaluation and Prediction for Legacy Information Systems

ICSE '07 Proceedings of the 29th international conference on Software Engineering

Introduction to software performance engineering: origins and outstanding problems

SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation

Timely time estimates

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I