2008 Fifth International Conference on Quantitative Evaluation of Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9780769533605

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cell Assisted APMC

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.36 ◽

2008 ◽

Cited By ~ 2

Author(s):

Alexandre Borghi ◽

Thomas Herault ◽

Richard Lassaigne ◽

Sylvain Peyronnet

Download Full-text

Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.53 ◽

2008 ◽

Author(s):

Enrico Vicario

Keyword(s):

Quantitative Evaluation ◽

Timed Systems

Download Full-text

CaVi -- Simulation and Model Checking for Wireless Sensor Networks

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.32 ◽

2008 ◽

Cited By ~ 5

Author(s):

Athanassios Boulis ◽

Ansgar Fehnker ◽

Matthias Fruth ◽

Annabelle McIver

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Model Checking ◽

Wireless Sensor

Download Full-text

A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.26 ◽

2008 ◽

Cited By ~ 10

Author(s):

András Horvath ◽

Gábor Horvath ◽

Miklós Telek

Keyword(s):

Joint Moments

Download Full-text

[Cover art]

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.58 ◽

2008 ◽

Keyword(s):

Cover Art

Download Full-text

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.35 ◽

2008 ◽

Cited By ~ 11

Author(s):

Kousha Etessami ◽

Dominik Wojtczak ◽

Mihalis Yannakakis

Keyword(s):

Birth Death

Download Full-text

KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.33 ◽

2008 ◽

Cited By ~ 36

Author(s):

Giuliano Casale ◽

Eddy Z. Zhang ◽

Evgenia Smirni

Keyword(s):

Arrival Processes

Download Full-text

Automatic Translation of UML Sequence Diagrams into PEPA Models

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.18 ◽

2008 ◽

Cited By ~ 19

Author(s):

Mirco Tribastone ◽

Stephen Gilmore

Keyword(s):

Sequence Diagrams ◽

Automatic Translation

Download Full-text

Modeling Peer-to-Peer Botnets

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.43 ◽

2008 ◽

Cited By ~ 33

Author(s):

Elizabeth Van Ruitenbeek ◽

William H. Sanders

Keyword(s):

Peer To Peer

Download Full-text

Product Form Approximations for Communicating Markov Processes

2008 Fifth International Conference on Quantitative Evaluation of Systems ◽

10.1109/qest.2008.23 ◽

2008 ◽

Cited By ~ 2

Author(s):

Peter Buchholz

Keyword(s):

Markov Processes ◽

Product Form

Download Full-text

2008 Fifth International Conference on Quantitative Evaluation of SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Cell Assisted APMC

Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes

CaVi -- Simulation and Model Checking for Wireless Sensor Networks

A Joint Moments Based Analysis of Networks of MAP/MAP/1 Queues

[Cover art]

Quasi-Birth-Death Processes, Tree-Like QBDs, Probabilistic 1-Counter Automata, and Pushdown Systems

KPC-Toolbox: Simple Yet Effective Trace Fitting Using Markovian Arrival Processes

Automatic Translation of UML Sequence Diagrams into PEPA Models

Modeling Peer-to-Peer Botnets

Product Form Approximations for Communicating Markov Processes

2008 Fifth International Conference on Quantitative Evaluation of Systems
Latest Publications