FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2787596386> ?p ?o ?g. }

• W2787596386 endingPage "39" @default.
• W2787596386 startingPage "1" @default.
• W2787596386 abstract "Interactive, distributed, and embedded systems often behave stochastically, for example, when inputs, message delays, or failures conform to a probability distribution. However, reasoning analytically about the behavior of complex stochastic systems is generally infeasible. While simulations of systems are commonly used in engineering practice, they have not traditionally been used to reason about formal specifications. Statistical model checking (SMC) addresses this weakness by using a simulation-based approach to reason about precise properties specified in a stochastic temporal logic. A specification for a communication system may state that within some time bound, the probability that the number of messages in a queue will be greater than 5 must be less than 0.01. Using SMC, executions of a stochastic system are first sampled, after which statistical techniques are applied to determine whether such a property holds. While the output of sample-based methods are not always correct, statistical inference can quantify the confidence in the result produced. In effect, SMC provides a more widely applicable and scalable alternative to analysis of properties of stochastic systems using numerical and symbolic methods. SMC techniques have been successfully applied to analyze systems with large state spaces in areas such as computer networking, security, and systems biology. In this article, we survey SMC algorithms, techniques, and tools, while emphasizing current limitations and tradeoffs between precision and scalability." @default.
• W2787596386 created "2018-02-23" @default.
• W2787596386 creator A5015320417 @default.
• W2787596386 creator A5076315769 @default.
• W2787596386 date "2018-01-31" @default.
• W2787596386 modified "2023-10-14" @default.
• W2787596386 title "A Survey of Statistical Model Checking" @default.
• W2787596386 cites W100170310 @default.
• W2787596386 cites W134281090 @default.
• W2787596386 cites W135306462 @default.
• W2787596386 cites W147046584 @default.
• W2787596386 cites W1482727770 @default.
• W2787596386 cites W1499021164 @default.
• W2787596386 cites W1509766189 @default.
• W2787596386 cites W1510183314 @default.
• W2787596386 cites W1520566118 @default.
• W2787596386 cites W1533572394 @default.
• W2787596386 cites W1539608978 @default.
• W2787596386 cites W1544634046 @default.
• W2787596386 cites W1569248486 @default.
• W2787596386 cites W1588278207 @default.
• W2787596386 cites W1629580170 @default.
• W2787596386 cites W1675645133 @default.
• W2787596386 cites W1783413852 @default.
• W2787596386 cites W1850679117 @default.
• W2787596386 cites W192333989 @default.
• W2787596386 cites W1976268573 @default.
• W2787596386 cites W1978942630 @default.
• W2787596386 cites W1988873236 @default.
• W2787596386 cites W1990674830 @default.
• W2787596386 cites W1993112505 @default.
• W2787596386 cites W1993536119 @default.
• W2787596386 cites W1994096594 @default.
• W2787596386 cites W1995348800 @default.
• W2787596386 cites W1995876304 @default.
• W2787596386 cites W2000830638 @default.
• W2787596386 cites W2005998857 @default.
• W2787596386 cites W2006085898 @default.
• W2787596386 cites W2020063716 @default.
• W2787596386 cites W2023035194 @default.
• W2787596386 cites W2026002659 @default.
• W2787596386 cites W2030284881 @default.
• W2787596386 cites W2035537281 @default.
• W2787596386 cites W2037393162 @default.
• W2787596386 cites W2041226400 @default.
• W2787596386 cites W2054240851 @default.
• W2787596386 cites W2062596124 @default.
• W2787596386 cites W2067718333 @default.
• W2787596386 cites W2067971887 @default.
• W2787596386 cites W2068705025 @default.
• W2787596386 cites W2076057321 @default.
• W2787596386 cites W2083752366 @default.
• W2787596386 cites W2092752793 @default.
• W2787596386 cites W2095861482 @default.
• W2787596386 cites W2100914165 @default.
• W2787596386 cites W2102186906 @default.
• W2787596386 cites W2102609194 @default.
• W2787596386 cites W2106265536 @default.
• W2787596386 cites W2110903336 @default.
• W2787596386 cites W2112983125 @default.
• W2787596386 cites W2114158268 @default.
• W2787596386 cites W2116066176 @default.
• W2787596386 cites W2117189826 @default.
• W2787596386 cites W2125548279 @default.
• W2787596386 cites W2125930621 @default.
• W2787596386 cites W2130329609 @default.
• W2787596386 cites W2135706240 @default.
• W2787596386 cites W2135757886 @default.
• W2787596386 cites W2141881497 @default.
• W2787596386 cites W2159875385 @default.
• W2787596386 cites W2168798915 @default.
• W2787596386 cites W2175270166 @default.
• W2787596386 cites W2185071254 @default.
• W2787596386 cites W2211506293 @default.
• W2787596386 cites W2260743461 @default.
• W2787596386 cites W2277593739 @default.
• W2787596386 cites W2390333316 @default.
• W2787596386 cites W2515987250 @default.
• W2787596386 cites W2519085184 @default.
• W2787596386 cites W2519273976 @default.
• W2787596386 cites W2522351640 @default.
• W2787596386 cites W2528003070 @default.
• W2787596386 cites W2528017977 @default.
• W2787596386 cites W2562728025 @default.
• W2787596386 cites W2735692890 @default.
• W2787596386 cites W3105134387 @default.
• W2787596386 cites W3113174340 @default.
• W2787596386 cites W4230704549 @default.
• W2787596386 cites W4233413206 @default.
• W2787596386 cites W4240849727 @default.
• W2787596386 cites W4247848308 @default.
• W2787596386 cites W427198658 @default.
• W2787596386 cites W81140875 @default.
• W2787596386 doi "https://doi.org/10.1145/3158668" @default.
• W2787596386 hasPublicationYear "2018" @default.
• W2787596386 type Work @default.
• W2787596386 sameAs 2787596386 @default.
• W2787596386 citedByCount "189" @default.

• next