Abstract is missing.
- Reviewers [doi]
- Message from the General Chair [doi]
- Message from the Program Chairs [doi]
- Technical Program Committee [doi]
- Formal Executable Descriptions of Biological SystemsMichele Curti, Davide Prandi, Linda Brodo. 2-12 [doi]
- Introducing Probability within State Class Analysis of Dense-Time-Dependent SystemsGiacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario. 13-22 [doi]
- On the use of exact lumpability in partially symmetricalWell-formed NetsSouheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié. 23-32 [doi]
- Fluid Flow Approximation of PEPA modelsJane Hillston. 33-43 [doi]
- Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic ModelsRoberto Segala, Andrea Turrini. 44-53 [doi]
- An approximation algorithm for labelled Markov processes: towards realistic approximationAlexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup. 54-62 [doi]
- Toward Picture-perfect Streaming on the InternetAlix L. H. Chow, Leana Golubchik, John C. S. Lui. 63-73 [doi]
- The Use of Optimal Filters to Track Parameters of Performance ModelsC. Murray Woodside, Tao Zheng, Marin Litoiu. 74-84 [doi]
- Multisolution of Complex Performability Models in the OsMoSys/DrawNET FrameworkMarco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini. 85-94 [doi]
- Evaluating the Dependability of a LEO Satellite Network for Scientific ApplicationsEleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders. 95-104 [doi]
- On the performance of D-redundant disk systemsEitan Bachmat. 105-113 [doi]
- Steady State Solution for Models with Geometric and Finite Support Activity DurationAndrás Horváth. 114-123 [doi]
- A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlationGábor Horváth, Miklós Telek, Peter Buchholz. 124-133 [doi]
- Approximate Analysis of Stochastic Models by Self-Correcting AggregationPeter Bazan, Reinhard German. 134-144 [doi]
- Model Checking for SurvivabilityLucia Cloth, Boudewijn R. Haverkort. 145-154 [doi]
- Checking LTL Properties of Recursive Markov ChainsMihalis Yannakakis, Kousha Etessami. 155-165 [doi]
- Challenges to Evaluating Petaflops SystemsThomas Sterling. 166-167 [doi]
- Workload Propagation - Overload in Bursty ServersQi Zhang, Alma Riska, Erik Riedel. 179-188 [doi]
- Performance Modeling and Architecture Exploration of Network ProcessorsS. Govind, R. Govindarajan. 189-198 [doi]
- Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific ApplicationsMatthew Curtis-Maury, Tanping Wang. 199-209 [doi]
- QBDs with Marked Time Epochs: a Framework for Transient Performance MeasuresBenny Van Houdt, Chris Blondia. 210-219 [doi]
- Importance Sampling Simulation of Population Overflow in Two-node Tandem NetworksVictor F. Nicola, Tatiana S. Zaburnenko. 220-229 [doi]
- On Optimal Importance Sampling for Discrete Time Markov ChainsWerner Sandmann. 230-240 [doi]
- NekoStat extension to Neko: Quantitative Evaluation of Distributed AlgorithmsLorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico. 241-242 [doi]
- A Markov Reward Model CheckerJoost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev. 243-244 [doi]
- iLTLChecker: A Probabilistic Model Checker for Multiple DTMCsYoungmin Kwon, Gul A. Agha. 245-246 [doi]
- A Software Performance Engineering Tool based on the UML-SPTElena Gómez-Martínez, José Merseguer. 247-248 [doi]
- SAM: A Tool for Software Architecture Modeling and Performance AnalysisG. Rajeshwari, Santonu Sarkar. 249-250 [doi]
- VESTA: A Statistical Model-checker and Analyzer for Probabilistic SystemsKoushik Sen, Mahesh Viswanathan, Gul A. Agha. 251-252 [doi]
- OpenSESAME Simple but Extensive Structured Availability Modeling EnvironmentMax Walter, Carsten Trinitis. 253-254 [doi]
- MCReNet: a tool for Marked-Controlled Reconfigurable NetsMarisa Llorens, Javier Oliver. 255-256 [doi]
- Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systemsMarco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis. 257-258 [doi]
- The Mobius Modeling Environment: Recent Extensions - 2005Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders. 259-260 [doi]