Abstract is missing.
- Simulation + Hypothesis Testing for Model Checking of Probabilistic SystemsAxel Legay, Mahesh Viswanathan. 3 [doi]
- Infinite-State Verification: From Transition Systems to Markov ChainsParosh Aziz Abdulla. 4 [doi]
- Analyzing Large Sparse Markov Chains of Kronecker ProductsTugrul Dayar. 5 [doi]
- An Introduction to Monte Carlo Methods and Rare Event SimulationGerardo Rubino, Bruno Tuffin. 6 [doi]
- Petri Net Analysis Using Decision DiagramsGianfranco Ciardo. 7 [doi]
- Nondeterministic Labeled Markov Processes: Bisimulations and Logical CharacterizationPedro R. D Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes. 11-20 [doi]
- Quantitative Model Checking of Systems with DegradationJiri Barnat, Ivana Cerná, Jana Tumova. 21-30 [doi]
- Simulation-Based CTMC Model Checking: An Empirical EvaluationJoost-Pieter Katoen, Ivan S. Zapreev. 31-40 [doi]
- On the Impact of Modelling Choices for Distributed Information SpreadRena Bakhshi, Ansgar Fehnker. 41-50 [doi]
- A Heuristic Approach for Fitting MAPs to Moments and Joint MomentsPeter Buchholz, Jan Kriege. 53-62 [doi]
- Acyclic Minimality by Construction---AlmostReza Pulungan, Holger Hermanns. 63-72 [doi]
- Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival ProcessesHiroyuki Okamura, Tadashi Dohi. 73-82 [doi]
- TimerMeter: Quantifying Properties of Software Timers for System AnalysisMichael Kuperberg, Martin Krogmann, Ralf Reussner. 85-94 [doi]
- Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported ApproachMelinda Magyar, István Majzik. 95-96 [doi]
- A Performance Model of Zoned Disk Drives with I/O Request ReorderingAbigail S. Lebrecht, Nicholas J. Dingle, William J. Knottenbelt. 97-106 [doi]
- Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-ProfilingPhilippe Moret, Walter Binder, Alex Villazón, Danilo Ansaloni, Martin Schoeberl. 107-108 [doi]
- Design Space Exploration for Java Processors with Cross-ProfilingMartin Schoeberl, Walter Binder, Philippe Moret, Alex Villazón. 109-118 [doi]
- COBAREA: The COpula-BAsed REliability and Availability Modeling EnvironmentMax Walter, Sebastian Esch, Philipp Limbourg. 119-120 [doi]
- Exploiting Restricted Transitions in Quasi-Birth-and-Death ProcessesJuan F. Pérez, Benny Van Houdt. 123-132 [doi]
- Time-Bounded Reachability in Tree-Structured QBDs by AbstractionDaniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen. 133-142 [doi]
- Comparison of Two Output Models for the BMAP/MAP/1 Departure ProcessQi Zhang, Armin Heindl, Evgenia Smirni, Andreas Stathopoulos. 143-152 [doi]
- Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri NetsAndrás Horváth, Enrico Vicario. 155-164 [doi]
- The Ins and Outs of the Probabilistic Model Checker MRMCJoost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen. 167-176 [doi]
- Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov ChainsSerge Haddad, Nihal Pekergin. 177-186 [doi]
- A Modest Approach to Checking Probabilistic Timed AutomataArnd Hartmanns, Holger Hermanns. 187-196 [doi]
- Generation of Counterexamples for Model Checking of Markov Decision ProcessesHusain Aljazzar, Stefan Leue. 197-206 [doi]
- Remote Job Management in the Mobius Modeling FrameworkKen Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders. 209-210 [doi]
- FlowSim Simulation Benchmarking PlatformJonathan Bogdoll, Holger Hermanns, Lijun Zhang. 211-212 [doi]
- PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication SystemsAntonius Erdmann, Dietmar Weber. 213-214 [doi]
- Demultiplexing in Network Calculus- A Stochastic Scaling ApproachJens B. Schmitt, Ivan Martinovic. 217-226 [doi]
- The Multi-branched Method of Moments for Queueing NetworksGiuliano Casale. 227-236 [doi]
- Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network TopologiesAndras Farago. 237-246 [doi]
- Mean-Field Analysis for the Evaluation of Gossip ProtocolsRena Bakhshi, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort. 247-256 [doi]
- On the Detection of Symmetries in Compositional Markov ModelsRuth Lamprecht, Peter Kemper. 259-268 [doi]
- Reachable State Space Generation for Structured Models which Use Functional TransitionsAfonso Sales, Brigitte Plateau. 269-278 [doi]
- GTAexpress: A Software Package to Handle Kronecker DescriptorsRicardo M. Czekster, Paulo Fernandes, Thais Webber. 281-282 [doi]
- Recent Extensions to TraviandoPeter Kemper. 283-284 [doi]
- Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import FunctionalityElina Pacini Naumovich, Simona Bernardi. 285-286 [doi]
- Language-Level Symmetry Reduction for Probabilistic Model CheckingAlastair F. Donaldson, Alice Miller, David Parker. 289-298 [doi]
- Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic CounterexamplesHusain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue. 299-308 [doi]
- The Bio-PEPA Tool SuiteFederica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston. 309-310 [doi]