| 2 | -- | 3 | Giuliano Casale, Richard R. Muntz, Giuseppe Serazzi. Special issue on tools for computer performance modeling and reliability analysis |
| 4 | -- | 9 | Souheib Baarir, Marco Beccuti, Davide Cerotti, Massimiliano De Pierro, Susanna Donatelli, Giuliana Franceschinis. The GreatSPN tool: recent enhancements |
| 10 | -- | 15 | Marco Bertoli, Giuliano Casale, Giuseppe Serazzi. JMT: performance engineering tools for system modeling |
| 16 | -- | 21 | Shravan Gaonkar, Ken Keefe, Ruth Lamprecht, Eric Rozier, Peter Kemper, William H. Sanders. Performance and dependability modeling with Möbius |
| 22 | -- | 27 | Markus Arns, Peter Buchholz, Dennis Müller. OPEDo: a tool for the optimization of performance and dependability models |
| 28 | -- | 33 | Mirco Tribastone, Adam Duguid, Stephen Gilmore. The PEPA eclipse plugin |
| 34 | -- | 39 | Nicholas J. Dingle, William J. Knottenbelt, Tamas Suto. PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets |
| 40 | -- | 45 | Marta Z. Kwiatkowska, Gethin Norman, David Parker. PRISM: probabilistic model checking for performance and reliability analysis |
| 46 | -- | 51 | Samuel Kounev, Christofer Dutz. QPME: a performance modeling tool based on queueing Petri Nets |
| 52 | -- | 57 | Kishor S. Trivedi, Robin A. Sahner. SHARPE at the age of twenty two |
| 58 | -- | 63 | Gianfranco Ciardo, Andrew S. Miner, Min Wan. Advanced features in SMART: the stochastic model checking analyzer for reliability and timing |
| 64 | -- | 69 | Edmundo de Souza e Silva, Daniel R. Figueiredo, Rosa Maria Meri Leão. The TANGRAMII integrated modeling environment for computer systems and networks |