default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDQEST 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
- 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 J. 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
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 2025-11-26 07:53 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:
