Abstract is missing.
- Compositional Temporal SynthesisMoshe Y. Vardi. 1 [doi]
- Decoupled Speed Scaling: Analysis and EvaluationB. Maryam Elahi, Carey Williamson, Philipp Woelfel. 2-12 [doi]
- Continuous Performance Testing in Virtual TimeNikos Baltas, Tony Field. 13-22 [doi]
- A Multi-layer Fluid Queue with Boundary Phase Transitions and Its Application to the Analysis of Multi-type Queues with General Customer ImpatienceGábor Horváth, Benny Van Houdt. 23-32 [doi]
- Finite Queues at the Limit of SaturationMiklós Telek, Miklós Vécsei. 33-42 [doi]
- Aggregation of Markovian Models - An Alternating Least Squares ApproachPeter Buchholz, Jan Kriege. 43-52 [doi]
- Fluid Approximation of CTMC with Deterministic DelaysLuca Bortolussi, Jane Hillston. 53-62 [doi]
- Mean Field for Performance Models with Deterministically-Timed TransitionsRichard A. Hayden. 63-73 [doi]
- A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCsYang Zhao, Gianfranco Ciardo. 74-83 [doi]
- Statistical Model Checking for Markov Decision ProcessesDavid Henriques, João Martins, Paolo Zuliani, André Platzer, Edmund M. Clarke. 84-93 [doi]
- On-the-Fly Algorithms for Bisimulation MetricsGheorghe Comanici, Prakash Panangaden, Doina Precup. 94-103 [doi]
- Static Partial Order Reduction for Probabilistic Concurrent SystemsÁlvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund. 104-113 [doi]
- Verification of Two-Variable Logic RevisitedMichael Benedikt, Rastislav Lenhardt, James Worrell. 114-123 [doi]
- Notes on the Nature of UncertaintyJeffrey P. Buzen. 124-127 [doi]
- Lower-Bound Constrained Runs in Weighted Timed AutomataPatricia Bouyer, Kim Guldstrand Larsen, Nicolas Markey. 128-137 [doi]
- Almost-Sure Model-Checking of Reactive Timed AutomataPatricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Quentin Menet. 138-147 [doi]
- State-Based Analysis in ADVISEMichael D. Ford, Peter Buchholz, William H. Sanders. 148-157 [doi]
- Quantitative Multirun Security under Active AdversariesMichele Boreale, Francesca Pampaloni. 158-167 [doi]
- Operational Versus Weakest Precondition Semantics for the Probabilistic Guarded Command LanguageFriedrich Gretz, Joost-Pieter Katoen, Annabelle McIver. 168-177 [doi]
- Generalised Communication for Interacting AgentsMax Tschaikowski, Mirco Tribastone. 178-188 [doi]
- Interference-Sensitive Preorders for MANETsMichele Bugliesi, Lucia Gallina, Andrea Marin, Sabina Rossi, Sardaouna Hamadou. 189-198 [doi]
- Specification and Efficient Computation of Passage-Time Distributions in GPAMatej Kohut, Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley. 199-200 [doi]
- HyperStar: Phase-Type Fitting Made EasyPhilipp Reinecke, Tilman Krauss, Katinka Wolter. 201-202 [doi]
- The PRISM Benchmark SuiteMarta Z. Kwiatkowska, Gethin Norman, David Parker. 203-204 [doi]
- A Tool for Solving Ph/M/c and Ph/M/c/N QueuesThomas Begin, Alexandre Brandwajn. 205-206 [doi]
- Stochastic Modelling of SportMike Maher. 207-208 [doi]
- A General Reliability Model for Data Storage SystemsVinodh Venkatesan, Ilias Iliadis. 209-219 [doi]
- Intermittent Hardware Errors Recovery: Modeling and EvaluationLayali Rashid, Karthik Pattabiraman, Sathish Gopalakrishnan. 220-229 [doi]
- Flexible CPU Provisioning in Clouds: A New Source of Performance UnpredictabilityDavide Cerotti, Marco Gribaudo, Pietro Piazzolla, Giuseppe Serazzi. 230-237 [doi]
- Max Percentile Replication for Optimal Performance in Multi-regional P2P VoD SystemsYuval Rochman, Hanoch Levy, Eli Brosh. 238-248 [doi]
- Indirect Estimation of Service Demands in the Presence of Structural ChangesPaolo Cremonesi, Andrea Sansottera. 249-259 [doi]