Matches in SemOpenAlex for { <https://semopenalex.org/work/W2105499315> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2105499315 abstract "The importance of correctness of systems is becoming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such correctness, with one of the more promising ones being runtime verification. One important issue in runtime verification is the logic used to specify properties, since this influences both the overheads induced by the monitors, and the applicability of the approach to a particular domain. In this paper we propose techniques for the expression and runtime monitoring of statistical properties, enabling easier manipulation and expression of non-functional requirements. The logic is developed as an extension of the existing runtime verification tool LARVA, and has been applied to an ftp server implementation, adding a new layer of probabilistic intrusion detection and system profiling." @default.
- W2105499315 created "2016-06-24" @default.
- W2105499315 creator A5047667849 @default.
- W2105499315 creator A5073668681 @default.
- W2105499315 creator A5083832418 @default.
- W2105499315 date "2009-01-01" @default.
- W2105499315 modified "2023-09-27" @default.
- W2105499315 title "Statistics and Runtime Verification" @default.
- W2105499315 cites W1825341937 @default.
- W2105499315 cites W2101508170 @default.
- W2105499315 cites W2103910858 @default.
- W2105499315 cites W2113012730 @default.
- W2105499315 cites W2150847526 @default.
- W2105499315 cites W2167467151 @default.
- W2105499315 cites W2912565085 @default.
- W2105499315 cites W2306724671 @default.
- W2105499315 hasPublicationYear "2009" @default.
- W2105499315 type Work @default.
- W2105499315 sameAs 2105499315 @default.
- W2105499315 citedByCount "1" @default.
- W2105499315 countsByYear W21054993152012 @default.
- W2105499315 crossrefType "journal-article" @default.
- W2105499315 hasAuthorship W2105499315A5047667849 @default.
- W2105499315 hasAuthorship W2105499315A5073668681 @default.
- W2105499315 hasAuthorship W2105499315A5083832418 @default.
- W2105499315 hasConcept C111498074 @default.
- W2105499315 hasConcept C120314980 @default.
- W2105499315 hasConcept C149635348 @default.
- W2105499315 hasConcept C154945302 @default.
- W2105499315 hasConcept C187191949 @default.
- W2105499315 hasConcept C199360897 @default.
- W2105499315 hasConcept C202973057 @default.
- W2105499315 hasConcept C41008148 @default.
- W2105499315 hasConcept C49937458 @default.
- W2105499315 hasConcept C55439883 @default.
- W2105499315 hasConcept C62460635 @default.
- W2105499315 hasConcept C80444323 @default.
- W2105499315 hasConceptScore W2105499315C111498074 @default.
- W2105499315 hasConceptScore W2105499315C120314980 @default.
- W2105499315 hasConceptScore W2105499315C149635348 @default.
- W2105499315 hasConceptScore W2105499315C154945302 @default.
- W2105499315 hasConceptScore W2105499315C187191949 @default.
- W2105499315 hasConceptScore W2105499315C199360897 @default.
- W2105499315 hasConceptScore W2105499315C202973057 @default.
- W2105499315 hasConceptScore W2105499315C41008148 @default.
- W2105499315 hasConceptScore W2105499315C49937458 @default.
- W2105499315 hasConceptScore W2105499315C55439883 @default.
- W2105499315 hasConceptScore W2105499315C62460635 @default.
- W2105499315 hasConceptScore W2105499315C80444323 @default.
- W2105499315 hasLocation W21054993151 @default.
- W2105499315 hasOpenAccess W2105499315 @default.
- W2105499315 hasPrimaryLocation W21054993151 @default.
- W2105499315 hasRelatedWork W1568373408 @default.
- W2105499315 hasRelatedWork W1917031944 @default.
- W2105499315 hasRelatedWork W1971059059 @default.
- W2105499315 hasRelatedWork W1998562376 @default.
- W2105499315 hasRelatedWork W2034691511 @default.
- W2105499315 hasRelatedWork W2040561258 @default.
- W2105499315 hasRelatedWork W2067931027 @default.
- W2105499315 hasRelatedWork W2078356878 @default.
- W2105499315 hasRelatedWork W2089832043 @default.
- W2105499315 hasRelatedWork W209133351 @default.
- W2105499315 hasRelatedWork W2153425417 @default.
- W2105499315 hasRelatedWork W2315644090 @default.
- W2105499315 hasRelatedWork W2366716870 @default.
- W2105499315 hasRelatedWork W2394448205 @default.
- W2105499315 hasRelatedWork W2620863320 @default.
- W2105499315 hasRelatedWork W2730972217 @default.
- W2105499315 hasRelatedWork W2750706807 @default.
- W2105499315 hasRelatedWork W3100828547 @default.
- W2105499315 hasRelatedWork W3166125524 @default.
- W2105499315 hasRelatedWork W68724768 @default.
- W2105499315 isParatext "false" @default.
- W2105499315 isRetracted "false" @default.
- W2105499315 magId "2105499315" @default.
- W2105499315 workType "article" @default.