FRINK Linked Data Fragments server

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

• W2965187938 abstract "Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. This paper presents a new infinite state CTMC model checker, STAMINA, with improved scalability. It uses a novel state space approximation method to reduce large and possibly infinite state CTMC models to finite state representations that are amenable to existing stochastic model checkers. It is integrated with a new property-guided state expansion approach that improves the analysis accuracy. Demonstration of the tool on several benchmark examples shows promising results in terms of analysis efficiency and accuracy compared with a state-of-the-art CTMC model checker that deploys a similar approximation method." @default.
• W2965187938 created "2019-08-13" @default.
• W2965187938 creator A5014529986 @default.
• W2965187938 creator A5018105292 @default.
• W2965187938 creator A5047908665 @default.
• W2965187938 creator A5054623830 @default.
• W2965187938 creator A5068869522 @default.
• W2965187938 date "2019-01-01" @default.
• W2965187938 modified "2023-09-29" @default.
• W2965187938 title "STAMINA: STochastic Approximate Model-Checker for INfinite-State Analysis" @default.
• W2965187938 cites W1497573972 @default.
• W2965187938 cites W1499277573 @default.
• W2965187938 cites W1502561786 @default.
• W2965187938 cites W1516256348 @default.
• W2965187938 cites W1525386718 @default.
• W2965187938 cites W1603153151 @default.
• W2965187938 cites W1801185978 @default.
• W2965187938 cites W1806344101 @default.
• W2965187938 cites W1849560532 @default.
• W2965187938 cites W1862398452 @default.
• W2965187938 cites W1996707446 @default.
• W2965187938 cites W1996756820 @default.
• W2965187938 cites W1999787317 @default.
• W2965187938 cites W2041226400 @default.
• W2965187938 cites W2077095314 @default.
• W2965187938 cites W2095304972 @default.
• W2965187938 cites W2127660420 @default.
• W2965187938 cites W2157239333 @default.
• W2965187938 cites W2562979668 @default.
• W2965187938 cites W2913347211 @default.
• W2965187938 cites W2913788705 @default.
• W2965187938 cites W2965187938 @default.
• W2965187938 doi "https://doi.org/10.1007/978-3-030-25540-4_31" @default.
• W2965187938 hasPublicationYear "2019" @default.
• W2965187938 type Work @default.
• W2965187938 sameAs 2965187938 @default.
• W2965187938 citedByCount "9" @default.
• W2965187938 countsByYear W29651879382019 @default.
• W2965187938 countsByYear W29651879382021 @default.
• W2965187938 countsByYear W29651879382022 @default.
• W2965187938 countsByYear W29651879382023 @default.
• W2965187938 crossrefType "book-chapter" @default.
• W2965187938 hasAuthorship W2965187938A5014529986 @default.
• W2965187938 hasAuthorship W2965187938A5018105292 @default.
• W2965187938 hasAuthorship W2965187938A5047908665 @default.
• W2965187938 hasAuthorship W2965187938A5054623830 @default.
• W2965187938 hasAuthorship W2965187938A5068869522 @default.
• W2965187938 hasBestOaLocation W29651879381 @default.
• W2965187938 hasConcept C105795698 @default.
• W2965187938 hasConcept C110251889 @default.
• W2965187938 hasConcept C11413529 @default.
• W2965187938 hasConcept C126255220 @default.
• W2965187938 hasConcept C127491075 @default.
• W2965187938 hasConcept C13280743 @default.
• W2965187938 hasConcept C154945302 @default.
• W2965187938 hasConcept C185798385 @default.
• W2965187938 hasConcept C197551870 @default.
• W2965187938 hasConcept C205649164 @default.
• W2965187938 hasConcept C33923547 @default.
• W2965187938 hasConcept C38677869 @default.
• W2965187938 hasConcept C41008148 @default.
• W2965187938 hasConcept C48044578 @default.
• W2965187938 hasConcept C48103436 @default.
• W2965187938 hasConcept C49937458 @default.
• W2965187938 hasConcept C72434380 @default.
• W2965187938 hasConcept C77088390 @default.
• W2965187938 hasConcept C80444323 @default.
• W2965187938 hasConceptScore W2965187938C105795698 @default.
• W2965187938 hasConceptScore W2965187938C110251889 @default.
• W2965187938 hasConceptScore W2965187938C11413529 @default.
• W2965187938 hasConceptScore W2965187938C126255220 @default.
• W2965187938 hasConceptScore W2965187938C127491075 @default.
• W2965187938 hasConceptScore W2965187938C13280743 @default.
• W2965187938 hasConceptScore W2965187938C154945302 @default.
• W2965187938 hasConceptScore W2965187938C185798385 @default.
• W2965187938 hasConceptScore W2965187938C197551870 @default.
• W2965187938 hasConceptScore W2965187938C205649164 @default.
• W2965187938 hasConceptScore W2965187938C33923547 @default.
• W2965187938 hasConceptScore W2965187938C38677869 @default.
• W2965187938 hasConceptScore W2965187938C41008148 @default.
• W2965187938 hasConceptScore W2965187938C48044578 @default.
• W2965187938 hasConceptScore W2965187938C48103436 @default.
• W2965187938 hasConceptScore W2965187938C49937458 @default.
• W2965187938 hasConceptScore W2965187938C72434380 @default.
• W2965187938 hasConceptScore W2965187938C77088390 @default.
• W2965187938 hasConceptScore W2965187938C80444323 @default.
• W2965187938 hasLocation W29651879381 @default.
• W2965187938 hasLocation W29651879382 @default.
• W2965187938 hasLocation W29651879383 @default.
• W2965187938 hasLocation W29651879384 @default.
• W2965187938 hasOpenAccess W2965187938 @default.
• W2965187938 hasPrimaryLocation W29651879381 @default.
• W2965187938 hasRelatedWork W1585873980 @default.
• W2965187938 hasRelatedWork W1597178621 @default.
• W2965187938 hasRelatedWork W1677369871 @default.
• W2965187938 hasRelatedWork W1806344101 @default.
• W2965187938 hasRelatedWork W1862398452 @default.
• W2965187938 hasRelatedWork W2052703101 @default.
• W2965187938 hasRelatedWork W2091349143 @default.
• W2965187938 hasRelatedWork W2098395449 @default.

• next