524 search results - page 4 / 105 » ProbFAST: Probabilistic Functional Analysis System Tool |
ICSE
2007
IEEE-ACM
13 years 12 months ago
2007
IEEE-ACM
Software engineers tend to repeat mistakes when developing software. Automated static analysis tools can detect some of these mistakes early in the software process. However, thes...
MOBIQUITOUS
2005
IEEE
13 years 11 months ago
2005
IEEE
WLAN location determination systems are gaining increasing attention due to the value they add to wireless networks. In this paper, we present a multivariate analysis technique fo...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
CDC
2009
IEEE
13 years 9 months ago
2009
IEEE
This paper proposes a Probability weighted ARX (PrARX) model wherein the multiple ARX models are composed by the probabilistic weighting functions. As the probabilistic weighting f...
SAFECOMP
2009
Springer
14 years 9 days ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...