Matches in SemOpenAlex for { <https://semopenalex.org/work/W2796942245> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2796942245 endingPage "220" @default.
- W2796942245 startingPage "203" @default.
- W2796942245 abstract "We introduce a general framework for Runtime Verification, parameterized with respect to a set of conditions. These conditions are encoded in the trace generated by a monitored process, which a monitor can observe. We present this parameterized framework in its general form and prove that it corresponds to a fragment of HML with recursion, extended with these conditions. We then show how this framework can be applied to a number of instantiations of the set of conditions." @default.
- W2796942245 created "2018-04-24" @default.
- W2796942245 creator A5016540152 @default.
- W2796942245 creator A5041913577 @default.
- W2796942245 creator A5066986721 @default.
- W2796942245 creator A5077349456 @default.
- W2796942245 date "2018-01-01" @default.
- W2796942245 modified "2023-10-16" @default.
- W2796942245 title "A Framework for Parameterized Monitorability" @default.
- W2796942245 cites W1183828699 @default.
- W2796942245 cites W1512310098 @default.
- W2796942245 cites W1566637212 @default.
- W2796942245 cites W1573078772 @default.
- W2796942245 cites W1643991583 @default.
- W2796942245 cites W1787074469 @default.
- W2796942245 cites W1978469611 @default.
- W2796942245 cites W2015640848 @default.
- W2796942245 cites W2033100041 @default.
- W2796942245 cites W2036862954 @default.
- W2796942245 cites W2043996829 @default.
- W2796942245 cites W2060944709 @default.
- W2796942245 cites W2084871158 @default.
- W2796942245 cites W2101623441 @default.
- W2796942245 cites W2115965729 @default.
- W2796942245 cites W2126606154 @default.
- W2796942245 cites W2167004912 @default.
- W2796942245 cites W2247375962 @default.
- W2796942245 cites W2399995426 @default.
- W2796942245 cites W2464216566 @default.
- W2796942245 cites W2479199528 @default.
- W2796942245 cites W2522514395 @default.
- W2796942245 cites W2599123558 @default.
- W2796942245 cites W2742517914 @default.
- W2796942245 cites W2752666516 @default.
- W2796942245 cites W2753231957 @default.
- W2796942245 cites W2913048148 @default.
- W2796942245 cites W3100828547 @default.
- W2796942245 cites W4252542281 @default.
- W2796942245 cites W64407196 @default.
- W2796942245 doi "https://doi.org/10.1007/978-3-319-89366-2_11" @default.
- W2796942245 hasPublicationYear "2018" @default.
- W2796942245 type Work @default.
- W2796942245 sameAs 2796942245 @default.
- W2796942245 citedByCount "19" @default.
- W2796942245 countsByYear W27969422452018 @default.
- W2796942245 countsByYear W27969422452019 @default.
- W2796942245 countsByYear W27969422452020 @default.
- W2796942245 countsByYear W27969422452021 @default.
- W2796942245 countsByYear W27969422452022 @default.
- W2796942245 countsByYear W27969422452023 @default.
- W2796942245 crossrefType "book-chapter" @default.
- W2796942245 hasAuthorship W2796942245A5016540152 @default.
- W2796942245 hasAuthorship W2796942245A5041913577 @default.
- W2796942245 hasAuthorship W2796942245A5066986721 @default.
- W2796942245 hasAuthorship W2796942245A5077349456 @default.
- W2796942245 hasBestOaLocation W27969422451 @default.
- W2796942245 hasConcept C11413529 @default.
- W2796942245 hasConcept C165464430 @default.
- W2796942245 hasConcept C41008148 @default.
- W2796942245 hasConcept C80444323 @default.
- W2796942245 hasConceptScore W2796942245C11413529 @default.
- W2796942245 hasConceptScore W2796942245C165464430 @default.
- W2796942245 hasConceptScore W2796942245C41008148 @default.
- W2796942245 hasConceptScore W2796942245C80444323 @default.
- W2796942245 hasLocation W27969422451 @default.
- W2796942245 hasLocation W27969422452 @default.
- W2796942245 hasOpenAccess W2796942245 @default.
- W2796942245 hasPrimaryLocation W27969422451 @default.
- W2796942245 hasRelatedWork W1973679146 @default.
- W2796942245 hasRelatedWork W1974487164 @default.
- W2796942245 hasRelatedWork W2330155816 @default.
- W2796942245 hasRelatedWork W2351491280 @default.
- W2796942245 hasRelatedWork W2357085366 @default.
- W2796942245 hasRelatedWork W2371447506 @default.
- W2796942245 hasRelatedWork W2386767533 @default.
- W2796942245 hasRelatedWork W303980170 @default.
- W2796942245 hasRelatedWork W4300424690 @default.
- W2796942245 hasRelatedWork W808328477 @default.
- W2796942245 isParatext "false" @default.
- W2796942245 isRetracted "false" @default.
- W2796942245 magId "2796942245" @default.
- W2796942245 workType "book-chapter" @default.