QEST 2011: Aachen, Germany

Mean-Field and Fluid Analysis

• Luca Bortolussi:
  Hybrid Limits of Continuous Time Markov Chains. 3-12
  
• Laura Aspirot, Ernesto Mordecki, Gerardo Rubino:
  Fluid Limits Applied to Peer to Peer Network Analysis. 13-20
  
• Giuliano Casale, Mirco Tribastone:
  Fluid Analysis of Queueing in Two-Stage Random Environments. 21-30
  

Invited Talk

• Lothar Thiele:
  Temperature-aware Real-Time Scheduling - Extended Abstract. 33-34
  

Measurements

• Parijat Dube, Seetharami Seelam, Yanbin Liu, Megumi Ito, Thomas Ling, Michel Hack, Liana Fong, Graeme Johnson, Michael Dawson, Li Zhang, Yuqing Gao:
  A Tool for Scalable Profiling and Tracing of Java and Native Code Interactions. 37-46
  
• David Daly, Parijat Dube, Kaoutar El Maghraoui, Dan E. Poff, Li Zhang:
  A Hybrid Approach for Large Cache Performance Studies. 47-56
  

Stochastic Hybrid Systems

• Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate:
  Adaptive Gridding for Abstraction and Verification of Stochastic Hybrid Systems. 59-68
  
• Ernst Moritz Hahn, Gethin Norman, David Parker, Björn Wachter, Lijun Zhang:
  Game-based Abstraction and Controller Synthesis for Probabilistic Hybrid Systems. 69-78
  
• Jeremy Sproston:
  Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata. 79-88
  

Model Checking

• Martin Schwarick, Monika Heiner, Christian Rohr:
  MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. 91-100
  
• Elvio Gilberto Amparore, Marco Beccuti, Susanna Donatelli, Giuliana Franceschinis:
  Probe Automata for Passage Time Specification. 101-110
  
• Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen:
  Learning Probabilistic Automata for Model Checking. 111-120
  
• Rohit Chadha, Vijay Anand Korthikanti, Mahesh Viswanathan, Gul Agha, YoungMin Kwon:
  Model Checking MDPs with a Unique Compact Invariant Set of Distributions. 121-130
  
• András Horváth, Marco Paolieri, Lorenzo Ridi, Enrico Vicario:
  Probabilistic Model Checking of Non-Markovian Models with Concurrent Generally Distributed Timers. 131-140
  

Tools

• Paolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin:
  COSMOS: A Statistical Model Checker for the Hybrid Automata Stochastic Logic. 143-144
  
• Chunyan Mu, David Clark:
  A Tool: Quantitative Analyser for Programs. 145-146
  
• Anton Stefanek, Richard A. Hayden, Jeremy T. Bradley:
  GPA - A Tool for Fluid Scalability Analysis of Massively Parallel Systems. 147-148
  
• Mark Timmer:
  SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes. 149-150
  
• Benoît Delahaye, Kim G. Larsen, Axel Legay, Mikkel L. Pedersen, Andrzej Wasowski:
  APAC: A Tool for Reasoning about Abstract Probabilistic Automata. 151-152
  
• Laura Carnevali, Lorenzo Ridi, Enrico Vicario:
  Sirio: A Framework for Simulation and Symbolic State Space Analysis of non-Markovian Models. 153-154
  
• Polyvios Tsirimpas, William J. Knottenbelt:
  SPORTSBET: A Tool for the Quantitative Evaluation and Execution of Betting Exchange Trading Strategies. 155-156
  

Invited Talk

• Geoffrey Smith:
  Quantifying Information Flow Using Min-Entropy. 159-167
  

Modeling and Security

• Michael J. A. Smith, Flemming Nielson, Hanne Riis Nielson:
  Controlling Modelling Artifacts. 171-180
  
• Axel Schröpfer, Florian Kerschbaum:
  Forecasting Run-Times of Secure Two-Party Computation. 181-190
  
• Elizabeth LeMay, Michael D. Ford, Ken Keefe, William H. Sanders, Carol Muehrcke:
  Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE). 191-200
  

Model Comparison and Analysis

• Henri Hansen, Marta Z. Kwiatkowska, Hongyang Qu:
  Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness. 203-212
  
• Peter Buchholz, Miklós Telek:
  Composition and Equivalence of Markovian and Non-Markovian Models. 213-222
  
• Michael J. A. Smith:
  Compositional Abstractions for Long-Run Properties of Stochastic Systems. 223-232
  
• Douglas Eskins, William H. Sanders:
  The Multiple-Asymmetric-Utility System Model: A Framework for Modeling Cyber-Human Systems. 233-242
  

Distributed Systems

• Rena Bakhshi, Daniela Gavidia, Wan Fokkink, Maarten van Steen:
  A Modeling Framework for Gossip-based Information Spread. 245-254
  
• Raluca Halalai, Thomas A. Henzinger, Vasu Singh:
  Quantitative Evaluation of BFT Protocols. 255-264
  
• Benny Van Houdt:
  Performance Comparison of Aggressive Push and Traditional Pull Strategies in Large Distributed Systems. 265-274
  

Last update Fri May 25 08:33:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page