Matches in SemOpenAlex for { <https://semopenalex.org/work/W3092649410> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3092649410 endingPage "106" @default.
- W3092649410 startingPage "87" @default.
- W3092649410 abstract "Cyber-physical systems are inherently safety-critical. The deployment of a runtime monitor significantly increases confidence in their safety. The effectiveness of the monitor can be maximized by considering it an integral component during its development. Thus, in this paper, I given an overview over recent work regarding a development process for runtime monitors alongside a cyber-physical system. This process includes the transformation of desirable safety properties into the formal specification language RTLola. A compiler then generates an executable artifact for monitoring the specification. This artifact can then be integrated into the system." @default.
- W3092649410 created "2020-10-15" @default.
- W3092649410 creator A5080353657 @default.
- W3092649410 date "2020-01-01" @default.
- W3092649410 modified "2023-09-24" @default.
- W3092649410 title "Monitoring Cyber-Physical Systems: From Design to Integration" @default.
- W3092649410 cites W1540883472 @default.
- W3092649410 cites W1547304883 @default.
- W3092649410 cites W1575809242 @default.
- W3092649410 cites W1740522204 @default.
- W3092649410 cites W1977444293 @default.
- W3092649410 cites W2023808162 @default.
- W3092649410 cites W2026629052 @default.
- W3092649410 cites W2028637393 @default.
- W3092649410 cites W2101717554 @default.
- W3092649410 cites W2119965246 @default.
- W3092649410 cites W2127240436 @default.
- W3092649410 cites W2129538349 @default.
- W3092649410 cites W2156093990 @default.
- W3092649410 cites W2161219194 @default.
- W3092649410 cites W2182828685 @default.
- W3092649410 cites W2238768211 @default.
- W3092649410 cites W2267240189 @default.
- W3092649410 cites W2294722445 @default.
- W3092649410 cites W2608488893 @default.
- W3092649410 cites W2609686781 @default.
- W3092649410 cites W2913530642 @default.
- W3092649410 cites W2961558634 @default.
- W3092649410 cites W2978390175 @default.
- W3092649410 cites W2979502960 @default.
- W3092649410 cites W3039218154 @default.
- W3092649410 cites W3046292244 @default.
- W3092649410 cites W3092141107 @default.
- W3092649410 cites W828139470 @default.
- W3092649410 doi "https://doi.org/10.1007/978-3-030-60508-7_5" @default.
- W3092649410 hasPublicationYear "2020" @default.
- W3092649410 type Work @default.
- W3092649410 sameAs 3092649410 @default.
- W3092649410 citedByCount "2" @default.
- W3092649410 countsByYear W30926494102021 @default.
- W3092649410 countsByYear W30926494102022 @default.
- W3092649410 crossrefType "book-chapter" @default.
- W3092649410 hasAuthorship W3092649410A5080353657 @default.
- W3092649410 hasBestOaLocation W30926494102 @default.
- W3092649410 hasConcept C105339364 @default.
- W3092649410 hasConcept C111919701 @default.
- W3092649410 hasConcept C115903868 @default.
- W3092649410 hasConcept C121332964 @default.
- W3092649410 hasConcept C149635348 @default.
- W3092649410 hasConcept C154945302 @default.
- W3092649410 hasConcept C160145156 @default.
- W3092649410 hasConcept C168167062 @default.
- W3092649410 hasConcept C169590947 @default.
- W3092649410 hasConcept C179768478 @default.
- W3092649410 hasConcept C199360897 @default.
- W3092649410 hasConcept C201677973 @default.
- W3092649410 hasConcept C2776436953 @default.
- W3092649410 hasConcept C2779010991 @default.
- W3092649410 hasConcept C2779791154 @default.
- W3092649410 hasConcept C41008148 @default.
- W3092649410 hasConcept C97355855 @default.
- W3092649410 hasConcept C98045186 @default.
- W3092649410 hasConceptScore W3092649410C105339364 @default.
- W3092649410 hasConceptScore W3092649410C111919701 @default.
- W3092649410 hasConceptScore W3092649410C115903868 @default.
- W3092649410 hasConceptScore W3092649410C121332964 @default.
- W3092649410 hasConceptScore W3092649410C149635348 @default.
- W3092649410 hasConceptScore W3092649410C154945302 @default.
- W3092649410 hasConceptScore W3092649410C160145156 @default.
- W3092649410 hasConceptScore W3092649410C168167062 @default.
- W3092649410 hasConceptScore W3092649410C169590947 @default.
- W3092649410 hasConceptScore W3092649410C179768478 @default.
- W3092649410 hasConceptScore W3092649410C199360897 @default.
- W3092649410 hasConceptScore W3092649410C201677973 @default.
- W3092649410 hasConceptScore W3092649410C2776436953 @default.
- W3092649410 hasConceptScore W3092649410C2779010991 @default.
- W3092649410 hasConceptScore W3092649410C2779791154 @default.
- W3092649410 hasConceptScore W3092649410C41008148 @default.
- W3092649410 hasConceptScore W3092649410C97355855 @default.
- W3092649410 hasConceptScore W3092649410C98045186 @default.
- W3092649410 hasLocation W30926494101 @default.
- W3092649410 hasLocation W30926494102 @default.
- W3092649410 hasOpenAccess W3092649410 @default.
- W3092649410 hasPrimaryLocation W30926494101 @default.
- W3092649410 hasRelatedWork W1536570095 @default.
- W3092649410 hasRelatedWork W1969896860 @default.
- W3092649410 hasRelatedWork W2386747312 @default.
- W3092649410 hasRelatedWork W2908278544 @default.
- W3092649410 hasRelatedWork W3005892291 @default.
- W3092649410 hasRelatedWork W3033204818 @default.
- W3092649410 hasRelatedWork W3093851274 @default.
- W3092649410 hasRelatedWork W4239728388 @default.
- W3092649410 hasRelatedWork W4249784850 @default.
- W3092649410 hasRelatedWork W4253619374 @default.
- W3092649410 isParatext "false" @default.
- W3092649410 isRetracted "false" @default.
- W3092649410 magId "3092649410" @default.
- W3092649410 workType "book-chapter" @default.