Matches in SemOpenAlex for { <https://semopenalex.org/work/W3214687092> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3214687092 abstract "The verification of cyber-physical systems operating in a safety-critical environment requires formal system models. The validity of the verification hinges on the precision of the model: possible behavior not captured in the model can result in formally verified, but unsafe systems. Yet, manual construction is delicate and error-prone while automatic construction does not scale for large and complex systems. As a remedy, this paper devises an automatic construction algorithm that utilizes information contained in artifacts of the development process: a runtime monitoring specification and recorded test traces. These artifacts incur no additional cost and provide sufficient information so that the construction process scales well for large systems. The algorithm uses a hybrid approach between a top-down and a bottom-up construction which allows for proving the result conservative, while limiting the level of over-approximation." @default.
- W3214687092 created "2021-11-22" @default.
- W3214687092 creator A5055902347 @default.
- W3214687092 creator A5080353657 @default.
- W3214687092 creator A5084417194 @default.
- W3214687092 date "2021-11-10" @default.
- W3214687092 modified "2023-09-27" @default.
- W3214687092 title "Conservative Hybrid Automata from Development Artifacts." @default.
- W3214687092 cites W1941193032 @default.
- W3214687092 cites W1989445634 @default.
- W3214687092 cites W1994748133 @default.
- W3214687092 cites W2101508170 @default.
- W3214687092 cites W2147340401 @default.
- W3214687092 cites W2156801658 @default.
- W3214687092 cites W2220583168 @default.
- W3214687092 cites W2570286547 @default.
- W3214687092 cites W2751867703 @default.
- W3214687092 cites W2763285910 @default.
- W3214687092 cites W2767407758 @default.
- W3214687092 cites W2784248958 @default.
- W3214687092 cites W2811002841 @default.
- W3214687092 cites W2958210738 @default.
- W3214687092 cites W2961558634 @default.
- W3214687092 cites W2963909162 @default.
- W3214687092 cites W2969937245 @default.
- W3214687092 cites W2982059597 @default.
- W3214687092 cites W3016768049 @default.
- W3214687092 cites W3017336524 @default.
- W3214687092 cites W3092649410 @default.
- W3214687092 hasPublicationYear "2021" @default.
- W3214687092 type Work @default.
- W3214687092 sameAs 3214687092 @default.
- W3214687092 citedByCount "0" @default.
- W3214687092 crossrefType "posted-content" @default.
- W3214687092 hasAuthorship W3214687092A5055902347 @default.
- W3214687092 hasAuthorship W3214687092A5080353657 @default.
- W3214687092 hasAuthorship W3214687092A5084417194 @default.
- W3214687092 hasConcept C111498074 @default.
- W3214687092 hasConcept C112505250 @default.
- W3214687092 hasConcept C11413529 @default.
- W3214687092 hasConcept C120314980 @default.
- W3214687092 hasConcept C121332964 @default.
- W3214687092 hasConcept C127413603 @default.
- W3214687092 hasConcept C188198153 @default.
- W3214687092 hasConcept C199360897 @default.
- W3214687092 hasConcept C202973057 @default.
- W3214687092 hasConcept C2778755073 @default.
- W3214687092 hasConcept C41008148 @default.
- W3214687092 hasConcept C62520636 @default.
- W3214687092 hasConcept C78519656 @default.
- W3214687092 hasConcept C80444323 @default.
- W3214687092 hasConcept C98045186 @default.
- W3214687092 hasConceptScore W3214687092C111498074 @default.
- W3214687092 hasConceptScore W3214687092C112505250 @default.
- W3214687092 hasConceptScore W3214687092C11413529 @default.
- W3214687092 hasConceptScore W3214687092C120314980 @default.
- W3214687092 hasConceptScore W3214687092C121332964 @default.
- W3214687092 hasConceptScore W3214687092C127413603 @default.
- W3214687092 hasConceptScore W3214687092C188198153 @default.
- W3214687092 hasConceptScore W3214687092C199360897 @default.
- W3214687092 hasConceptScore W3214687092C202973057 @default.
- W3214687092 hasConceptScore W3214687092C2778755073 @default.
- W3214687092 hasConceptScore W3214687092C41008148 @default.
- W3214687092 hasConceptScore W3214687092C62520636 @default.
- W3214687092 hasConceptScore W3214687092C78519656 @default.
- W3214687092 hasConceptScore W3214687092C80444323 @default.
- W3214687092 hasConceptScore W3214687092C98045186 @default.
- W3214687092 hasLocation W32146870921 @default.
- W3214687092 hasOpenAccess W3214687092 @default.
- W3214687092 hasPrimaryLocation W32146870921 @default.
- W3214687092 hasRelatedWork W122354569 @default.
- W3214687092 hasRelatedWork W161683976 @default.
- W3214687092 hasRelatedWork W162957564 @default.
- W3214687092 hasRelatedWork W1994051723 @default.
- W3214687092 hasRelatedWork W2025954838 @default.
- W3214687092 hasRelatedWork W2051356522 @default.
- W3214687092 hasRelatedWork W2139781217 @default.
- W3214687092 hasRelatedWork W2188057831 @default.
- W3214687092 hasRelatedWork W2189201425 @default.
- W3214687092 hasRelatedWork W2327939770 @default.
- W3214687092 hasRelatedWork W2330593560 @default.
- W3214687092 hasRelatedWork W2532289359 @default.
- W3214687092 hasRelatedWork W2738569367 @default.
- W3214687092 hasRelatedWork W2783139992 @default.
- W3214687092 hasRelatedWork W2787206368 @default.
- W3214687092 hasRelatedWork W2794157488 @default.
- W3214687092 hasRelatedWork W2951816589 @default.
- W3214687092 hasRelatedWork W2964754217 @default.
- W3214687092 hasRelatedWork W2986496494 @default.
- W3214687092 hasRelatedWork W3213340880 @default.
- W3214687092 isParatext "false" @default.
- W3214687092 isRetracted "false" @default.
- W3214687092 magId "3214687092" @default.
- W3214687092 workType "article" @default.