12. Computer Performance Evaluation / TOOLS 2002: London, UK

• Sem C. Borst, Onno J. Boxma, R. Núñez Queija:
  Heavy Tails: The Effect of the Service Discipline. 1-30
  
• Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney:
  The Möbius State-Level Abstract Functional Interface. 31-50
  
• Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker:
  The ProC/B Toolset for the Modelling and Analysis of Process Chains. 51-70
  
• Sándor Rácz, Árpád Tari, Miklós Telek:
  MRMSolve: Distribution Estimation of Large Markov Reward Models. 71-81
  
• András Horváth, Miklós Telek:
  PhFit: A General Phase-Type Fitting Tool. 82-91
  
• Alexander Klemm, Christoph Lindemann, Marco Lohmann:
  Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process. 92-110
  
• Stephen Gilmore, Jane Hillston, Marina Ribaudo:
  PEPA Nets: A Structured Performance Modelling Formalism. 111-130
  
• Susanna Donatelli, Liliana Ferro:
  Validation of GSPN and SWN Models through the PROD Tool. 131-140
  
• Dorina C. Petriu, C. Murray Woodside:
  Software Performance Models from System Scenarios in Use Case Maps. 141-158
  
• Dorina C. Petriu, Hui Shen:
  Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. 159-177
  
• Jeremy T. Bradley:
  A Passage-Time Preserving Equivalence for Semi-Markov Processes. 178-187
  
• Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger:
  Symbolic Methods for the State Space Exploration of GSPN Models. 188-199
  
• Marta Z. Kwiatkowska, Gethin Norman, David Parker:
  PRISM: Probabilistic Symbolic Model Checker. 200-204
  
• Alma Riska, Evgenia Smirni:
  MAMSolver: A Matrix Analytic Methods Tool. 205-211
  
• Andreas Festag, Lars Westerhoff, Adam Wolisz:
  The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support. 212-219
  
• David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder:
  GILK: A Dynamic Instrumentation Tool for the Linux Kernel. 220-226
  
• Krishna Kant, Vijay Tewari, Ravishankar K. Iyer:
  Geist: A Web Traffic Generation Tool. 227-232
  
• Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini:
  DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems. 233-238
  
• Richard P. Hopkins, Peter J. B. King:
  A Visual Formalism for the Composition of Stochastic Petri Nets. 239-258
  
• Hasyim Gautama, Arjan J. C. van Gemund:
  Symbolic Performance Prediction of Data-Dependent Parallel Programs. 259-278
  
• L. Kumar, Manoj Misra, Isi Mitrani:
  Analysis of a Transaction System with Checkpointing, Failures, and Rollback. 279-288
  
• Adrian E. Conway, Yali Zhu:
  Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool. 289-308
  
• Adeniyi Oke, Richard B. Bunt:
  Hierarchical Workload Characterization for a Busy Web Server. 309-328
  
• Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter:
  Enabling Network Caching of Dynamic Web Objects. 329-338
  
• Pascal Richard:
  A Tool for Controlling Response Time in Real-Time Systems. 339-348