default search action
QEST 2009: Budapest, Hungary
- QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009. IEEE Computer Society 2009, ISBN 978-0-7695-3808-2
Tutorials
- Axel Legay, Mahesh Viswanathan:
Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems. 3 - Parosh Aziz Abdulla:
Infinite-State Verification: From Transition Systems to Markov Chains. 4 - Tugrul Dayar
:
Analyzing Large Sparse Markov Chains of Kronecker Products. 5 - Gerardo Rubino, Bruno Tuffin:
An Introduction to Monte Carlo Methods and Rare Event Simulation. 6 - Gianfranco Ciardo:
Petri Net Analysis Using Decision Diagrams. 7
Model Checking
- Pedro R. D'Argenio
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. 11-20 - Jiri Barnat, Ivana Cerná
Quantitative Model Checking of Systems with Degradation. 21-30 - Joost-Pieter Katoen
Simulation-Based CTMC Model Checking: An Empirical Evaluation. 31-40 - Rena Bakhshi
On the Impact of Modelling Choices for Distributed Information Spread. 41-50
Phase Type Distributions and Markov Arrival Processes
- Peter Buchholz
A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. 53-62 - Reza Pulungan
Acyclic Minimality by Construction---Almost. 63-72 - Hiroyuki Okamura
Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes. 73-82
Hardware, Software Models
- Michael Kuperberg
TimerMeter: Quantifying Properties of Software Timers for System Analysis. 85-94 - Melinda Magyar, István Majzik
Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach. 95-96 - Abigail S. Lebrecht, Nicholas J. Dingle, William J. Knottenbelt:
A Performance Model of Zoned Disk Drives with I/O Request Reordering. 97-106 - Philippe Moret, Walter Binder
Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling. 107-108 - Martin Schoeberl
Design Space Exploration for Java Processors with Cross-Profiling. 109-118 - Max Walter, Sebastian Esch, Philipp Limbourg:
COBAREA: The COpula-BAsed REliability and Availability Modeling Environment. 119-120
Quasy Birth-Death Processes
- Juan F. Pérez
Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes. 123-132 - Daniel Klink, Anne Remke, Boudewijn R. Haverkort
Time-Bounded Reachability in Tree-Structured QBDs by Abstraction. 133-142 - Qi Zhang, Armin Heindl, Evgenia Smirni, Andreas Stathopoulos:
Comparison of Two Output Models for the BMAP/MAP/1 Departure Process. 143-152
Stochastic Petri Nets
- András Horváth
Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. 155-164
Probabilistic Model Checking
- Joost-Pieter Katoen
The Ins and Outs of the Probabilistic Model Checker MRMC. 167-176 - Serge Haddad, Nihal Pekergin:
Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains. 177-186 - Arnd Hartmanns
A Modest Approach to Checking Probabilistic Timed Automata. 187-196 - Husain Aljazzar, Stefan Leue:
Generation of Counterexamples for Model Checking of Markov Decision Processes. 197-206
Performance Analysis Tools
- Ken Keefe, Quincy Mitchell, Eric Rozier, William H. Sanders:
Remote Job Management in the Mobius Modeling Framework. 209-210 - Jonathan Bogdoll, Holger Hermanns
FlowSim Simulation Benchmarking Platform. 211-212 - Antonius Erdmann, Dietmar Weber:
PerDaCol and PerfAnalysis - A Tool Set for Performance Measurement Data Collection and Evaluation of Real-Time Communication Systems. 213-214
Network Models
- Jens B. Schmitt, Ivan Martinovic:
Demultiplexing in Network Calculus- A Stochastic Scaling Approach. 217-226 - Giuliano Casale:
The Multi-branched Method of Moments for Queueing Networks. 227-236 - Andras Farago:
Quantifying the Trade-off Between the Level of Connectivity and Local Complexity in Random Wireless Network Topologies. 237-246 - Rena Bakhshi
Mean-Field Analysis for the Evaluation of Gossip Protocols. 247-256
Quasy Birth Death Processes
- Ruth Lamprecht, Peter Kemper:
On the Detection of Symmetries in Compositional Markov Models. 259-268 - Afonso Sales, Brigitte Plateau:
Reachable State Space Generation for Structured Models which Use Functional Transitions. 269-278
Performance Analysis Tools
- Ricardo M. Czekster
GTAexpress: A Software Package to Handle Kronecker Descriptors. 281-282 - Peter Kemper:
Recent Extensions to Traviando. 283-284 - Elina Pacini Naumovich, Simona Bernardi
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality. 285-286
Probabilistic Model Checking
- Alastair F. Donaldson, Alice Miller
Language-Level Symmetry Reduction for Probabilistic Model Checking. 289-298 - Husain Aljazzar, Manuel Fischer, Lars Grunske
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. 299-308 - Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston:
The Bio-PEPA Tool Suite. 309-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: