| Description |
1 online resource (xii, 406 pages) : illustrations |
| Series |
Lecture notes in computer science, 0302-9743 ; 8054 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 8054.
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Session 1: Invited Talks. Computer-Aided Security Proofs / Gilles Barthe -- On the Interplay between Content Popularity and Performance in P2P Systems / Edmundo de Souza e Silva, Rosa M.M. Leão, Daniel Sadoc Menasché |
|
Session 2: Probabilistic Automata and Markov Automata. Refinement and Difference for Probabilistic Automata / Benoît Delahaye [and others] -- High-Level Counterexamples for Probabilistic Automata / Ralf Wimmer [and others] -- Modelling, Reduction and Analysis of Markov Automata / Dennis Guck [and others] -- Deciding Bisimilarities on Distributions / Christian Eisentraut [and others] |
|
Session 3: Population Models. Learning and Designing Stochastic Processes from Logical Constraints / Luca Bortolussi, Guido Sanguinetti -- Characterizing Oscillatory and Noisy Periodic Behavior in Markov Population Models / David Spieler -- Model Checking Markov Population Models by Central Limit Approximation / Luca Bortolussi, Roberta Lanciani -- Fluid Limit for the Machine Repairman Model with Phase-Type Distributions / Laura Aspirot, Ernesto Mordecki, Gerardo Rubino |
|
Session 4: Tool Demos I. Tulip: Model Checking Probabilistic Systems Using Expectation Maximisation Algorithm / Rastislav Lenhardt -- PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library / Benoît Boyer [and others] -- STRONG: A Trajectory-Based Verification Toolbox for Hybrid Systems / Yi Deng, Akshay Rajhans, A. Agung Julius -- PEPERCORN: Inferring Performance Models from Location Tracking Data / Nikolas Anastasiou, William Knottenbelt -- ADTool: Security Analysis with Attack-Defense Trees / Barbara Kordy [and others] |
|
Session 5: Model Checking and Systems. SAT-Based Analysis and Quantification of Information Flow in Programs / Vladimir Klebanov, Norbert Manthey, Christian Muise -- Prinsys--On a Quest for Probabilistic Loop Invariants / Friedrich Gretz, Joost-Pieter Katoen, Annabelle McIver -- Revisiting Weak Simulation for Substochastic Markov Chains / David N. Jansen, Lei Song, Lijun Zhang -- A Performance Analysis of System S, S4, and Esper via Two Level Benchmarking / Miyuru Dayarathna, Toyotaro Suzumura |
|
Session 6: Systems. Effect of Codeword Placement on the Reliability of Erasure Coded Data Storage Systems / Vinodh Venkatesan, Ilias Iliadis -- Fault-Impact Models Based on Delay and Packet Loss for IEEE 802.11g / Daniel Happ, Philipp Reinecke, Katinka Wolter |
|
Session 7: Tools Demos II. VeriSiMPL: Verification via biSimulations of MPL Models / Dieky Adzkiya, Alessandro Abate -- The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models / Giorgio Bacci [and others] -- Möbius Shell: A Command-Line Interface for Möbius / Ken Keefe, William H. Sanders -- A CTL Model Checker for Stochastic Automata Networks / Lucas Oleksinski [and others] |
|
Session 8: Control and Games. The Steady-State Control Problem for Markov Decision Processes / S. Akshay [and others] -- Symbolic Control of Stochastic Switched Systems via Finite Abstractions / Majid Zamani, Alessandro Abate -- Synthesis for Multi-objective Stochastic Games: An Application to Autonomous Urban Driving / Taolue Chen [and others] -- Stochastic Parity Games on Lossy Channel Systems / Parosh Aziz Abdulla [and others] |
|
Session 9: Timed Automata and Simulation. Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes / Paolo Ballarini [and others] -- Automated Rare Event Simulation for Stochastic Petri Nets / Daniël Reijsbergen [and others] -- Topology-Based Mobility Models for Wireless Networks / Ansgar Fehnker [and others] |
| Summary |
This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Quantitative Evaluation of Systems, QEST 2013, held in Buenos Aires, Argentina, August 27-30, 2013. The 21 revised full papers presented together with 9 tool demonstrations were carefully reviewed and selected from 52 submissions. The papers are organized in topics such as probabilistic automata and Markov automata, population models, model checking and systems, systems, control and games, timed automata and simulation |
| Notes |
International conference proceedings |
|
Includes author index |
| Bibliography |
Includes author index |
| Notes |
Online resource; title from PDF title page (SpringerLink, viewed August 20, 2013) |
| Subject |
Computer systems -- Evaluation -- Congresses
|
|
Computer networks -- Evaluation -- Congresses
|
|
Reliability (Engineering) -- Congresses
|
|
Petri nets -- Congresses
|
|
Machine theory -- Congresses
|
|
Computer systems.
|
|
Computer Systems
|
|
Computer systems
|
|
Computer networks -- Evaluation
|
|
Computer systems -- Evaluation
|
|
Machine theory
|
|
Petri nets
|
|
Reliability (Engineering)
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Joshi, Kaustubh, editor
|
| ISBN |
9783642401961 |
|
3642401961 |
|
3642401953 |
|
9783642401954 |
|
