Matches in SemOpenAlex for { <https://semopenalex.org/work/W1437914003> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1437914003 endingPage "166" @default.
- W1437914003 startingPage "152" @default.
- W1437914003 abstract "We consider the problem of run-time discovery and continuous monitoring of new components that live in an open environment. We focus on extracting a formal model—which may not be available upfront—by observing the behavior of the running component. We show how the model built at run time can be enriched through new observations (dynamic model update). We also use the inferred model to perform run-time verification. That is, we try to identify if any changes are made to the component that modify its original behavior, contradict the previous observations, and invalidate the inferred model." @default.
- W1437914003 created "2016-06-24" @default.
- W1437914003 creator A5013953545 @default.
- W1437914003 creator A5024976868 @default.
- W1437914003 creator A5084194284 @default.
- W1437914003 date "2012-01-01" @default.
- W1437914003 modified "2023-09-27" @default.
- W1437914003 title "Runtime Monitoring of Functional Component Changes with Behavior Models" @default.
- W1437914003 cites W2004073557 @default.
- W1437914003 cites W2008949478 @default.
- W1437914003 cites W2044590882 @default.
- W1437914003 cites W2089281324 @default.
- W1437914003 cites W2126420753 @default.
- W1437914003 cites W2130169574 @default.
- W1437914003 cites W2137070669 @default.
- W1437914003 cites W2142973056 @default.
- W1437914003 cites W2145020764 @default.
- W1437914003 doi "https://doi.org/10.1007/978-3-642-29645-1_17" @default.
- W1437914003 hasPublicationYear "2012" @default.
- W1437914003 type Work @default.
- W1437914003 sameAs 1437914003 @default.
- W1437914003 citedByCount "8" @default.
- W1437914003 countsByYear W14379140032012 @default.
- W1437914003 countsByYear W14379140032013 @default.
- W1437914003 countsByYear W14379140032018 @default.
- W1437914003 crossrefType "book-chapter" @default.
- W1437914003 hasAuthorship W1437914003A5013953545 @default.
- W1437914003 hasAuthorship W1437914003A5024976868 @default.
- W1437914003 hasAuthorship W1437914003A5084194284 @default.
- W1437914003 hasBestOaLocation W14379140032 @default.
- W1437914003 hasConcept C110251889 @default.
- W1437914003 hasConcept C120314980 @default.
- W1437914003 hasConcept C120665830 @default.
- W1437914003 hasConcept C121332964 @default.
- W1437914003 hasConcept C168167062 @default.
- W1437914003 hasConcept C192209626 @default.
- W1437914003 hasConcept C41008148 @default.
- W1437914003 hasConcept C79403827 @default.
- W1437914003 hasConcept C80444323 @default.
- W1437914003 hasConcept C97355855 @default.
- W1437914003 hasConceptScore W1437914003C110251889 @default.
- W1437914003 hasConceptScore W1437914003C120314980 @default.
- W1437914003 hasConceptScore W1437914003C120665830 @default.
- W1437914003 hasConceptScore W1437914003C121332964 @default.
- W1437914003 hasConceptScore W1437914003C168167062 @default.
- W1437914003 hasConceptScore W1437914003C192209626 @default.
- W1437914003 hasConceptScore W1437914003C41008148 @default.
- W1437914003 hasConceptScore W1437914003C79403827 @default.
- W1437914003 hasConceptScore W1437914003C80444323 @default.
- W1437914003 hasConceptScore W1437914003C97355855 @default.
- W1437914003 hasLocation W14379140031 @default.
- W1437914003 hasLocation W14379140032 @default.
- W1437914003 hasOpenAccess W1437914003 @default.
- W1437914003 hasPrimaryLocation W14379140031 @default.
- W1437914003 hasRelatedWork W1437914003 @default.
- W1437914003 hasRelatedWork W1557832504 @default.
- W1437914003 hasRelatedWork W1587227328 @default.
- W1437914003 hasRelatedWork W1980978000 @default.
- W1437914003 hasRelatedWork W2364866360 @default.
- W1437914003 hasRelatedWork W2364925730 @default.
- W1437914003 hasRelatedWork W2379533788 @default.
- W1437914003 hasRelatedWork W2946388178 @default.
- W1437914003 hasRelatedWork W2998813341 @default.
- W1437914003 hasRelatedWork W1925557818 @default.
- W1437914003 isParatext "false" @default.
- W1437914003 isRetracted "false" @default.
- W1437914003 magId "1437914003" @default.
- W1437914003 workType "book-chapter" @default.