FRINK Linked Data Fragments server

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

• W2171920512 abstract "The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for concurrent system designs making it possible to model check such properties. In this paper, we focus on probabilistic timing properties of infinite-state CTMCs, expressible in continuous stochastic logic (CSL). Such properties comprise important dependability measures, such as timed probabilistic reachability, performability, survivability, and various availability measures like instantaneous availabilities, conditional instantaneous availabilities and interval availabilities. Conventional model checkers explore the given model exhaustively which is not always possible either due to state explosion or because the model is infinite. This paper presents a method that only explores the infinite (or prohibitively large) model up to a finite depth, with the depth bound being computed on-the-fly. We provide experimental evidence showing that our method is effective." @default.
• W2171920512 created "2016-06-24" @default.
• W2171920512 creator A5028747794 @default.
• W2171920512 creator A5030417706 @default.
• W2171920512 creator A5076010669 @default.
• W2171920512 creator A5081589298 @default.
• W2171920512 date "2008-01-01" @default.
• W2171920512 modified "2023-10-17" @default.
• W2171920512 title "Time-bounded model checking of infinite-state continuous-time Markov chains" @default.
• W2171920512 cites W1514324734 @default.
• W2171920512 cites W1516256348 @default.
• W2171920512 cites W1583869287 @default.
• W2171920512 cites W1596739056 @default.
• W2171920512 cites W1787074469 @default.
• W2171920512 cites W1806344101 @default.
• W2171920512 cites W1850679117 @default.
• W2171920512 cites W1899490968 @default.
• W2171920512 cites W1967986582 @default.
• W2171920512 cites W1978905583 @default.
• W2171920512 cites W2041226400 @default.
• W2171920512 cites W2048355938 @default.
• W2171920512 cites W2066594542 @default.
• W2171920512 cites W2077095314 @default.
• W2171920512 cites W2082404215 @default.
• W2171920512 cites W2090311494 @default.
• W2171920512 cites W2095939858 @default.
• W2171920512 cites W2104855667 @default.
• W2171920512 cites W2107224406 @default.
• W2171920512 cites W2107737377 @default.
• W2171920512 cites W2115309705 @default.
• W2171920512 cites W2115555017 @default.
• W2171920512 cites W2117497989 @default.
• W2171920512 cites W2118744069 @default.
• W2171920512 cites W2120062331 @default.
• W2171920512 cites W2124302038 @default.
• W2171920512 cites W2131064513 @default.
• W2171920512 cites W2138210004 @default.
• W2171920512 cites W2141881497 @default.
• W2171920512 cites W2149283215 @default.
• W2171920512 cites W2157239333 @default.
• W2171920512 cites W2164096878 @default.
• W2171920512 cites W2912904668 @default.
• W2171920512 cites W2913788705 @default.
• W2171920512 cites W160927162 @default.
• W2171920512 cites W2583833536 @default.
• W2171920512 doi "https://doi.org/10.1109/acsd.2008.4574601" @default.
• W2171920512 hasPublicationYear "2008" @default.
• W2171920512 type Work @default.
• W2171920512 sameAs 2171920512 @default.
• W2171920512 citedByCount "7" @default.
• W2171920512 countsByYear W21719205122012 @default.
• W2171920512 countsByYear W21719205122013 @default.
• W2171920512 crossrefType "proceedings-article" @default.
• W2171920512 hasAuthorship W2171920512A5028747794 @default.
• W2171920512 hasAuthorship W2171920512A5030417706 @default.
• W2171920512 hasAuthorship W2171920512A5076010669 @default.
• W2171920512 hasAuthorship W2171920512A5081589298 @default.
• W2171920512 hasBestOaLocation W21719205122 @default.
• W2171920512 hasConcept C105795698 @default.
• W2171920512 hasConcept C110251889 @default.
• W2171920512 hasConcept C11413529 @default.
• W2171920512 hasConcept C114614502 @default.
• W2171920512 hasConcept C115903868 @default.
• W2171920512 hasConcept C119857082 @default.
• W2171920512 hasConcept C126255220 @default.
• W2171920512 hasConcept C134306372 @default.
• W2171920512 hasConcept C136643341 @default.
• W2171920512 hasConcept C147080032 @default.
• W2171920512 hasConcept C154945302 @default.
• W2171920512 hasConcept C159886148 @default.
• W2171920512 hasConcept C163836022 @default.
• W2171920512 hasConcept C2778067643 @default.
• W2171920512 hasConcept C2781133158 @default.
• W2171920512 hasConcept C28826006 @default.
• W2171920512 hasConcept C31258907 @default.
• W2171920512 hasConcept C33923547 @default.
• W2171920512 hasConcept C34388435 @default.
• W2171920512 hasConcept C41008148 @default.
• W2171920512 hasConcept C49937458 @default.
• W2171920512 hasConcept C54907487 @default.
• W2171920512 hasConcept C77019957 @default.
• W2171920512 hasConcept C80444323 @default.
• W2171920512 hasConcept C98763669 @default.
• W2171920512 hasConceptScore W2171920512C105795698 @default.
• W2171920512 hasConceptScore W2171920512C110251889 @default.
• W2171920512 hasConceptScore W2171920512C11413529 @default.
• W2171920512 hasConceptScore W2171920512C114614502 @default.
• W2171920512 hasConceptScore W2171920512C115903868 @default.
• W2171920512 hasConceptScore W2171920512C119857082 @default.
• W2171920512 hasConceptScore W2171920512C126255220 @default.
• W2171920512 hasConceptScore W2171920512C134306372 @default.
• W2171920512 hasConceptScore W2171920512C136643341 @default.
• W2171920512 hasConceptScore W2171920512C147080032 @default.
• W2171920512 hasConceptScore W2171920512C154945302 @default.
• W2171920512 hasConceptScore W2171920512C159886148 @default.
• W2171920512 hasConceptScore W2171920512C163836022 @default.
• W2171920512 hasConceptScore W2171920512C2778067643 @default.
• W2171920512 hasConceptScore W2171920512C2781133158 @default.
• W2171920512 hasConceptScore W2171920512C28826006 @default.
• W2171920512 hasConceptScore W2171920512C31258907 @default.

• next