Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385773980> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4385773980 abstract "Hyperproperties extend trace properties to express properties of sets of traces, and they are increasingly popular in specifying various security and performance-related properties in domains such as cyber-physical systems, smart grids, and automotive. This paper introduces a model checking algorithm for a new formalism, HyperTWTL, which extends Time Window Temporal Logic (TWTL) -- a domain-specific formal specification language for robotics, by allowing explicit and simultaneous quantification over multiple execution traces. We present HyperTWTL with both emph{synchronous} and emph{asynchronous} semantics, based on the alignment of the timestamps in the traces. Consequently, we demonstrate the application of HyperTWTL in formalizing important information-flow security policies and concurrency for robotics applications. Finally, we propose a model checking algorithm for verifying fragments of HyperTWTL by reducing the problem to a TWTL model checking problem." @default.
- W4385773980 created "2023-08-12" @default.
- W4385773980 creator A5006415431 @default.
- W4385773980 creator A5051151589 @default.
- W4385773980 creator A5069684684 @default.
- W4385773980 date "2023-08-02" @default.
- W4385773980 modified "2023-10-18" @default.
- W4385773980 title "Model Checking Time Window Temporal Logic for Hyperproperties" @default.
- W4385773980 doi "https://doi.org/10.1145/3610579.3611077" @default.
- W4385773980 hasPublicationYear "2023" @default.
- W4385773980 type Work @default.
- W4385773980 citedByCount "0" @default.
- W4385773980 crossrefType "posted-content" @default.
- W4385773980 hasAuthorship W4385773980A5006415431 @default.
- W4385773980 hasAuthorship W4385773980A5051151589 @default.
- W4385773980 hasAuthorship W4385773980A5069684684 @default.
- W4385773980 hasBestOaLocation W43857739801 @default.
- W4385773980 hasConcept C110251889 @default.
- W4385773980 hasConcept C113954288 @default.
- W4385773980 hasConcept C120314980 @default.
- W4385773980 hasConcept C138885662 @default.
- W4385773980 hasConcept C142362112 @default.
- W4385773980 hasConcept C151319957 @default.
- W4385773980 hasConcept C153349607 @default.
- W4385773980 hasConcept C184337299 @default.
- W4385773980 hasConcept C193702766 @default.
- W4385773980 hasConcept C199360897 @default.
- W4385773980 hasConcept C25016198 @default.
- W4385773980 hasConcept C31258907 @default.
- W4385773980 hasConcept C41008148 @default.
- W4385773980 hasConcept C41895202 @default.
- W4385773980 hasConcept C4777664 @default.
- W4385773980 hasConcept C558565934 @default.
- W4385773980 hasConcept C73301696 @default.
- W4385773980 hasConcept C75291252 @default.
- W4385773980 hasConcept C79403827 @default.
- W4385773980 hasConcept C80444323 @default.
- W4385773980 hasConceptScore W4385773980C110251889 @default.
- W4385773980 hasConceptScore W4385773980C113954288 @default.
- W4385773980 hasConceptScore W4385773980C120314980 @default.
- W4385773980 hasConceptScore W4385773980C138885662 @default.
- W4385773980 hasConceptScore W4385773980C142362112 @default.
- W4385773980 hasConceptScore W4385773980C151319957 @default.
- W4385773980 hasConceptScore W4385773980C153349607 @default.
- W4385773980 hasConceptScore W4385773980C184337299 @default.
- W4385773980 hasConceptScore W4385773980C193702766 @default.
- W4385773980 hasConceptScore W4385773980C199360897 @default.
- W4385773980 hasConceptScore W4385773980C25016198 @default.
- W4385773980 hasConceptScore W4385773980C31258907 @default.
- W4385773980 hasConceptScore W4385773980C41008148 @default.
- W4385773980 hasConceptScore W4385773980C41895202 @default.
- W4385773980 hasConceptScore W4385773980C4777664 @default.
- W4385773980 hasConceptScore W4385773980C558565934 @default.
- W4385773980 hasConceptScore W4385773980C73301696 @default.
- W4385773980 hasConceptScore W4385773980C75291252 @default.
- W4385773980 hasConceptScore W4385773980C79403827 @default.
- W4385773980 hasConceptScore W4385773980C80444323 @default.
- W4385773980 hasLocation W43857739801 @default.
- W4385773980 hasOpenAccess W4385773980 @default.
- W4385773980 hasPrimaryLocation W43857739801 @default.
- W4385773980 hasRelatedWork W1606603558 @default.
- W4385773980 hasRelatedWork W2081369054 @default.
- W4385773980 hasRelatedWork W2149515428 @default.
- W4385773980 hasRelatedWork W2346373674 @default.
- W4385773980 hasRelatedWork W2894097570 @default.
- W4385773980 hasRelatedWork W3159133453 @default.
- W4385773980 hasRelatedWork W3184417962 @default.
- W4385773980 hasRelatedWork W3209871473 @default.
- W4385773980 hasRelatedWork W4287197746 @default.
- W4385773980 hasRelatedWork W4385680600 @default.
- W4385773980 isParatext "false" @default.
- W4385773980 isRetracted "false" @default.
- W4385773980 workType "article" @default.