FRINK Linked Data Fragments server

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

• W2972432854 endingPage "453" @default.
• W2972432854 startingPage "433" @default.
• W2972432854 abstract "Monitorability underpins the technique of Runtime Verification because it delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the operational guarantees provided by monitors, i.e., the computational entities carrying out the verification. We view monitorability as a spectrum, where the fewer guarantees that are required of monitors, the more properties become monitorable. Accordingly, we present a monitorability hierarchy based on this trade-off. For regular specifications, we give syntactic characterisations in Hennessy–Milner logic with recursion for its levels. Finally, we map existing monitorability definitions into our hierarchy. Hence our work gives a unified framework that makes the operational assumptions and guarantees of each definition explicit. This provides a rigorous foundation that can inform design choices and correctness claims for runtime verification tools." @default.
• W2972432854 created "2019-09-19" @default.
• W2972432854 creator A5016540152 @default.
• W2972432854 creator A5039866284 @default.
• W2972432854 creator A5041913577 @default.
• W2972432854 creator A5066986721 @default.
• W2972432854 creator A5077349456 @default.
• W2972432854 date "2019-01-01" @default.
• W2972432854 modified "2023-09-27" @default.
• W2972432854 title "An Operational Guide to Monitorability" @default.
• W2972432854 cites W1540883472 @default.
• W2972432854 cites W1577761978 @default.
• W2972432854 cites W1975880855 @default.
• W2972432854 cites W1978469611 @default.
• W2972432854 cites W1988808695 @default.
• W2972432854 cites W198918365 @default.
• W2972432854 cites W1989371806 @default.
• W2972432854 cites W2005062077 @default.
• W2972432854 cites W2015640848 @default.
• W2972432854 cites W2027769154 @default.
• W2972432854 cites W2033100041 @default.
• W2972432854 cites W2036862954 @default.
• W2972432854 cites W2036910349 @default.
• W2972432854 cites W2043996829 @default.
• W2972432854 cites W2065353132 @default.
• W2972432854 cites W2083030183 @default.
• W2972432854 cites W2111577667 @default.
• W2972432854 cites W2115965729 @default.
• W2972432854 cites W2150593762 @default.
• W2972432854 cites W2234091664 @default.
• W2972432854 cites W2399995426 @default.
• W2972432854 cites W2405916544 @default.
• W2972432854 cites W2464216566 @default.
• W2972432854 cites W2493946278 @default.
• W2972432854 cites W2522514395 @default.
• W2972432854 cites W2599123558 @default.
• W2972432854 cites W2753231957 @default.
• W2972432854 cites W2759563336 @default.
• W2972432854 cites W2786819761 @default.
• W2972432854 cites W2796942245 @default.
• W2972432854 cites W2798942084 @default.
• W2972432854 cites W2806619258 @default.
• W2972432854 cites W2809588530 @default.
• W2972432854 cites W2888811801 @default.
• W2972432854 cites W2900349237 @default.
• W2972432854 cites W2914206182 @default.
• W2972432854 cites W2992559585 @default.
• W2972432854 cites W3124557892 @default.
• W2972432854 cites W4252542281 @default.
• W2972432854 cites W64407196 @default.
• W2972432854 doi "https://doi.org/10.1007/978-3-030-30446-1_23" @default.
• W2972432854 hasPublicationYear "2019" @default.
• W2972432854 type Work @default.
• W2972432854 sameAs 2972432854 @default.
• W2972432854 citedByCount "15" @default.
• W2972432854 countsByYear W29724328542020 @default.
• W2972432854 countsByYear W29724328542021 @default.
• W2972432854 countsByYear W29724328542022 @default.
• W2972432854 countsByYear W29724328542023 @default.
• W2972432854 crossrefType "book-chapter" @default.
• W2972432854 hasAuthorship W2972432854A5016540152 @default.
• W2972432854 hasAuthorship W2972432854A5039866284 @default.
• W2972432854 hasAuthorship W2972432854A5041913577 @default.
• W2972432854 hasAuthorship W2972432854A5066986721 @default.
• W2972432854 hasAuthorship W2972432854A5077349456 @default.
• W2972432854 hasBestOaLocation W29724328542 @default.
• W2972432854 hasConcept C111498074 @default.
• W2972432854 hasConcept C115903868 @default.
• W2972432854 hasConcept C162324750 @default.
• W2972432854 hasConcept C168773036 @default.
• W2972432854 hasConcept C199360897 @default.
• W2972432854 hasConcept C202973057 @default.
• W2972432854 hasConcept C31170391 @default.
• W2972432854 hasConcept C34447519 @default.
• W2972432854 hasConcept C41008148 @default.
• W2972432854 hasConcept C55439883 @default.
• W2972432854 hasConcept C80444323 @default.
• W2972432854 hasConceptScore W2972432854C111498074 @default.
• W2972432854 hasConceptScore W2972432854C115903868 @default.
• W2972432854 hasConceptScore W2972432854C162324750 @default.
• W2972432854 hasConceptScore W2972432854C168773036 @default.
• W2972432854 hasConceptScore W2972432854C199360897 @default.
• W2972432854 hasConceptScore W2972432854C202973057 @default.
• W2972432854 hasConceptScore W2972432854C31170391 @default.
• W2972432854 hasConceptScore W2972432854C34447519 @default.
• W2972432854 hasConceptScore W2972432854C41008148 @default.
• W2972432854 hasConceptScore W2972432854C55439883 @default.
• W2972432854 hasConceptScore W2972432854C80444323 @default.
• W2972432854 hasLocation W29724328541 @default.
• W2972432854 hasLocation W29724328542 @default.
• W2972432854 hasLocation W29724328543 @default.
• W2972432854 hasOpenAccess W2972432854 @default.
• W2972432854 hasPrimaryLocation W29724328541 @default.
• W2972432854 hasRelatedWork W147241645 @default.
• W2972432854 hasRelatedWork W1563456403 @default.
• W2972432854 hasRelatedWork W2006962382 @default.
• W2972432854 hasRelatedWork W2031177960 @default.
• W2972432854 hasRelatedWork W2111870610 @default.

• next