default search action
QEST 2013: Buenos Aires, Argentina
- Kaustubh R. Joshi, Markus Siegle
, Mariëlle Stoelinga, Pedro R. D'Argenio
Quantitative Evaluation of Systems - 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Lecture Notes in Computer Science 8054, Springer 2013, ISBN 978-3-642-40195-4
Session 1: Invited Talks
- Gilles Barthe:
Computer-Aided Security Proofs. 1-2 - Edmundo de Souza e Silva
On the Interplay between Content Popularity and Performance in P2P Systems. 3-21
Session 2: Probabilistic Automata and Markov Automata
- Benoît Delahaye
Refinement and Difference for Probabilistic Automata. 22-38 - Ralf Wimmer
High-Level Counterexamples for Probabilistic Automata. 39-54 - Dennis Guck, Hassan Hatefi, Holger Hermanns, Joost-Pieter Katoen
Modelling, Reduction and Analysis of Markov Automata. 55-71 - Christian Eisentraut, Holger Hermanns, Julia Krämer, Andrea Turrini, Lijun Zhang:
Deciding Bisimilarities on Distributions. 72-88
Session 3: Population Models
- Luca Bortolussi
Learning and Designing Stochastic Processes from Logical Constraints. 89-105 - David Spieler:
Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models. 106-122 - Luca Bortolussi
Model Checking Markov Population Models by Central Limit Approximation. 123-138 - Laura Aspirot
Fluid Limit for the Machine Repairman Model with Phase-Type Distributions. 139-154
Session 4: Tool Demos I
- Rastislav Lenhardt:
Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm. 155-159 - Benoît Boyer, Kevin Corre, Axel Legay, Sean Sedwards:
PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library. 160-164 - Yi Deng, Akshay Rajhans, A. Agung Julius:
STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems. 165-168 - Nikolas Anastasiou, William J. Knottenbelt:
PEPERCORN: Inferring Performance Models from Location Tracking Data. 169-172 - Barbara Kordy, Piotr Kordy, Sjouke Mauw
ADTool: Security Analysis with Attack-Defense Trees. 173-176
Session 5: Model Checking and Systems
- Vladimir Klebanov, Norbert Manthey, Christian J. Muise:
SAT-Based Analysis and Quantification of Information Flow in Programs. 177-192 - Friedrich Gretz, Joost-Pieter Katoen
Prinsys - On a Quest for Probabilistic Loop Invariants. 193-208 - David N. Jansen
Revisiting Weak Simulation for Substochastic Markov Chains. 209-224 - Miyuru Dayarathna, Toyotaro Suzumura:
A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking. 225-240
Session 6: Systems
- Vinodh Venkatesan, Ilias Iliadis
Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems. 241-257 - Daniel Happ, Philipp Reinecke, Katinka Wolter:
Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g. 258-273
Session 7: Tools Demos II
- Dieky Adzkiya
VeriSiMPL: Verification via biSimulations of MPL Models. 274-277 - Giorgio Bacci
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. 278-281 - Ken Keefe, William H. Sanders:
Möbius Shell: A Command-Line Interface for Möbius. 282-285 - Lucas Oleksinski, Claiton Correa
A CTL Model Checker for Stochastic Automata Networks. 286-289
Session 8: Control and Games
- S. Akshay, Nathalie Bertrand
The Steady-State Control Problem for Markov Decision Processes. 290-304 - Majid Zamani
Symbolic Control of Stochastic Switched Systems via Finite Abstractions. 305-321 - Taolue Chen
Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving. 322-337 - Parosh Aziz Abdulla, Lorenzo Clemente, Richard Mayr, Sven Sandberg:
Stochastic Parity Games on Lossy Channel Systems. 338-354
Session 9: Timed Automata and Simulation
- Paolo Ballarini, Nathalie Bertrand
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes. 355-371 - Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner R. W. Scheinhardt
Automated Rare Event Simulation for Stochastic Petri Nets. 372-388 - Ansgar Fehnker
Topology-Based Mobility Models for Wireless Networks. 389-404
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-11-15 19:46 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: