Abstract is missing.
- Availability in Large Networks: Global Characteristics from Local Unreliability PropertiesHans Daduna, Lars Peter Saul. 1-15 [doi]
- Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit SearchFeng Zhang, Jinting Wang. 16-30 [doi]
- Bounds for Two-Terminal Network Reliability with Dependent Basic EventsMinh Lê, Max Walter. 31-45 [doi]
- Software Reliability Testing Covering Subsystem InteractionsMatthias Meitner, Francesca Saglietti. 46-60 [doi]
- Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time AnalysisKai Höfig. 61-75 [doi]
- A Calculus for SLA Delay PropertiesSebastian Vastag. 76-90 [doi]
- Verifying Worst Case Delays in Controller Area NetworkNikola Ivkovic, Dario Kresic, Kai-Steffen Jens Hielscher, Reinhard German. 91-105 [doi]
- Lifetime Improvement by Battery SchedulingMarijn R. Jongerden, Boudewijn R. Haverkort. 106-120 [doi]
- Weighted Probabilistic Equivalence Preserves ω-Regular PropertiesArpit Sharma. 121-135 [doi]
- Probabilistic CSP: Preserving the Laws via Restricted SchedulersSonja Georgievska, Suzana Andova. 136-150 [doi]
- Heuristics for Probabilistic Timed Automata with Abstraction RefinementLuis María Ferrer Fioriti, Holger Hermanns. 151-165 [doi]
- Simulative and Analytical Evaluation for ASD-Based Embedded SoftwareRamin Sadre, Anne Remke, Sjors Hettinga, Boudewijn R. Haverkort. 166-181 [doi]
- Reducing Channel Zapping Delay in WiMAX-Based IPTV SystemsAlireza Abdollahpouri, Bernd E. Wolfinger. 182-196 [doi]
- Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack OptimizationsShu Huang, Ilia Baldine. 197-205 [doi]
- Business Driven BCM SLA Translation for Service Oriented SystemsUlrich Winkler, Wasif Gilani, Alan Marshall. 206-220 [doi]
- Boosting Design Space Explorations with Existing or Automatically Learned KnowledgeRalf Jahr, Horia Calborean, Lucian Vintan, Theo Ungerer. 221-235 [doi]
- IBPM: An Open-Source-Based Framework for InifiniBand Performance MonitoringMichael Hoefling, Michael Menth, Christian Kniep, Marcus Camen. 236-239 [doi]
- A Workbench for Internet Traffic AnalysisPhilipp M. Eittenberger, Udo R. Krieger. 240-243 [doi]
- A Modelling and Analysis Environment for LARESAlexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle. 244-248 [doi]
- Simulation and Statistical Model Checking for Modestly Nondeterministic ModelsJonathan Bogdoll, Arnd Hartmanns, Holger Hermanns. 249-252 [doi]
- UniLoG: A Unified Load Generation ToolAndrey Kolesnikov. 253-257 [doi]
- Non Preemptive Static Priority with Network Calculus: EnhancementWilliam Mangoua Sofack, Marc Boyer. 258-272 [doi]
- A Demand-Response Calculus with Perfect BatteriesJean-Yves Le Boudec, Dan-Cristian Tomozei. 273-287 [doi]
- A Formal Definition and a New Security Mechanism of Physical Unclonable FunctionsRainer Plaga, Frank Koob. 288-301 [doi]
- Modeling and Analysis of a P2P-VoD System Based on Stochastic Network CalculusKai Wang, Yuming Jiang, Chuang Lin. 302-316 [doi]
- Using NFC Phones for Proving CredentialsGergely Alpár, Lejla Batina, Roel Verdult. 317-330 [doi]