Matches in SemOpenAlex for { <https://semopenalex.org/work/W2797945469> ?p ?o ?g. }
- W2797945469 endingPage "358" @default.
- W2797945469 startingPage "340" @default.
- W2797945469 abstract "Statistical model checking avoids the state space explosion problem in verification and naturally supports complex non-Markovian formalisms. Yet as a simulation-based approach, its runtime becomes excessive in the presence of rare events, and it cannot soundly analyse nondeterministic models. In this tool paper, we present modes: a statistical model checker that combines fully automated importance splitting to efficiently estimate the probabilities of rare events with smart lightweight scheduler sampling to approximate optimal schedulers in nondeterministic models. As part of the Modest Toolset, it supports a variety of input formalisms natively and via the Jani exchange format. A modular software architecture allows its various features to be flexibly combined. We highlight its capabilities with an experimental evaluation across multi-core and distributed setups on three exemplary case studies." @default.
- W2797945469 created "2018-04-24" @default.
- W2797945469 creator A5007673197 @default.
- W2797945469 creator A5026004403 @default.
- W2797945469 creator A5059610025 @default.
- W2797945469 creator A5081670169 @default.
- W2797945469 date "2018-01-01" @default.
- W2797945469 modified "2023-10-06" @default.
- W2797945469 title "A Statistical Model Checker for Nondeterminism and Rare Events" @default.
- W2797945469 cites W147046584 @default.
- W2797945469 cites W1489725951 @default.
- W2797945469 cites W1499021164 @default.
- W2797945469 cites W1512919909 @default.
- W2797945469 cites W1544634046 @default.
- W2797945469 cites W1556387789 @default.
- W2797945469 cites W1629580170 @default.
- W2797945469 cites W1850679117 @default.
- W2797945469 cites W1862398452 @default.
- W2797945469 cites W1967621367 @default.
- W2797945469 cites W2009280542 @default.
- W2797945469 cites W2018000058 @default.
- W2797945469 cites W2037393162 @default.
- W2797945469 cites W2041053593 @default.
- W2797945469 cites W2063066676 @default.
- W2797945469 cites W2085838366 @default.
- W2797945469 cites W2087486424 @default.
- W2797945469 cites W2092865915 @default.
- W2797945469 cites W2095662822 @default.
- W2797945469 cites W2105099705 @default.
- W2797945469 cites W2120316874 @default.
- W2797945469 cites W2154144595 @default.
- W2797945469 cites W2163234015 @default.
- W2797945469 cites W2482035342 @default.
- W2797945469 cites W2515987250 @default.
- W2797945469 cites W2527283871 @default.
- W2797945469 cites W2528408885 @default.
- W2797945469 cites W2530791430 @default.
- W2797945469 cites W2567661379 @default.
- W2797945469 cites W2598014203 @default.
- W2797945469 cites W2610385175 @default.
- W2797945469 cites W2611336012 @default.
- W2797945469 cites W275084143 @default.
- W2797945469 cites W2752976193 @default.
- W2797945469 cites W2767167722 @default.
- W2797945469 cites W2770063535 @default.
- W2797945469 cites W2912198824 @default.
- W2797945469 cites W296769721 @default.
- W2797945469 cites W4230704549 @default.
- W2797945469 cites W4237257906 @default.
- W2797945469 cites W81140875 @default.
- W2797945469 doi "https://doi.org/10.1007/978-3-319-89963-3_20" @default.
- W2797945469 hasPublicationYear "2018" @default.
- W2797945469 type Work @default.
- W2797945469 sameAs 2797945469 @default.
- W2797945469 citedByCount "30" @default.
- W2797945469 countsByYear W27979454692017 @default.
- W2797945469 countsByYear W27979454692018 @default.
- W2797945469 countsByYear W27979454692019 @default.
- W2797945469 countsByYear W27979454692020 @default.
- W2797945469 countsByYear W27979454692021 @default.
- W2797945469 countsByYear W27979454692022 @default.
- W2797945469 countsByYear W27979454692023 @default.
- W2797945469 crossrefType "book-chapter" @default.
- W2797945469 hasAuthorship W2797945469A5007673197 @default.
- W2797945469 hasAuthorship W2797945469A5026004403 @default.
- W2797945469 hasAuthorship W2797945469A5059610025 @default.
- W2797945469 hasAuthorship W2797945469A5081670169 @default.
- W2797945469 hasBestOaLocation W27979454692 @default.
- W2797945469 hasConcept C101468663 @default.
- W2797945469 hasConcept C110251889 @default.
- W2797945469 hasConcept C11413529 @default.
- W2797945469 hasConcept C120314980 @default.
- W2797945469 hasConcept C171018156 @default.
- W2797945469 hasConcept C173608175 @default.
- W2797945469 hasConcept C176181172 @default.
- W2797945469 hasConcept C199360897 @default.
- W2797945469 hasConcept C2524010 @default.
- W2797945469 hasConcept C33923547 @default.
- W2797945469 hasConcept C41008148 @default.
- W2797945469 hasConcept C80444323 @default.
- W2797945469 hasConceptScore W2797945469C101468663 @default.
- W2797945469 hasConceptScore W2797945469C110251889 @default.
- W2797945469 hasConceptScore W2797945469C11413529 @default.
- W2797945469 hasConceptScore W2797945469C120314980 @default.
- W2797945469 hasConceptScore W2797945469C171018156 @default.
- W2797945469 hasConceptScore W2797945469C173608175 @default.
- W2797945469 hasConceptScore W2797945469C176181172 @default.
- W2797945469 hasConceptScore W2797945469C199360897 @default.
- W2797945469 hasConceptScore W2797945469C2524010 @default.
- W2797945469 hasConceptScore W2797945469C33923547 @default.
- W2797945469 hasConceptScore W2797945469C41008148 @default.
- W2797945469 hasConceptScore W2797945469C80444323 @default.
- W2797945469 hasLocation W27979454691 @default.
- W2797945469 hasLocation W27979454692 @default.
- W2797945469 hasLocation W27979454693 @default.
- W2797945469 hasOpenAccess W2797945469 @default.
- W2797945469 hasPrimaryLocation W27979454691 @default.
- W2797945469 hasRelatedWork W2030124482 @default.