2012 Ninth International Conference on Quantitative Evaluation of Systems
Latest Publications

TOTAL DOCUMENTS

43

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

9781467323468, 9780769547817

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Committees

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.6 ◽

2012 ◽

Download Full-text

Mean Field for Performance Models with Deterministically-Timed Transitions

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.27 ◽

2012 ◽

Author(s):

Richard A. Hayden

Keyword(s):

Performance Models

Download Full-text

Author index

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.41 ◽

2012 ◽

Download Full-text

Generalised Communication for Interacting Agents

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.16 ◽

2012 ◽

Author(s):

Max Tschaikowski ◽

Mirco Tribastone

Keyword(s):

Interacting Agents

Download Full-text

Reviewers

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.8 ◽

2012 ◽

Download Full-text

A Tool for Solving Ph/M/c and Ph/M/c/N Queues

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.11 ◽

2012 ◽

Author(s):

Thomas Begin ◽

Alexandre Brandwajn

Download Full-text

Quantitative Multirun Security under Active Adversaries

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.31 ◽

2012 ◽

Author(s):

Michele Boreale ◽

Francesca Pampaloni

Download Full-text

A Two-Phase Gauss-Seidel Algorithm for the Stationary Solution of EVMDD-Encoded CTMCs

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.34 ◽

2012 ◽

Author(s):

Yang Zhao ◽

Gianfranco Ciardo

Keyword(s):

Stationary Solution ◽

Download Full-text

Compositional Temporal Synthesis

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.39 ◽

2012 ◽

Author(s):

Moshe Y. Vardi

Download Full-text

A General Reliability Model for Data Storage Systems

2012 Ninth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2012.32 ◽

2012 ◽

Author(s):

Vinodh Venkatesan ◽

Ilias Iliadis

Keyword(s):

Data Storage ◽

Storage Systems ◽

Reliability Model ◽

General Reliability

Download Full-text