Introduction

• 
  Message from the General Chair.
• 
  Message from the Program Committee Chairs.
• 
  Technical Program Committee.
• 
  Reviewers.

Invited Talk

• 
  Joseph Y. Halpern: Causality, Responsibility, and Blame: A Structural-Model Approach. 3-8

Session 1.1: Measurements

• 
  Alexander Chobanyan, Matt W. Mutka, Shlomo Levental, Ning Xi: Behavior of Available End-to-end Bandwidth: Non-Parametric Approach. 9-18
• 
  Andrea Camesi, Jarle Hulaas, Walter Binder: Continuous Bytecode Instruction Counting for CPU Consumption Estimation. 19-30

Session 1.2: Storage Systems

• 
  Jalil Boukhobza, Claude Timsit: Toolbox for Dimensioning Windows Storage Systems. 31-40
• 
  Alma Riska, Erik Riedel: Long-Range Dependence at the Disk Drive Level. 41-50
• 
  Seetharami R. Seelam, Jayaraman Suresh Babu, Patricia J. Teller: Rate-Controlled Scheduling of Expired Writes for Volatile Caches. 51-62

Session 1.3: Network Models

• 
  Anne Remke, Boudewijn R. Haverkort, Lucia Cloth: A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. 63-72
• 
  Michele Garetto, Marco Gribaudo: Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. 73-82
• 
  Roger Kalden, Boudewijn R. Haverkort: Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. 83-92
• 
  Ana Busic, Mouad Ben Mamoun, Jean-Michel Fourneau: Modeling Fiber Delay Loops in an All Optical Switch. 93-102
• 
  Greg Franks, Dorina C. Petriu, C. Murray Woodside, Jing Xu, Peter Tregunno: Layered Bottlenecks and Their Mitigation. 103-114

Session 1.4: Tools

• 
  Samuel Kounev, Christofer Dutz, Alejandro P. Buchmann: QPME - Queueing Petri Net Modeling Environment. 115-116
• 
  Michael Knoke, Armin Zimmermann: Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. 117-118
• 
  Marco Bertoli, Giuliano Casale, Giuseppe Serazzi: Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis. 119-120
• 
  Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner: A PMIF Semantic Validation Tool. 121-122
• 
  Bernard Berthomieu, François Vernadat: Time Petri Nets Analysis with TINA. 123-124
• 
  Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. 125-126
• 
  Luigi Sassoli, Enrico Vicario: Analysis of Real Time Systems through the ORIS Tool. 127-128
• 
  Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. 129-130
• 
  Frank Ciesinski, Christel Baier: LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. 131-132
• 
  Jose M. Martinez, Boudewijn R. Haverkort: MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. 133-134
• 
  Peter Kemper, Carsten Tepper: Traviando - Debugging Simulation Traces with Message Sequence Charts. 135-136
• 
  Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders: Data Analysis and Visualization within the Möbius Modeling Environment. 137-138
• 
  Andrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri: Integration of an MPS Modeling Approach into Mobius. 139-140
• 
  Matthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos: PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors. 141-144

Invited Talk

• 
  Pierre L'Ecuyer: Modeling and Optimization Problems in Contact Centers. 145-156

Session 2.1: Markov Decision Processes

• 
  Marta Z. Kwiatkowska, Gethin Norman, David Parker: Game-based Abstraction for Markov Decision Processes. 157-166
• 
  Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker: Compositional Performability Evaluation for STATEMATE. 167-178

Session 2.2: Model Checking

• 
  Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. 179-188
• 
  Mouad Ben Mamoun, Nihal Pekergin, Sana Younès: Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. 189-198
• 
  Davide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston: CSL Model Checking for Generalized Stochastic Petri Nets. 199-210

Session 2.3: Lumpability

• 
  Marco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie: Efficient lumpability check in partially symmetric systems. 211-220
• 
  Jasen Markovski, Nikola Trcka: Lumping Markov Chains with Silent Steps. 221-232

Session 2.4: Markov Models

• 
  Peter Buchholz, Peter Kemper: Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. 233-242
• 
  David Daly, Peter Buchholz, William H. Sanders: Bound-Preserving Composition for Markov Reward Models. 243-252
• 
  Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg: Limiting Behavior of Markov Chains with Eager Attractors. 253-264

Invited Talk

• 
  Arif Merchant: Designing and managing storage systems: issues, techniques, and challenges. 265-268

Session 3.1: Optimization in Networks

• 
  Héctor Cancela, Pablo Rodríguez-Bocca: Optimization of Cache Expiration Dates in Content Networks. 269-278
• 
  Yezekael Hayel, Víctor Manuel Ramos Ramos, Bruno Tuffin: Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic. 279-290

Session 3.2: Reachability

• 
  Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability Games. 291-300
• 
  Joost-Pieter Katoen, Ivan S. Zapreev: Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. 301-310
• 
  Jasper Berendsen, David N. Jansen, Joost-Pieter Katoen: Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. 311-322

Session 3.3: Queuing

• 
  Levente Bodrog, Gábor Horváth, Sándor Rácz, Miklós Telek: A tool support for automatic analysis based on the tagged customer approach. 323-332
• 
  Giuliano Casale: On Single-Class Load-Dependent Normalizing Constant Equations. 333-342
• 
  David Thornley, Harf Zatschler: Exploring correctness and accuracy of solutions to matrix polynomial equations in queues. 343-352
• 
  Ho Woo Lee, Jung Woo Baek: Threshold Workload Control in the BMAP/G/1 Queue. 353-364

Session 3.4: Server Systems

• 
  Mengjun Xie, Keywan Tabatabai, Haining Wang: Identifying Low-ProfileWeb Server's IP Fingerprint. 365-374
• 
  Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter: The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services. 375-384
• 
  Ningfang Mi, Qi Zhang, Alma Riska, Evgenia Smirni: Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers. 385-394

last updated on Mon May 20 00:33:27 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page