Performance prediction: An industry perspective -- TANGRAM-II: A performability modeling environment tool -- PENELOPE dependability evaluation and the optimization of performability -- Porting SHARPE on the Web: Design and implementation of a network computing platform using Java -- Storage alternatives for large structured state spaces -- An efficient disk-based tool for solving very large Markov models -- Efficient transient overload tests for real-time systems -- Towards an analytical tool for performance modelling of ATM networks by decomposition -- An embedded network simulator to support network protocols' development -- Synchronized two-way voice simulation tool for internet phone performance analysis and evaluation -- SPNL: Processes as language-oriented building blocks of stochastic Petri nets -- Performance engineering evaluation of object-oriented systems with SPE·ED TM -- Measurement tools and modeling techniques for evaluating web server performance -- Workload characterization of input/output intensive parallel applications -- Interval based workload characterization for distributed systems -- Bounding the loss rates in a multistage ATM switch -- Simple bounds for queues fed by Markovian sources: A tool for performance evaluation -- On queue length moments in fork and join queuing networks with general service times.