Matches in SemOpenAlex for { <https://semopenalex.org/work/W181126556> ?p ?o ?g. }
- W181126556 abstract "In this thesis, we consider two problems that statistical model checking must cope. The first problem concerns heterogeneous systems, that naturally introduce complexity and non-determinism into the analysis. The second problem concerns rare properties, difficult to observe, and so to quantify. About the first point, we present original contributions for the formalism of composite systems in BIP language. We propose SBIP, a stochastic extension and define its semantics. SBIP allows the recourse to the stochastic abstraction of components and eliminate the non-determinism. This double effect has the advantage of reducing the size of the initial system by replacing it by a system whose semantics is purely stochastic, a necessary requirement for standard statistical model checking algorithms to be applicable. The second part of this thesis is devoted to the verification of rare properties in statistical model checking. We present a state-of-the-art algorithm for models described by a set of guarded commands. Lastly, we motivate the use of importance splitting for statistical model checking and set up an optimal splitting algorithm. Both methods pursue a common goal to reduce the variance of the estimator and the number of simulations. Nevertheless, they are fundamentally different, the first tackling the problem through the model and the second through the properties." @default.
- W181126556 created "2016-06-24" @default.
- W181126556 creator A5023488341 @default.
- W181126556 date "2014-11-28" @default.
- W181126556 modified "2023-09-25" @default.
- W181126556 title "Rare Event Simulation for Statistical Model Checking" @default.
- W181126556 cites W130102441 @default.
- W181126556 cites W1489725951 @default.
- W181126556 cites W1498432697 @default.
- W181126556 cites W1503002024 @default.
- W181126556 cites W1503170978 @default.
- W181126556 cites W1515008247 @default.
- W181126556 cites W1520598616 @default.
- W181126556 cites W1533572394 @default.
- W181126556 cites W1544634046 @default.
- W181126556 cites W1558483585 @default.
- W181126556 cites W1560643704 @default.
- W181126556 cites W1568729458 @default.
- W181126556 cites W1574005127 @default.
- W181126556 cites W1575431606 @default.
- W181126556 cites W1577352482 @default.
- W181126556 cites W1588278207 @default.
- W181126556 cites W1590315663 @default.
- W181126556 cites W1617322827 @default.
- W181126556 cites W1631091010 @default.
- W181126556 cites W1688113412 @default.
- W181126556 cites W1740522204 @default.
- W181126556 cites W180513329 @default.
- W181126556 cites W1850679117 @default.
- W181126556 cites W1890888469 @default.
- W181126556 cites W1901902864 @default.
- W181126556 cites W1985093013 @default.
- W181126556 cites W1990686023 @default.
- W181126556 cites W1999836359 @default.
- W181126556 cites W2000947342 @default.
- W181126556 cites W2003223892 @default.
- W181126556 cites W2007072455 @default.
- W181126556 cites W2007321142 @default.
- W181126556 cites W2018000058 @default.
- W181126556 cites W2023808162 @default.
- W181126556 cites W2032005922 @default.
- W181126556 cites W2033698665 @default.
- W181126556 cites W2034541289 @default.
- W181126556 cites W2037393162 @default.
- W181126556 cites W2040060046 @default.
- W181126556 cites W2043100293 @default.
- W181126556 cites W2051203581 @default.
- W181126556 cites W2051353904 @default.
- W181126556 cites W2052958516 @default.
- W181126556 cites W2054123013 @default.
- W181126556 cites W2056551379 @default.
- W181126556 cites W2063066676 @default.
- W181126556 cites W2063471322 @default.
- W181126556 cites W2064459703 @default.
- W181126556 cites W2065323166 @default.
- W181126556 cites W2065675749 @default.
- W181126556 cites W2066210260 @default.
- W181126556 cites W2067971887 @default.
- W181126556 cites W2070568156 @default.
- W181126556 cites W2077574412 @default.
- W181126556 cites W2085632445 @default.
- W181126556 cites W2086699924 @default.
- W181126556 cites W2089003125 @default.
- W181126556 cites W2091188761 @default.
- W181126556 cites W2091913260 @default.
- W181126556 cites W2098346263 @default.
- W181126556 cites W2100505193 @default.
- W181126556 cites W2103012681 @default.
- W181126556 cites W2107701089 @default.
- W181126556 cites W2112949599 @default.
- W181126556 cites W2113335827 @default.
- W181126556 cites W2114158268 @default.
- W181126556 cites W2114768982 @default.
- W181126556 cites W2119552321 @default.
- W181126556 cites W2119879106 @default.
- W181126556 cites W2123631651 @default.
- W181126556 cites W2125838338 @default.
- W181126556 cites W2127464845 @default.
- W181126556 cites W21287869 @default.
- W181126556 cites W2134519345 @default.
- W181126556 cites W2134991157 @default.
- W181126556 cites W2146416787 @default.
- W181126556 cites W2153148419 @default.
- W181126556 cites W2155239285 @default.
- W181126556 cites W2155418451 @default.
- W181126556 cites W2160241205 @default.
- W181126556 cites W2160967439 @default.
- W181126556 cites W2164863330 @default.
- W181126556 cites W2167770337 @default.
- W181126556 cites W2167996113 @default.
- W181126556 cites W2277593739 @default.
- W181126556 cites W2319388297 @default.
- W181126556 cites W2321418996 @default.
- W181126556 cites W2620748922 @default.
- W181126556 cites W2623408274 @default.
- W181126556 cites W277831955 @default.
- W181126556 cites W2962787787 @default.
- W181126556 cites W59365162 @default.
- W181126556 cites W81140875 @default.
- W181126556 cites W19412456 @default.