Formal Methods and Stochastic Models for Performance Evaluation

Stochastic Process Algebra.- A Precedence PEPA Model for Performance and Reliability Analysis.- A Function-Equivalent Components Based Simplification Technique for PEPA Models.- Functional Performance Specification with Stochastic Probes.- Embedding Real Time in Stochastic Process Algebras.- Workloads and Benchmarks.- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.- Working Set Characterization of Applications with an Efficient LRU Algorithm.- Theory of Stochastic Processes.- Model Checking for a Class of Performance Properties of Fluid Stochastic Models.- Explicit Inverse Characterizations of Acyclic MAPs of Second Order.- Implementation Relations for Stochastic Finite State Machines.- On the Convergence Rate of Quasi Lumpable Markov Chains.- Formal Dependability and Performance Evaluation.- Applying the UML Class Diagram in the Performance Analysis.- Dependability Evaluation of Web Service-Based Processes.- Queues, Theory and Practice.- Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic.- Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering.- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System.- Experimental Analysis of the Correlation of HTTP GET Invocations.