2010 Seventh International Conference on the Quantitative Evaluation of Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781424480821

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.29 ◽

2010 ◽

Author(s):

Michael Huth ◽

Nir Piterman ◽

Daniel Wagner

Keyword(s):

Discrete Time ◽

Probabilistic Verification ◽

New Foundations

Download Full-text

Message from the General Co-chairs

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.5 ◽

2010 ◽

Download Full-text

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.34 ◽

2010 ◽

Cited By ~ 14

Author(s):

Junaid Babar ◽

Andrew Miner

Download Full-text

On the Theory of Stochastic Processors

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.43 ◽

2010 ◽

Cited By ~ 3

Author(s):

Parasara Sridhar Duggirala ◽

Sayan Mitra ◽

Rakesh Kumar ◽

Dean Glazeski

Keyword(s):

Stochastic Processors

Download Full-text

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.47 ◽

2010 ◽

Cited By ~ 16

Author(s):

Martin R. Neuhausser ◽

Lijun Zhang

Keyword(s):

Markov Decision Processes ◽

Continuous Time ◽

Decision Processes ◽

Markov Decision

Download Full-text

External reviewers

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.9 ◽

2010 ◽

Download Full-text

Author Index

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.51 ◽

2010 ◽

Download Full-text

Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.25 ◽

2010 ◽

Cited By ~ 5

Author(s):

Jayanand Asok Kumar ◽

Shobha Vasudevan

Keyword(s):

Model Checking ◽

Probabilistic Model ◽

Probabilistic Model Checking ◽

Compositional Reasoning ◽

Hardware Designs

Download Full-text

Quantifying Opacity

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.40 ◽

2010 ◽

Cited By ~ 14

Author(s):

Beatrice Berard ◽

John Mullins ◽

Mathieu Sassolas

Download Full-text

Model Checking Multivariate State Rewards

2010 Seventh International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2010.10 ◽

2010 ◽

Cited By ~ 3

Author(s):

Bo Friis Nielsen ◽

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Model Checking

Download Full-text

2010 Seventh International Conference on the Quantitative Evaluation of SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

p-Automata: New Foundations for Discrete-Time Probabilistic Verification

Message from the General Co-chairs

Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY

On the Theory of Stochastic Processors

Time-Bounded Reachability Probabilities in Continuous-Time Markov Decision Processes

External reviewers

Author Index

Automatic Compositional Reasoning for Probabilistic Model Checking of Hardware Designs

Quantifying Opacity

Model Checking Multivariate State Rewards

2010 Seventh International Conference on the Quantitative Evaluation of Systems
Latest Publications