Limit search to available items
Record 17 of 23
Previous Record Next Record
Book Cover
Author International Conference on the Quantitative Evaluation of Systems (10th : 2013 : Buenos Aires, Argentina)

Title Quantitative evaluation of systems : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings / Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (eds.)
Published Heidelberg : Springer, 2013
Online access available from:
Springer eBooks    View Resource Record  


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.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Joshi, Kaustubh, editor
ISBN 9783642401961 (electronic bk.)
3642401961 (electronic bk.)
3642401953 (print)
9783642401954 (print)
Other Titles QEST 2013