Matches in SemOpenAlex for { <https://semopenalex.org/work/W2116769849> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2116769849 endingPage "59" @default.
- W2116769849 startingPage "30" @default.
- W2116769849 abstract "An effective design of effective and efficient self-adaptive systems may rely on several existing approaches. Software models and model checking techniques at run time represent one of them since they support automatic reasoning about such changes, detect harmful configurations, and potentially enable appropriate (self-)reactions. However, traditional model checking techniques and tools may not be applied as they are at run time, since they hardly meet the constraints imposed by on-the-fly analysis, in terms of execution time and memory occupation. For this reason, efficient run-time model checking represents a crucial research challenge. This paper precisely addresses this issue and focuses on probabilistic run-time model checking in which reliability models are given in terms of Discrete Time Markov Chains which are verified at run-time against a set of requirements expressed as logical formulae. In particular, the paper discusses the use of probabilistic model checking at run-time for self-adaptive systems by surveying and comparing the existing approaches divided in two categories: state-elimination algorithms and algebra-based algorithms. The discussion is supported by a realistic example and by empirical experiments." @default.
- W2116769849 created "2016-06-24" @default.
- W2116769849 creator A5031168005 @default.
- W2116769849 creator A5083739081 @default.
- W2116769849 date "2013-01-01" @default.
- W2116769849 modified "2023-09-23" @default.
- W2116769849 title "Probabilistic Verification at Runtime for Self-Adaptive Systems" @default.
- W2116769849 cites W1501881008 @default.
- W2116769849 cites W1506342804 @default.
- W2116769849 cites W1511105469 @default.
- W2116769849 cites W1516256348 @default.
- W2116769849 cites W1520511539 @default.
- W2116769849 cites W1532041863 @default.
- W2116769849 cites W1546598271 @default.
- W2116769849 cites W1600556058 @default.
- W2116769849 cites W1972203711 @default.
- W2116769849 cites W1977832770 @default.
- W2116769849 cites W2005998857 @default.
- W2116769849 cites W2015699956 @default.
- W2116769849 cites W2096210507 @default.
- W2116769849 cites W2104851058 @default.
- W2116769849 cites W2107701089 @default.
- W2116769849 cites W2111765806 @default.
- W2116769849 cites W2112175063 @default.
- W2116769849 cites W2141881497 @default.
- W2116769849 cites W2149614712 @default.
- W2116769849 cites W2152863619 @default.
- W2116769849 cites W2160960583 @default.
- W2116769849 cites W2163784380 @default.
- W2116769849 cites W3144730817 @default.
- W2116769849 cites W4240596267 @default.
- W2116769849 doi "https://doi.org/10.1007/978-3-642-36249-1_2" @default.
- W2116769849 hasPublicationYear "2013" @default.
- W2116769849 type Work @default.
- W2116769849 sameAs 2116769849 @default.
- W2116769849 citedByCount "28" @default.
- W2116769849 countsByYear W21167698492014 @default.
- W2116769849 countsByYear W21167698492015 @default.
- W2116769849 countsByYear W21167698492016 @default.
- W2116769849 countsByYear W21167698492017 @default.
- W2116769849 countsByYear W21167698492018 @default.
- W2116769849 countsByYear W21167698492019 @default.
- W2116769849 countsByYear W21167698492020 @default.
- W2116769849 countsByYear W21167698492021 @default.
- W2116769849 countsByYear W21167698492022 @default.
- W2116769849 countsByYear W21167698492023 @default.
- W2116769849 crossrefType "book-chapter" @default.
- W2116769849 hasAuthorship W2116769849A5031168005 @default.
- W2116769849 hasAuthorship W2116769849A5083739081 @default.
- W2116769849 hasBestOaLocation W21167698492 @default.
- W2116769849 hasConcept C110251889 @default.
- W2116769849 hasConcept C119857082 @default.
- W2116769849 hasConcept C120314980 @default.
- W2116769849 hasConcept C121332964 @default.
- W2116769849 hasConcept C154945302 @default.
- W2116769849 hasConcept C163258240 @default.
- W2116769849 hasConcept C177264268 @default.
- W2116769849 hasConcept C199360897 @default.
- W2116769849 hasConcept C41008148 @default.
- W2116769849 hasConcept C43214815 @default.
- W2116769849 hasConcept C49937458 @default.
- W2116769849 hasConcept C62520636 @default.
- W2116769849 hasConcept C80444323 @default.
- W2116769849 hasConcept C98763669 @default.
- W2116769849 hasConceptScore W2116769849C110251889 @default.
- W2116769849 hasConceptScore W2116769849C119857082 @default.
- W2116769849 hasConceptScore W2116769849C120314980 @default.
- W2116769849 hasConceptScore W2116769849C121332964 @default.
- W2116769849 hasConceptScore W2116769849C154945302 @default.
- W2116769849 hasConceptScore W2116769849C163258240 @default.
- W2116769849 hasConceptScore W2116769849C177264268 @default.
- W2116769849 hasConceptScore W2116769849C199360897 @default.
- W2116769849 hasConceptScore W2116769849C41008148 @default.
- W2116769849 hasConceptScore W2116769849C43214815 @default.
- W2116769849 hasConceptScore W2116769849C49937458 @default.
- W2116769849 hasConceptScore W2116769849C62520636 @default.
- W2116769849 hasConceptScore W2116769849C80444323 @default.
- W2116769849 hasConceptScore W2116769849C98763669 @default.
- W2116769849 hasLocation W21167698491 @default.
- W2116769849 hasLocation W21167698492 @default.
- W2116769849 hasOpenAccess W2116769849 @default.
- W2116769849 hasPrimaryLocation W21167698491 @default.
- W2116769849 hasRelatedWork W125552836 @default.
- W2116769849 hasRelatedWork W1497573972 @default.
- W2116769849 hasRelatedWork W1523289856 @default.
- W2116769849 hasRelatedWork W1762969849 @default.
- W2116769849 hasRelatedWork W2087152645 @default.
- W2116769849 hasRelatedWork W2395749546 @default.
- W2116769849 hasRelatedWork W2403555318 @default.
- W2116769849 hasRelatedWork W2734341768 @default.
- W2116769849 hasRelatedWork W2757133052 @default.
- W2116769849 hasRelatedWork W925418074 @default.
- W2116769849 isParatext "false" @default.
- W2116769849 isRetracted "false" @default.
- W2116769849 magId "2116769849" @default.
- W2116769849 workType "book-chapter" @default.