Matches in SemOpenAlex for { <https://semopenalex.org/work/W2487101119> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2487101119 endingPage "435" @default.
- W2487101119 startingPage "420" @default.
- W2487101119 abstract "Runtime verification focuses on analyzing the execution of a given program by a monitor to determine if it is likely to violate its specifications. There is often an impedance mismatch between the assumptions/model of the monitor and that of the underlying program. This constitutes problems especially for distributed systems, where the concept of current time and state are inherently uncertain. A monitor designed with asynchronous system model assumptions may cause false-positives for a program executing in a partially synchronous system: the monitor may flag a global predicate that does not actually occur in the underlying system. A monitor designed with a partially synchronous system model assumption may cause false negatives as well as false positives for a program executing in an environment where the bounds on partial synchrony differ (albeit temporarily) from the monitor model assumptions." @default.
- W2487101119 created "2016-08-23" @default.
- W2487101119 creator A5010174292 @default.
- W2487101119 creator A5040929189 @default.
- W2487101119 creator A5058749843 @default.
- W2487101119 creator A5068060092 @default.
- W2487101119 creator A5072787717 @default.
- W2487101119 date "2016-01-01" @default.
- W2487101119 modified "2023-09-26" @default.
- W2487101119 title "Precision, Recall, and Sensitivity of Monitoring Partially Synchronous Distributed Systems" @default.
- W2487101119 cites W1508046772 @default.
- W2487101119 cites W182456444 @default.
- W2487101119 cites W1969360009 @default.
- W2487101119 cites W2011350340 @default.
- W2487101119 cites W2061164771 @default.
- W2487101119 cites W2071933194 @default.
- W2487101119 cites W2078961846 @default.
- W2487101119 cites W2087536500 @default.
- W2487101119 cites W2093410407 @default.
- W2487101119 cites W2143450555 @default.
- W2487101119 cites W2159642664 @default.
- W2487101119 cites W2274037101 @default.
- W2487101119 cites W3001896159 @default.
- W2487101119 cites W3137220996 @default.
- W2487101119 doi "https://doi.org/10.1007/978-3-319-46982-9_26" @default.
- W2487101119 hasPublicationYear "2016" @default.
- W2487101119 type Work @default.
- W2487101119 sameAs 2487101119 @default.
- W2487101119 citedByCount "17" @default.
- W2487101119 countsByYear W24871011192017 @default.
- W2487101119 countsByYear W24871011192018 @default.
- W2487101119 countsByYear W24871011192019 @default.
- W2487101119 countsByYear W24871011192020 @default.
- W2487101119 crossrefType "book-chapter" @default.
- W2487101119 hasAuthorship W2487101119A5010174292 @default.
- W2487101119 hasAuthorship W2487101119A5040929189 @default.
- W2487101119 hasAuthorship W2487101119A5058749843 @default.
- W2487101119 hasAuthorship W2487101119A5068060092 @default.
- W2487101119 hasAuthorship W2487101119A5072787717 @default.
- W2487101119 hasBestOaLocation W24871011192 @default.
- W2487101119 hasConcept C100660578 @default.
- W2487101119 hasConcept C127413603 @default.
- W2487101119 hasConcept C15744967 @default.
- W2487101119 hasConcept C180747234 @default.
- W2487101119 hasConcept C21200559 @default.
- W2487101119 hasConcept C24326235 @default.
- W2487101119 hasConcept C41008148 @default.
- W2487101119 hasConceptScore W2487101119C100660578 @default.
- W2487101119 hasConceptScore W2487101119C127413603 @default.
- W2487101119 hasConceptScore W2487101119C15744967 @default.
- W2487101119 hasConceptScore W2487101119C180747234 @default.
- W2487101119 hasConceptScore W2487101119C21200559 @default.
- W2487101119 hasConceptScore W2487101119C24326235 @default.
- W2487101119 hasConceptScore W2487101119C41008148 @default.
- W2487101119 hasLocation W24871011191 @default.
- W2487101119 hasLocation W24871011192 @default.
- W2487101119 hasOpenAccess W2487101119 @default.
- W2487101119 hasPrimaryLocation W24871011191 @default.
- W2487101119 hasRelatedWork W2093578348 @default.
- W2487101119 hasRelatedWork W2350741829 @default.
- W2487101119 hasRelatedWork W2358668433 @default.
- W2487101119 hasRelatedWork W2376932109 @default.
- W2487101119 hasRelatedWork W2382290278 @default.
- W2487101119 hasRelatedWork W2390279801 @default.
- W2487101119 hasRelatedWork W2748952813 @default.
- W2487101119 hasRelatedWork W2766271392 @default.
- W2487101119 hasRelatedWork W2899084033 @default.
- W2487101119 hasRelatedWork W3004735627 @default.
- W2487101119 isParatext "false" @default.
- W2487101119 isRetracted "false" @default.
- W2487101119 magId "2487101119" @default.
- W2487101119 workType "book-chapter" @default.