QEST 2011:
Aachen,
Germany
Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011.
IEEE Computer Society 2011, ISBN 978-1-4577-0973-9
Mean-Field and Fluid Analysis
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
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
Model Comparison and Analysis
Distributed Systems
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