149 search results - page 2 / 30 » On Statistical Model Checking of Stochastic Systems |
VMCAI
2010
Springer
14 years 2 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
IRI
2008
IEEE
13 years 11 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Stochastic model checking has been used recently to assess, among others, dependability measures for a variety of systems. However, the employed numerical methods, as, e.g., suppor...
EPEW
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Recently, there is an explosive development of fluid approaches to computer and distributed systems. These approaches are inherently stochastic and generate continuous st...
FORTE
2010
13 years 6 months ago
2010
cal Abstraction and Model-Checking of Large Heterogeneous Systems Ananda Basu, Verimag Laboratory, Universit