280 search results - page 10 / 56 » Statistical Model Checking of Black-Box Probabilistic System... |
99
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
84
Voted
QEST
2005
IEEE
15 years 6 months ago
2005
IEEE
120
Voted
CMSB
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
106
click to vote
CAV
2006
Springer
15 years 4 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
173
Voted
CLIMA
2011
14 years 7 days ago
2011
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...