Matches in SemOpenAlex for { <https://semopenalex.org/work/W2801291729> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2801291729 abstract "We present TeSSLa, a specification language based on stream run-time verification, designed for monitoring a specific class of real-time signals. Our monitors can observe concurrent systems with a shared clock, but where each component reports observations as signals that arrive to the monitor at different speeds and with different and varying latencies. The signals and streams that TeSSLa supports (including inputs and final verdicts) are not restricted to be Booleans but can be data from richer domains, including integers and reals with arithmetic operations and aggregations. Consequently, TeSSLa can be used both for checking logical properties, and for computing statistics and general numeric temporal metrics (and properties on these richer metrics). We present an online evaluation algorithm for TeSSLa specifications and show a formal proof of the correctness of concurrent implementations of the evaluation algorithm. Finally, we report an empirical evaluation of a highly concurrent Erlang implementation of the monitoring algorithm." @default.
- W2801291729 created "2018-05-17" @default.
- W2801291729 creator A5002397514 @default.
- W2801291729 creator A5015623381 @default.
- W2801291729 creator A5016464184 @default.
- W2801291729 creator A5066646658 @default.
- W2801291729 creator A5081648154 @default.
- W2801291729 date "2018-04-09" @default.
- W2801291729 modified "2023-10-03" @default.
- W2801291729 title "TeSSLa" @default.
- W2801291729 cites W1509254601 @default.
- W2801291729 cites W1547304883 @default.
- W2801291729 cites W1825341937 @default.
- W2801291729 cites W1975120975 @default.
- W2801291729 cites W1995969393 @default.
- W2801291729 cites W2005976511 @default.
- W2801291729 cites W2027769154 @default.
- W2801291729 cites W2049696538 @default.
- W2801291729 cites W2079512738 @default.
- W2801291729 cites W2088417279 @default.
- W2801291729 cites W2101623441 @default.
- W2801291729 cites W2113012730 @default.
- W2801291729 cites W2115965729 @default.
- W2801291729 cites W2153385696 @default.
- W2801291729 cites W2182828685 @default.
- W2801291729 cites W2522520986 @default.
- W2801291729 cites W88583664 @default.
- W2801291729 doi "https://doi.org/10.1145/3167132.3167338" @default.
- W2801291729 hasPublicationYear "2018" @default.
- W2801291729 type Work @default.
- W2801291729 sameAs 2801291729 @default.
- W2801291729 citedByCount "33" @default.
- W2801291729 countsByYear W28012917292017 @default.
- W2801291729 countsByYear W28012917292018 @default.
- W2801291729 countsByYear W28012917292019 @default.
- W2801291729 countsByYear W28012917292020 @default.
- W2801291729 countsByYear W28012917292021 @default.
- W2801291729 countsByYear W28012917292022 @default.
- W2801291729 countsByYear W28012917292023 @default.
- W2801291729 crossrefType "proceedings-article" @default.
- W2801291729 hasAuthorship W2801291729A5002397514 @default.
- W2801291729 hasAuthorship W2801291729A5015623381 @default.
- W2801291729 hasAuthorship W2801291729A5016464184 @default.
- W2801291729 hasAuthorship W2801291729A5066646658 @default.
- W2801291729 hasAuthorship W2801291729A5081648154 @default.
- W2801291729 hasBestOaLocation W28012917291 @default.
- W2801291729 hasConcept C110251889 @default.
- W2801291729 hasConcept C111498074 @default.
- W2801291729 hasConcept C11413529 @default.
- W2801291729 hasConcept C121332964 @default.
- W2801291729 hasConcept C168167062 @default.
- W2801291729 hasConcept C193702766 @default.
- W2801291729 hasConcept C199360897 @default.
- W2801291729 hasConcept C26713055 @default.
- W2801291729 hasConcept C41008148 @default.
- W2801291729 hasConcept C42383842 @default.
- W2801291729 hasConcept C55439883 @default.
- W2801291729 hasConcept C80444323 @default.
- W2801291729 hasConcept C82484044 @default.
- W2801291729 hasConcept C97355855 @default.
- W2801291729 hasConceptScore W2801291729C110251889 @default.
- W2801291729 hasConceptScore W2801291729C111498074 @default.
- W2801291729 hasConceptScore W2801291729C11413529 @default.
- W2801291729 hasConceptScore W2801291729C121332964 @default.
- W2801291729 hasConceptScore W2801291729C168167062 @default.
- W2801291729 hasConceptScore W2801291729C193702766 @default.
- W2801291729 hasConceptScore W2801291729C199360897 @default.
- W2801291729 hasConceptScore W2801291729C26713055 @default.
- W2801291729 hasConceptScore W2801291729C41008148 @default.
- W2801291729 hasConceptScore W2801291729C42383842 @default.
- W2801291729 hasConceptScore W2801291729C55439883 @default.
- W2801291729 hasConceptScore W2801291729C80444323 @default.
- W2801291729 hasConceptScore W2801291729C82484044 @default.
- W2801291729 hasConceptScore W2801291729C97355855 @default.
- W2801291729 hasLocation W28012917291 @default.
- W2801291729 hasOpenAccess W2801291729 @default.
- W2801291729 hasPrimaryLocation W28012917291 @default.
- W2801291729 hasRelatedWork W1548537923 @default.
- W2801291729 hasRelatedWork W1840677318 @default.
- W2801291729 hasRelatedWork W1978208568 @default.
- W2801291729 hasRelatedWork W1985198438 @default.
- W2801291729 hasRelatedWork W2083338789 @default.
- W2801291729 hasRelatedWork W2134424614 @default.
- W2801291729 hasRelatedWork W2151898527 @default.
- W2801291729 hasRelatedWork W2767418876 @default.
- W2801291729 hasRelatedWork W2801291729 @default.
- W2801291729 hasRelatedWork W2808750505 @default.
- W2801291729 isParatext "false" @default.
- W2801291729 isRetracted "false" @default.
- W2801291729 magId "2801291729" @default.
- W2801291729 workType "article" @default.