QEST 2009: Budapest, Hungary

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, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes:
  Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization. 11-20
  
• Jiri Barnat, Ivana Cerná, Jana Tumova:
  Quantitative Model Checking of Systems with Degradation. 21-30
  
• Joost-Pieter Katoen, Ivan S. Zapreev:
  Simulation-Based CTMC Model Checking: An Empirical Evaluation. 31-40
  
• Rena Bakhshi, Ansgar Fehnker:
  On the Impact of Modelling Choices for Distributed Information Spread. 41-50
  

Phase Type Distributions and Markov Arrival Processes

• Peter Buchholz, Jan Kriege:
  A Heuristic Approach for Fitting MAPs to Moments and Joint Moments. 53-62
  
• Reza Pulungan, Holger Hermanns:
  Acyclic Minimality by Construction---Almost. 63-72
  
• Hiroyuki Okamura, Tadashi Dohi:
  Faster Maximum Likelihood Estimation Algorithms for Markovian Arrival Processes. 73-82
  

Hardware, Software Models

• Michael Kuperberg, Martin Krogmann, Ralf Reussner:
  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, Alex Villazón, Danilo Ansaloni, Martin Schoeberl:
  Locating Performance Bottlenecks in Embedded Java Software with Calling-Context Cross-Profiling. 107-108
  
• Martin Schoeberl, Walter Binder, Philippe Moret, Alex Villazón:
  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, Benny Van Houdt:
  Exploiting Restricted Transitions in Quasi-Birth-and-Death Processes. 123-132
  
• Daniel Klink, Anne Remke, Boudewijn R. Haverkort, Joost-Pieter Katoen:
  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, Enrico Vicario:
  Aggregated Stochastic State Classes in Quantitative Evaluation of non-Markovian Stochastic Petri Nets. 155-164
  

Probabilistic Model Checking

• Joost-Pieter Katoen, Ivan S. Zapreev, Ernst Moritz Hahn, Holger Hermanns, David N. Jansen:
  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, Holger Hermanns:
  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, Lijun Zhang:
  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, Lucia Cloth, Wan Fokkink, Boudewijn R. Haverkort:
  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, Paulo Fernandes, Thais Webber:
  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, David Parker:
  Language-Level Symmetry Reduction for Probabilistic Model Checking. 289-298
  
• Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue:
  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
  

Last update Fri May 24 19:44:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page