Matches in SemOpenAlex for { <https://semopenalex.org/work/W2327602015> ?p ?o ?g. }
- W2327602015 endingPage "47" @default.
- W2327602015 startingPage "1" @default.
- W2327602015 abstract "Model-based reliability estimation of systems can provide useful insights early in the development process. However, computational complexity of estimating metrics such as mean time to first failure (MTTFF), turnaround time (TAT), or other domain-based quantitative measures can be prohibitive both in time, space, and precision. In this article, we present an alternative to exhaustive model exploration, as in probabilistic model checking, and partial random exploration, as in statistical model checking. Our hypothesis is that a (carefully crafted) partial systematic exploration of a system model can provide better bounds for these quantitative model metrics at lower computation cost. We present a novel automated technique for metric estimation that combines simulation, invariant inference, and probabilistic model checking. Simulation produces a probabilistically relevant set of traces from which a state invariant is inferred. The invariant characterises a partial model, which is then exhaustively explored using probabilistic model checking. We report on experiments that suggest that metric estimation using this technique (for both fully probabilistic models and those exhibiting nondeterminism) can be more effective than (full-model) probabilistic and statistical model checking, especially for system models for which the events of interest are rare." @default.
- W2327602015 created "2016-06-24" @default.
- W2327602015 creator A5000891263 @default.
- W2327602015 creator A5005812046 @default.
- W2327602015 creator A5045087569 @default.
- W2327602015 date "2016-04-06" @default.
- W2327602015 modified "2023-10-07" @default.
- W2327602015 title "Less is More" @default.
- W2327602015 cites W1490079820 @default.
- W2327602015 cites W1510183314 @default.
- W2327602015 cites W1511105469 @default.
- W2327602015 cites W1515421996 @default.
- W2327602015 cites W1533572394 @default.
- W2327602015 cites W1554430274 @default.
- W2327602015 cites W1583191255 @default.
- W2327602015 cites W1588278207 @default.
- W2327602015 cites W1603153151 @default.
- W2327602015 cites W1617322827 @default.
- W2327602015 cites W1850679117 @default.
- W2327602015 cites W1859458367 @default.
- W2327602015 cites W1989703131 @default.
- W2327602015 cites W1993536119 @default.
- W2327602015 cites W1998138867 @default.
- W2327602015 cites W1999288406 @default.
- W2327602015 cites W2001452086 @default.
- W2327602015 cites W2042587503 @default.
- W2327602015 cites W2070468372 @default.
- W2327602015 cites W2078233736 @default.
- W2327602015 cites W2109892325 @default.
- W2327602015 cites W2110908283 @default.
- W2327602015 cites W2114158268 @default.
- W2327602015 cites W2126143155 @default.
- W2327602015 cites W2130514924 @default.
- W2327602015 cites W2153945968 @default.
- W2327602015 cites W2157805581 @default.
- W2327602015 cites W2160967439 @default.
- W2327602015 cites W2165161585 @default.
- W2327602015 cites W2165686945 @default.
- W2327602015 cites W2166744034 @default.
- W2327602015 cites W2410243683 @default.
- W2327602015 cites W3020882730 @default.
- W2327602015 cites W4292691288 @default.
- W2327602015 doi "https://doi.org/10.1145/2890494" @default.
- W2327602015 hasPublicationYear "2016" @default.
- W2327602015 type Work @default.
- W2327602015 sameAs 2327602015 @default.
- W2327602015 citedByCount "4" @default.
- W2327602015 countsByYear W23276020152017 @default.
- W2327602015 countsByYear W23276020152019 @default.
- W2327602015 crossrefType "journal-article" @default.
- W2327602015 hasAuthorship W2327602015A5000891263 @default.
- W2327602015 hasAuthorship W2327602015A5005812046 @default.
- W2327602015 hasAuthorship W2327602015A5045087569 @default.
- W2327602015 hasBestOaLocation W23276020152 @default.
- W2327602015 hasConcept C110251889 @default.
- W2327602015 hasConcept C11413529 @default.
- W2327602015 hasConcept C114289077 @default.
- W2327602015 hasConcept C119857082 @default.
- W2327602015 hasConcept C154945302 @default.
- W2327602015 hasConcept C162324750 @default.
- W2327602015 hasConcept C176217482 @default.
- W2327602015 hasConcept C190470478 @default.
- W2327602015 hasConcept C21547014 @default.
- W2327602015 hasConcept C33923547 @default.
- W2327602015 hasConcept C37914503 @default.
- W2327602015 hasConcept C41008148 @default.
- W2327602015 hasConcept C45374587 @default.
- W2327602015 hasConcept C49937458 @default.
- W2327602015 hasConcept C80444323 @default.
- W2327602015 hasConceptScore W2327602015C110251889 @default.
- W2327602015 hasConceptScore W2327602015C11413529 @default.
- W2327602015 hasConceptScore W2327602015C114289077 @default.
- W2327602015 hasConceptScore W2327602015C119857082 @default.
- W2327602015 hasConceptScore W2327602015C154945302 @default.
- W2327602015 hasConceptScore W2327602015C162324750 @default.
- W2327602015 hasConceptScore W2327602015C176217482 @default.
- W2327602015 hasConceptScore W2327602015C190470478 @default.
- W2327602015 hasConceptScore W2327602015C21547014 @default.
- W2327602015 hasConceptScore W2327602015C33923547 @default.
- W2327602015 hasConceptScore W2327602015C37914503 @default.
- W2327602015 hasConceptScore W2327602015C41008148 @default.
- W2327602015 hasConceptScore W2327602015C45374587 @default.
- W2327602015 hasConceptScore W2327602015C49937458 @default.
- W2327602015 hasConceptScore W2327602015C80444323 @default.
- W2327602015 hasIssue "2" @default.
- W2327602015 hasLocation W23276020151 @default.
- W2327602015 hasLocation W23276020152 @default.
- W2327602015 hasOpenAccess W2327602015 @default.
- W2327602015 hasPrimaryLocation W23276020151 @default.
- W2327602015 hasRelatedWork W1518865745 @default.
- W2327602015 hasRelatedWork W1561838634 @default.
- W2327602015 hasRelatedWork W157143398 @default.
- W2327602015 hasRelatedWork W2087152645 @default.
- W2327602015 hasRelatedWork W2118039525 @default.
- W2327602015 hasRelatedWork W2402139032 @default.
- W2327602015 hasRelatedWork W2569102954 @default.
- W2327602015 hasRelatedWork W2980274526 @default.
- W2327602015 hasRelatedWork W4288594254 @default.