FRINK Linked Data Fragments server

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

• W324729440 abstract "For verification and performance evaluation, system models that can express stochastic as well as real-time behaviour are of increasing importance. Although an integrated stochastic-timed verification procedure is highly desirable, both model-checking and simulation currently fall short of providing a complete, fully automatic verification solution. For model-checking, the problem lies in the extreme expressiveness of such a model, while simulation is limited to stochastic processes and cannot deal with nondeterminism. In this paper, we review the use of stochastic timed automata as an overarching formalism to model stochastic timed systems and present two analysis approaches: Model-checking for the (large) subset corresponding to probabilistic timed automata with deadlines, for which solid implementations are appearing, and simulation, which we have recently shown to be applicable to models that also include spurious nondeterministic choices." @default.
• W324729440 created "2016-06-24" @default.
• W324729440 creator A5007673197 @default.
• W324729440 date "2011-01-01" @default.
• W324729440 modified "2023-09-26" @default.
• W324729440 title "Model-Checking and Simulation for Stochastic Timed Systems" @default.
• W324729440 cites W1489725951 @default.
• W324729440 cites W1520708882 @default.
• W324729440 cites W1523442991 @default.
• W324729440 cites W1558483585 @default.
• W324729440 cites W1617322827 @default.
• W324729440 cites W2009280542 @default.
• W324729440 cites W2025975926 @default.
• W324729440 cites W2028827800 @default.
• W324729440 cites W2071103858 @default.
• W324729440 cites W2091540690 @default.
• W324729440 cites W2093709900 @default.
• W324729440 cites W2095602520 @default.
• W324729440 cites W2101508170 @default.
• W324729440 cites W2102609194 @default.
• W324729440 cites W2105859895 @default.
• W324729440 cites W2132266737 @default.
• W324729440 cites W2160960583 @default.
• W324729440 cites W2161081924 @default.
• W324729440 cites W2165200427 @default.
• W324729440 cites W2167624633 @default.
• W324729440 cites W2334782222 @default.
• W324729440 cites W4246017475 @default.
• W324729440 doi "https://doi.org/10.1007/978-3-642-25271-6_20" @default.
• W324729440 hasPublicationYear "2011" @default.
• W324729440 type Work @default.
• W324729440 sameAs 324729440 @default.
• W324729440 citedByCount "13" @default.
• W324729440 countsByYear W3247294402012 @default.
• W324729440 countsByYear W3247294402013 @default.
• W324729440 countsByYear W3247294402014 @default.
• W324729440 countsByYear W3247294402015 @default.
• W324729440 countsByYear W3247294402016 @default.
• W324729440 countsByYear W3247294402017 @default.
• W324729440 crossrefType "book-chapter" @default.
• W324729440 hasAuthorship W324729440A5007673197 @default.
• W324729440 hasConcept C105795698 @default.
• W324729440 hasConcept C110251889 @default.
• W324729440 hasConcept C111498074 @default.
• W324729440 hasConcept C112505250 @default.
• W324729440 hasConcept C11413529 @default.
• W324729440 hasConcept C119857082 @default.
• W324729440 hasConcept C127491075 @default.
• W324729440 hasConcept C142362112 @default.
• W324729440 hasConcept C153349607 @default.
• W324729440 hasConcept C154945302 @default.
• W324729440 hasConcept C176181172 @default.
• W324729440 hasConcept C199360897 @default.
• W324729440 hasConcept C26713055 @default.
• W324729440 hasConcept C33923547 @default.
• W324729440 hasConcept C41008148 @default.
• W324729440 hasConcept C49937458 @default.
• W324729440 hasConcept C558565934 @default.
• W324729440 hasConcept C73301696 @default.
• W324729440 hasConcept C80444323 @default.
• W324729440 hasConcept C8272713 @default.
• W324729440 hasConcept C97256817 @default.
• W324729440 hasConceptScore W324729440C105795698 @default.
• W324729440 hasConceptScore W324729440C110251889 @default.
• W324729440 hasConceptScore W324729440C111498074 @default.
• W324729440 hasConceptScore W324729440C112505250 @default.
• W324729440 hasConceptScore W324729440C11413529 @default.
• W324729440 hasConceptScore W324729440C119857082 @default.
• W324729440 hasConceptScore W324729440C127491075 @default.
• W324729440 hasConceptScore W324729440C142362112 @default.
• W324729440 hasConceptScore W324729440C153349607 @default.
• W324729440 hasConceptScore W324729440C154945302 @default.
• W324729440 hasConceptScore W324729440C176181172 @default.
• W324729440 hasConceptScore W324729440C199360897 @default.
• W324729440 hasConceptScore W324729440C26713055 @default.
• W324729440 hasConceptScore W324729440C33923547 @default.
• W324729440 hasConceptScore W324729440C41008148 @default.
• W324729440 hasConceptScore W324729440C49937458 @default.
• W324729440 hasConceptScore W324729440C558565934 @default.
• W324729440 hasConceptScore W324729440C73301696 @default.
• W324729440 hasConceptScore W324729440C80444323 @default.
• W324729440 hasConceptScore W324729440C8272713 @default.
• W324729440 hasConceptScore W324729440C97256817 @default.
• W324729440 hasLocation W3247294401 @default.
• W324729440 hasOpenAccess W324729440 @default.
• W324729440 hasPrimaryLocation W3247294401 @default.
• W324729440 hasRelatedWork W147046584 @default.
• W324729440 hasRelatedWork W152443325 @default.
• W324729440 hasRelatedWork W1538906230 @default.
• W324729440 hasRelatedWork W1617322827 @default.
• W324729440 hasRelatedWork W1862398452 @default.
• W324729440 hasRelatedWork W1962072139 @default.
• W324729440 hasRelatedWork W2009280542 @default.
• W324729440 hasRelatedWork W2018668200 @default.
• W324729440 hasRelatedWork W2073841996 @default.
• W324729440 hasRelatedWork W2101508170 @default.
• W324729440 hasRelatedWork W2102609194 @default.
• W324729440 hasRelatedWork W2103416572 @default.
• W324729440 hasRelatedWork W2143669551 @default.
• W324729440 hasRelatedWork W2482035342 @default.

• next