Matches in SemOpenAlex for { <https://semopenalex.org/work/W2364697302> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2364697302 abstract "Runtime verification has emerged as a promising verification technique that bridges the gap between traditional testing and model checking.It supplements formal verification with more lightweight dynamic techniques when these techniques fail due to complexity of issues,and it has important applications in the field of safety critical systems verification.In this paper,we present a 3-valued executable semantics for finite trace LTL,which can express the uncertainty during the monitoring proces by allowing additional truth values in the logic.The rewriting based monitoring algorithm and a novel approximation technique for the new semantics are proposed,and demonstrated by a use case from the European Train Control System." @default.
- W2364697302 created "2016-06-24" @default.
- W2364697302 creator A5058358879 @default.
- W2364697302 date "2011-01-01" @default.
- W2364697302 modified "2023-09-22" @default.
- W2364697302 title "Runtime Verification and its Applications in Train Control Systems" @default.
- W2364697302 hasPublicationYear "2011" @default.
- W2364697302 type Work @default.
- W2364697302 sameAs 2364697302 @default.
- W2364697302 citedByCount "0" @default.
- W2364697302 crossrefType "journal-article" @default.
- W2364697302 hasAuthorship W2364697302A5058358879 @default.
- W2364697302 hasConcept C110251889 @default.
- W2364697302 hasConcept C111498074 @default.
- W2364697302 hasConcept C138885662 @default.
- W2364697302 hasConcept C142284323 @default.
- W2364697302 hasConcept C154690210 @default.
- W2364697302 hasConcept C160145156 @default.
- W2364697302 hasConcept C184337299 @default.
- W2364697302 hasConcept C186846655 @default.
- W2364697302 hasConcept C187250869 @default.
- W2364697302 hasConcept C199360897 @default.
- W2364697302 hasConcept C202973057 @default.
- W2364697302 hasConcept C25016198 @default.
- W2364697302 hasConcept C2777904410 @default.
- W2364697302 hasConcept C33054407 @default.
- W2364697302 hasConcept C3406870 @default.
- W2364697302 hasConcept C41008148 @default.
- W2364697302 hasConcept C41895202 @default.
- W2364697302 hasConcept C4777664 @default.
- W2364697302 hasConcept C529173508 @default.
- W2364697302 hasConcept C62460635 @default.
- W2364697302 hasConcept C75291252 @default.
- W2364697302 hasConcept C75606506 @default.
- W2364697302 hasConceptScore W2364697302C110251889 @default.
- W2364697302 hasConceptScore W2364697302C111498074 @default.
- W2364697302 hasConceptScore W2364697302C138885662 @default.
- W2364697302 hasConceptScore W2364697302C142284323 @default.
- W2364697302 hasConceptScore W2364697302C154690210 @default.
- W2364697302 hasConceptScore W2364697302C160145156 @default.
- W2364697302 hasConceptScore W2364697302C184337299 @default.
- W2364697302 hasConceptScore W2364697302C186846655 @default.
- W2364697302 hasConceptScore W2364697302C187250869 @default.
- W2364697302 hasConceptScore W2364697302C199360897 @default.
- W2364697302 hasConceptScore W2364697302C202973057 @default.
- W2364697302 hasConceptScore W2364697302C25016198 @default.
- W2364697302 hasConceptScore W2364697302C2777904410 @default.
- W2364697302 hasConceptScore W2364697302C33054407 @default.
- W2364697302 hasConceptScore W2364697302C3406870 @default.
- W2364697302 hasConceptScore W2364697302C41008148 @default.
- W2364697302 hasConceptScore W2364697302C41895202 @default.
- W2364697302 hasConceptScore W2364697302C4777664 @default.
- W2364697302 hasConceptScore W2364697302C529173508 @default.
- W2364697302 hasConceptScore W2364697302C62460635 @default.
- W2364697302 hasConceptScore W2364697302C75291252 @default.
- W2364697302 hasConceptScore W2364697302C75606506 @default.
- W2364697302 hasLocation W23646973021 @default.
- W2364697302 hasOpenAccess W2364697302 @default.
- W2364697302 hasPrimaryLocation W23646973021 @default.
- W2364697302 hasRelatedWork W1479987225 @default.
- W2364697302 hasRelatedWork W1495714154 @default.
- W2364697302 hasRelatedWork W1558140194 @default.
- W2364697302 hasRelatedWork W1570771082 @default.
- W2364697302 hasRelatedWork W1573229708 @default.
- W2364697302 hasRelatedWork W1846598642 @default.
- W2364697302 hasRelatedWork W1965024948 @default.
- W2364697302 hasRelatedWork W1986562840 @default.
- W2364697302 hasRelatedWork W2060070465 @default.
- W2364697302 hasRelatedWork W2094686007 @default.
- W2364697302 hasRelatedWork W2104697945 @default.
- W2364697302 hasRelatedWork W2109337044 @default.
- W2364697302 hasRelatedWork W2109821323 @default.
- W2364697302 hasRelatedWork W2116690064 @default.
- W2364697302 hasRelatedWork W2149716943 @default.
- W2364697302 hasRelatedWork W2153441705 @default.
- W2364697302 hasRelatedWork W2402056577 @default.
- W2364697302 hasRelatedWork W2991517391 @default.
- W2364697302 hasRelatedWork W74877538 @default.
- W2364697302 hasRelatedWork W90280056 @default.
- W2364697302 isParatext "false" @default.
- W2364697302 isRetracted "false" @default.
- W2364697302 magId "2364697302" @default.
- W2364697302 workType "article" @default.