Abstract is missing.
- A Generic Mean Field Convergence Result for Systems of Interacting ObjectsJean-Yves Le Boudec, David McDonald, Jochen Mundinger. 3-18 [doi]
- A Petri Net Model for Evaluating Packet Buffering Strategies in a Network ProcessorGirish B. C., R. Govindarajan. 19-30 [doi]
- CSL:::TA:::: an Expressive Logic for Continuous-Time Markov ChainsSusanna Donatelli, Serge Haddad, Jeremy Sproston. 31-40 [doi]
- Performance Trees: Expressiveness and Quantitative SemanticsTamas Suto, Jeremy T. Bradley, William J. Knottenbelt. 41-50 [doi]
- Cluster Grid based Response-time analysis module for the PIPE ToolHarini Kulatunga, Ashok Argent-Katwala, William J. Knottenbelt. 51-52 [doi]
- The PEPA Plug-in ProjectMirco Tribastone. 53-54 [doi]
- The ipclib PEPA LibraryAllan Clark. 55-56 [doi]
- Close form derivation of state-density functions over DBM domains in the analysis of non-Markovian modelsLuigi Sassoli, Enrico Vicario. 59-68 [doi]
- Relations in the Central Limit Theorem Version of the Response Time LawTakayuki Osogami. 69-78 [doi]
- Simultaneous Transient Analysis of QBD Markov Chains for all Initial Configurations using a Level Based RecursionJeroen Van Velthoven, Benny Van Houdt, Chris Blondia. 79-90 [doi]
- Interchange Formats for Performance Models: Experimentation and OuputConnie U. Smith, Catalina M. Lladó, Ramón Puigjaner, Lloyd G. Williams. 91-100 [doi]
- Automated Analysis of Simulation Traces - Separating Progress from Repetitive BehaviorPeter Kemper, Carsten Tepper. 101-110 [doi]
- Quantile Estimation for Performance Measures in Network Simulations with CINSimDaniel Lüdtke, Dietmar Tutsch, Matthias Kühm. 111-112 [doi]
- Psi:::2::: a Software Tool for the Perfect Simulation of Finite Queueing NetworksJean-Marc Vincent, Jérôme Vienne. 113-114 [doi]
- GRIP: Generic Representatives in PRISMAlastair F. Donaldson, Alice Miller, David Parker. 115-116 [doi]
- Probabilistic Model-Checking Support for FMEALars Grunske, Robert Colvin, Kirsten Winter. 119-128 [doi]
- Probabilistic Model Checking Modulo TheoriesBjörn Wachter, Lijun Zhang, Holger Hermanns. 129-140 [doi]
- Signature-based Symbolic Algorithm for Optimal Markov Chain LumpingSalem Derisavi. 141-150 [doi]
- Dependability Analysis with Markov Chains: How Symmetries Improve Symbolic ComputationsMichael G. McQuinn, Peter Kemper, William H. Sanders. 151-160 [doi]
- Design of Experiments within the Mobius Modeling EnvironmentTod Courtney, Shravan Gaonkar, Michael G. McQuinn, Eric Rozier, William H. Sanders, Patrick G. Webster. 161-162 [doi]
- PEPS2007 - Stochastic Automata Networks Software ToolLeonardo Brenner, Paulo Fernandes, Brigitte Plateau, Ihab Sbeity. 163-164 [doi]
- A framework to design and solve Markov Decision Well-formed Net modelsMarco Beccuti, Daniele Codetta Raiteri, Giuliana Franceschinis, Serge Haddad. 165-166 [doi]
- Model checking the probabilistic pi-calculusGethin J. Norman, Catuscia Palamidessi, David Parker, Peng Wu 0002. 169-178 [doi]
- Symbolic Bisimulations for Probabilistic SystemsPeng Wu 0002, Catuscia Palamidessi, Huimin Lin. 179-188 [doi]
- Basic Observables for Probabilistic May TestingMaria Carla Palmeri, Rocco De Nicola, Mieke Massink. 189-200 [doi]
- Performance Modeling of a Quorum Pattern in Layered Service SystemsTariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside. 201-210 [doi]
- CUT : Combining stochastic ordering and censoring to bound steady-state rewards and first passage timeJean-Michel Fourneau, Nihal Pekergin, Sana Younès. 211-212 [doi]
- Distritrack: Automated Average-Case AnalysisDavid Hickey. 213-214 [doi]
- ProbDiVinE: A Parallel Qualitative LTL Model CheckerJiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova. 215-216 [doi]
- Invited Talk: A Process Algebra Master EquationLuca Cardelli. 219-226 [doi]
- Stochastic Game LogicChristel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera. 227-236 [doi]
- Qualitative Logics and Equivalences for Probabilistic SystemsLuca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay. 237-248 [doi]
- A business-oriented load dispatching framework for online auction sitesDaniel A. Menascé, Vasudeva Akula. 249-258 [doi]
- Analysis of Local Address Scanning by PuppetnetsDavid M. Nicol. 259-268 [doi]
- A Performance Analysis Tool for Scenario-Aware Streaming ApplicationsBart D. Theelen. 269-270 [doi]
- PARTES: Performance Analysis of Real-Time Embedded SystemsBenjamin Gorry, Andrew Ireland, Peter King. 271-272 [doi]
- A Productivity Centered Tools Framework for Application Performance TuningH. Wen, Simone Sbaraglia, Seetharami Seelam, I-Hsin Chung, Guojing Cong, David J. Klepacki. 273-274 [doi]
- Sample Path Analysis of Busy Periods and Related First Passages of a Correlated MEP/MEP/1 SystemChaitanya Garikiparthi, Appie van de Liefvoort, Kenneth Mitchell. 277-286 [doi]
- Closed G-networks with Resets: product form solutionJean-Michel Fourneau. 287-296 [doi]