| 1 | -- | 2 | Jeremy T. Bradley, William J. Knottenbelt. Preface |
| 3 | -- | 24 | Nil Geisweiller, Jeremie Bonte. Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking |
| 25 | -- | 44 | Gábor Horváth, Miklós Telek. Analysis of a BMAP/D/1-Timer Multiplexer |
| 45 | -- | 58 | Nigel Thomas. Performability of a Secure Electronic Voting Algorithm |
| 59 | -- | 77 | Carlo Bellettini, Lorenzo Capra, Mattia Monga. Quantitative Assessment of a Peer-to-peer Cooperative Infrastructure Using Stochastic Well-Formed Nets |
| 79 | -- | 99 | Rossano Gaeta, Marco Gribaudo, Daniele Manini, Matteo Sereno. Fluid Stochastic Petri Nets for Computing Transfer Time Distributions in Peer-to-Peer File Sharing Applications |
| 101 | -- | 121 | Lucas Baldo, Leonardo Brenner, Luiz Gustavo Fernandes, Paulo Fernandes, Afonso Sales. Performance Models For Master/Slave Parallel Programs |
| 123 | -- | 143 | Mikael Buchholtz, Stephen T. Gilmore, Jane Hillston, Flemming Nielson. Securing Statically-verified Communications Protocols Against Timing Attacks |
| 145 | -- | 164 | Peter G. Harrison, Soraya Zertal. Calibration of a Queueing Model of RAID Systems |