FRINK Linked Data Fragments server

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

• W2043996829 endingPage "382" @default.
• W2043996829 startingPage "349" @default.
• W2043996829 abstract "The underlying property, its definition, and representation play a major role when monitoring a system. Having a suitable and convenient framework to express properties is thus a concern for runtime analysis. It is desirable to delineate in this framework the sets of properties for which runtime analysis approaches can be applied to. This paper presents a unified view of runtime verification and enforcement of properties in the Safety-Progress classification. First, we extend the Safety-Progress classification of properties in a runtime context. Second, we characterize the set of properties which can be verified (monitorable properties) and enforced (enforceable properties) at runtime. We propose in particular an alternative definition of “property monitoring” to the one classically used in this context. Finally, for the delineated sets of properties, we define specialized verification and enforcement monitors." @default.
• W2043996829 created "2016-06-24" @default.
• W2043996829 creator A5009535536 @default.
• W2043996829 creator A5026735986 @default.
• W2043996829 creator A5037726232 @default.
• W2043996829 date "2011-04-21" @default.
• W2043996829 modified "2023-10-06" @default.
• W2043996829 title "What can you verify and enforce at runtime?" @default.
• W2043996829 cites W1540883472 @default.
• W2043996829 cites W1558971024 @default.
• W2043996829 cites W1574561446 @default.
• W2043996829 cites W1577761978 @default.
• W2043996829 cites W1616569837 @default.
• W2043996829 cites W1804029911 @default.
• W2043996829 cites W1975880855 @default.
• W2043996829 cites W1985929316 @default.
• W2043996829 cites W2002128397 @default.
• W2043996829 cites W2005062077 @default.
• W2043996829 cites W2021711161 @default.
• W2043996829 cites W2025480213 @default.
• W2043996829 cites W2028720147 @default.
• W2043996829 cites W2036910349 @default.
• W2043996829 cites W2041755664 @default.
• W2043996829 cites W2081810835 @default.
• W2043996829 cites W2101623441 @default.
• W2043996829 cites W2116593309 @default.
• W2043996829 cites W2132334337 @default.
• W2043996829 cites W2140724281 @default.
• W2043996829 cites W2150593762 @default.
• W2043996829 cites W2156456150 @default.
• W2043996829 cites W2914206182 @default.
• W2043996829 cites W4296471858 @default.
• W2043996829 cites W979433832 @default.
• W2043996829 cites W2122947988 @default.
• W2043996829 doi "https://doi.org/10.1007/s10009-011-0196-8" @default.
• W2043996829 hasPublicationYear "2011" @default.
• W2043996829 type Work @default.
• W2043996829 sameAs 2043996829 @default.
• W2043996829 citedByCount "133" @default.
• W2043996829 countsByYear W20439968292012 @default.
• W2043996829 countsByYear W20439968292013 @default.
• W2043996829 countsByYear W20439968292014 @default.
• W2043996829 countsByYear W20439968292015 @default.
• W2043996829 countsByYear W20439968292016 @default.
• W2043996829 countsByYear W20439968292017 @default.
• W2043996829 countsByYear W20439968292018 @default.
• W2043996829 countsByYear W20439968292019 @default.
• W2043996829 countsByYear W20439968292020 @default.
• W2043996829 countsByYear W20439968292021 @default.
• W2043996829 countsByYear W20439968292022 @default.
• W2043996829 countsByYear W20439968292023 @default.
• W2043996829 crossrefType "journal-article" @default.
• W2043996829 hasAuthorship W2043996829A5009535536 @default.
• W2043996829 hasAuthorship W2043996829A5026735986 @default.
• W2043996829 hasAuthorship W2043996829A5037726232 @default.
• W2043996829 hasBestOaLocation W20439968292 @default.
• W2043996829 hasConcept C111472728 @default.
• W2043996829 hasConcept C111498074 @default.
• W2043996829 hasConcept C120314980 @default.
• W2043996829 hasConcept C138885662 @default.
• W2043996829 hasConcept C151730666 @default.
• W2043996829 hasConcept C177264268 @default.
• W2043996829 hasConcept C17744445 @default.
• W2043996829 hasConcept C189950617 @default.
• W2043996829 hasConcept C199360897 @default.
• W2043996829 hasConcept C199539241 @default.
• W2043996829 hasConcept C202973057 @default.
• W2043996829 hasConcept C2776359362 @default.
• W2043996829 hasConcept C2779343474 @default.
• W2043996829 hasConcept C2779777834 @default.
• W2043996829 hasConcept C2780870223 @default.
• W2043996829 hasConcept C41008148 @default.
• W2043996829 hasConcept C86803240 @default.
• W2043996829 hasConcept C94625758 @default.
• W2043996829 hasConcept C97686452 @default.
• W2043996829 hasConceptScore W2043996829C111472728 @default.
• W2043996829 hasConceptScore W2043996829C111498074 @default.
• W2043996829 hasConceptScore W2043996829C120314980 @default.
• W2043996829 hasConceptScore W2043996829C138885662 @default.
• W2043996829 hasConceptScore W2043996829C151730666 @default.
• W2043996829 hasConceptScore W2043996829C177264268 @default.
• W2043996829 hasConceptScore W2043996829C17744445 @default.
• W2043996829 hasConceptScore W2043996829C189950617 @default.
• W2043996829 hasConceptScore W2043996829C199360897 @default.
• W2043996829 hasConceptScore W2043996829C199539241 @default.
• W2043996829 hasConceptScore W2043996829C202973057 @default.
• W2043996829 hasConceptScore W2043996829C2776359362 @default.
• W2043996829 hasConceptScore W2043996829C2779343474 @default.
• W2043996829 hasConceptScore W2043996829C2779777834 @default.
• W2043996829 hasConceptScore W2043996829C2780870223 @default.
• W2043996829 hasConceptScore W2043996829C41008148 @default.
• W2043996829 hasConceptScore W2043996829C86803240 @default.
• W2043996829 hasConceptScore W2043996829C94625758 @default.
• W2043996829 hasConceptScore W2043996829C97686452 @default.
• W2043996829 hasIssue "3" @default.
• W2043996829 hasLocation W20439968291 @default.
• W2043996829 hasLocation W20439968292 @default.
• W2043996829 hasLocation W20439968293 @default.

• next