Abstract is missing.
- Technical Program Committee [doi]
- Reviewers [doi]
- Message from the Program Committee Chairs [doi]
- Message from the General Chair [doi]
- Causality, Responsibility, and Blame: A Structural-Model ApproachJoseph Y. Halpern. 3-8 [doi]
- Behavior of Available End-to-end Bandwidth: Non-Parametric ApproachAlexander Chobanyan, Matt W. Mutka, Shlomo Levental, Ning Xi. 9-18 [doi]
- Continuous Bytecode Instruction Counting for CPU Consumption EstimationAndrea Camesi, Jarle Hulaas, Walter Binder. 19-30 [doi]
- Toolbox for Dimensioning Windows Storage SystemsJalil Boukhobza, Claude Timsit. 31-40 [doi]
- Long-Range Dependence at the Disk Drive LevelAlma Riska, Erik Riedel. 41-50 [doi]
- Rate-Controlled Scheduling of Expired Writes for Volatile CachesSeetharami R. Seelam, Jayaraman Suresh Babu, Patricia J. Teller. 51-62 [doi]
- A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networksAnne Remke, Boudewijn R. Haverkort, Lucia Cloth. 63-72 [doi]
- Performance Anlysis of Delay Tolerant Networks with Model Checking TechniquesMichele Garetto, Marco Gribaudo. 73-82 [doi]
- Measuring and Modeling of Application Flow Length in Commercial GPRS NetworksRoger Kalden, Boudewijn R. Haverkort. 83-92 [doi]
- Modeling Fiber Delay Loops in an All Optical SwitchAna Busic, Mouad Ben Mamoun, Jean-Michel Fourneau. 93-102 [doi]
- Layered Bottlenecks and Their MitigationGreg Franks, Dorina C. Petriu, C. Murray Woodside, Jing Xu, Peter Tregunno. 103-114 [doi]
- QPME - Queueing Petri Net Modeling EnvironmentSamuel Kounev, Christofer Dutz, Alejandro P. Buchmann. 115-116 [doi]
- Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0Michael Knoke, Armin Zimmermann. 117-118 [doi]
- Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload AnalysisMarco Bertoli, Giuliano Casale, Giuseppe Serazzi. 119-120 [doi]
- A PMIF Semantic Validation ToolDaniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner. 121-122 [doi]
- Time Petri Nets Analysis with TINABernard Berthomieu, François Vernadat. 123-124 [doi]
- UPPAAL 4.0Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks. 125-126 [doi]
- Analysis of Real Time Systems through the ORIS ToolLuigi Sassoli, Enrico Vicario. 127-128 [doi]
- APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov ChainsThomas Hérault, Richard Lassaigne, Sylvain Peyronnet. 129-130 [doi]
- LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive SystemsFrank Ciesinski, Christel Baier. 131-132 [doi]
- MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri NetsJose M. Martinez, Boudewijn R. Haverkort. 133-134 [doi]
- Traviando - Debugging Simulation Traces with Message Sequence ChartsPeter Kemper, Carsten Tepper. 135-136 [doi]
- Data Analysis and Visualization within the Möbius Modeling EnvironmentTod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders. 137-138 [doi]
- Integration of an MPS Modeling Approach into MobiusAndrea Bondavalli, Silvano Chiaradonna, Paolo Lollini, Fabrizio Squittieri. 139-140 [doi]
- PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded ProcessorsMatthew Curtis-Maury, Dimitrios S. Nikolopoulos, Christos D. Antonopoulos. 141-144 [doi]
- Modeling and Optimization Problems in Contact CentersPierre L Ecuyer. 145-156 [doi]
- Game-based Abstraction for Markov Decision ProcessesMarta Z. Kwiatkowska, Gethin J. Norman, David Parker. 157-166 [doi]
- Compositional Performability Evaluation for STATEMATEEckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Ralf Wimmer, Bernd Becker. 167-178 [doi]
- Compositional Quantitative ReasoningKrishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga. 179-188 [doi]
- Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding DistributionsMouad Ben Mamoun, Nihal Pekergin, Sana Younès. 189-198 [doi]
- CSL Model Checking for Generalized Stochastic Petri NetsDavide Cerotti, Susanna Donatelli, András Horváth, Jeremy Sproston. 199-210 [doi]
- Efficient lumpability check in partially symmetric systemsMarco Beccuti, Giuliana Franceschinis, Souheib Baarir, J-M. Ilie. 211-220 [doi]
- Lumping Markov Chains with Silent StepsJasen Markovski, Nikola Trcka. 221-232 [doi]
- Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis TechniquesPeter Buchholz, Peter Kemper. 233-242 [doi]
- Bound-Preserving Composition for Markov Reward ModelsDavid Daly, Peter Buchholz, William H. Sanders. 243-252 [doi]
- Limiting Behavior of Markov Chains with Eager AttractorsParosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg. 253-264 [doi]
- Designing and managing storage systems: issues, techniques, and challengesArif Merchant. 265-268 [doi]
- Optimization of Cache Expiration Dates in Content NetworksHéctor Cancela, Pablo Rodríguez-Bocca. 269-278 [doi]
- Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass TrafficYezekael Hayel, Víctor Manuel Ramos Ramos, Bruno Tuffin. 279-290 [doi]
- Strategy Improvement for Concurrent Reachability GamesKrishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger. 291-300 [doi]
- Safe On-The-Fly Steady-State Detection for Time-Bounded ReachabilityJoost-Pieter Katoen, Ivan S. Zapreev. 301-310 [doi]
- Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed AutomataJasper Berendsen, David N. Jansen, Joost-Pieter Katoen. 311-322 [doi]
- A tool support for automatic analysis based on the tagged customer approachLevente Bodrog, Gábor Horváth, Sándor Rácz, Miklós Telek. 323-332 [doi]
- On Single-Class Load-Dependent Normalizing Constant EquationsGiuliano Casale. 333-342 [doi]
- Exploring correctness and accuracy of solutions to matrix polynomial equations in queuesDavid Thornley, Harf Zatschler. 343-352 [doi]
- Threshold Workload Control in the BMAP/G/1 QueueHo Woo Lee, Jung Woo Baek. 353-364 [doi]
- Identifying Low-ProfileWeb Server s IP FingerprintMengjun Xie, Keywan Tabatabai, Haining Wang. 365-374 [doi]
- The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web ServicesPhilipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter. 375-384 [doi]
- Load Balancing for Performance Differentiation in Dual-Priority Clustered ServersNingfang Mi, Qi Zhang, Alma Riska, Evgenia Smirni. 385-394 [doi]