FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3094001500> ?p ?o ?g. }

• W3094001500 abstract "Hyperproperties have received increasing attention in the last decade due to their importance e.g. for security analyses. Past approaches have focussed on synchronous analyses, i.e. techniques in which different paths are compared lockstepwise. In this paper, we systematically study asynchronous analyses for hyperproperties by introducing both a novel automata model (Alternating Asynchronous Parity Automata) and the temporal fixpoint calculus $Hmu$, the first fixpoint calculus that can systematically express hyperproperties in an asynchronous manner and at the same time subsumes the existing logic HyperLTL. We show that the expressive power of both models coincides over fixed path assignments. The high expressive power of both models is evidenced by the fact that decision problems of interest are highly undecidable, i.e. not even arithmetical. As a remedy, we propose approximative analyses for both models that also induce natural decidable fragments." @default.
• W3094001500 created "2020-10-29" @default.
• W3094001500 creator A5004207399 @default.
• W3094001500 creator A5017476517 @default.
• W3094001500 creator A5070224469 @default.
• W3094001500 date "2020-10-22" @default.
• W3094001500 modified "2023-09-27" @default.
• W3094001500 title "Automata and Fixpoints for Asynchronous Hyperproperties" @default.
• W3094001500 cites W1213177963 @default.
• W3094001500 cites W128674190 @default.
• W3094001500 cites W136199325 @default.
• W3094001500 cites W1493367105 @default.
• W3094001500 cites W157431908 @default.
• W3094001500 cites W1662711380 @default.
• W3094001500 cites W1939061729 @default.
• W3094001500 cites W1981996395 @default.
• W3094001500 cites W1988030712 @default.
• W3094001500 cites W1995105191 @default.
• W3094001500 cites W2003773532 @default.
• W3094001500 cites W2031575609 @default.
• W3094001500 cites W2046213250 @default.
• W3094001500 cites W2048963544 @default.
• W3094001500 cites W2054801208 @default.
• W3094001500 cites W2087403174 @default.
• W3094001500 cites W2119397055 @default.
• W3094001500 cites W2120360673 @default.
• W3094001500 cites W2136153487 @default.
• W3094001500 cites W2154938325 @default.
• W3094001500 cites W2155756511 @default.
• W3094001500 cites W2156423097 @default.
• W3094001500 cites W2158126713 @default.
• W3094001500 cites W2266382624 @default.
• W3094001500 cites W2342178224 @default.
• W3094001500 cites W2531307718 @default.
• W3094001500 cites W2734853177 @default.
• W3094001500 cites W2761734916 @default.
• W3094001500 cites W2889050595 @default.
• W3094001500 cites W2963698523 @default.
• W3094001500 cites W2963829406 @default.
• W3094001500 cites W2964335063 @default.
• W3094001500 cites W2994155569 @default.
• W3094001500 cites W3006415844 @default.
• W3094001500 cites W3037049410 @default.
• W3094001500 cites W3081601885 @default.
• W3094001500 cites W3098700911 @default.
• W3094001500 cites W89538287 @default.
• W3094001500 hasPublicationYear "2020" @default.
• W3094001500 type Work @default.
• W3094001500 sameAs 3094001500 @default.
• W3094001500 citedByCount "0" @default.
• W3094001500 crossrefType "posted-content" @default.
• W3094001500 hasAuthorship W3094001500A5004207399 @default.
• W3094001500 hasAuthorship W3094001500A5017476517 @default.
• W3094001500 hasAuthorship W3094001500A5070224469 @default.
• W3094001500 hasConcept C110251889 @default.
• W3094001500 hasConcept C112505250 @default.
• W3094001500 hasConcept C11413529 @default.
• W3094001500 hasConcept C134306372 @default.
• W3094001500 hasConcept C151319957 @default.
• W3094001500 hasConcept C153269930 @default.
• W3094001500 hasConcept C192034797 @default.
• W3094001500 hasConcept C195818886 @default.
• W3094001500 hasConcept C199360897 @default.
• W3094001500 hasConcept C25016198 @default.
• W3094001500 hasConcept C2777735758 @default.
• W3094001500 hasConcept C31258907 @default.
• W3094001500 hasConcept C33923547 @default.
• W3094001500 hasConcept C41008148 @default.
• W3094001500 hasConcept C61445026 @default.
• W3094001500 hasConcept C80444323 @default.
• W3094001500 hasConceptScore W3094001500C110251889 @default.
• W3094001500 hasConceptScore W3094001500C112505250 @default.
• W3094001500 hasConceptScore W3094001500C11413529 @default.
• W3094001500 hasConceptScore W3094001500C134306372 @default.
• W3094001500 hasConceptScore W3094001500C151319957 @default.
• W3094001500 hasConceptScore W3094001500C153269930 @default.
• W3094001500 hasConceptScore W3094001500C192034797 @default.
• W3094001500 hasConceptScore W3094001500C195818886 @default.
• W3094001500 hasConceptScore W3094001500C199360897 @default.
• W3094001500 hasConceptScore W3094001500C25016198 @default.
• W3094001500 hasConceptScore W3094001500C2777735758 @default.
• W3094001500 hasConceptScore W3094001500C31258907 @default.
• W3094001500 hasConceptScore W3094001500C33923547 @default.
• W3094001500 hasConceptScore W3094001500C41008148 @default.
• W3094001500 hasConceptScore W3094001500C61445026 @default.
• W3094001500 hasConceptScore W3094001500C80444323 @default.
• W3094001500 hasLocation W30940015001 @default.
• W3094001500 hasOpenAccess W3094001500 @default.
• W3094001500 hasPrimaryLocation W30940015001 @default.
• W3094001500 hasRelatedWork W1493491893 @default.
• W3094001500 hasRelatedWork W1499482550 @default.
• W3094001500 hasRelatedWork W1501538285 @default.
• W3094001500 hasRelatedWork W152742108 @default.
• W3094001500 hasRelatedWork W1581191281 @default.
• W3094001500 hasRelatedWork W1809409010 @default.
• W3094001500 hasRelatedWork W1998658600 @default.
• W3094001500 hasRelatedWork W2255359486 @default.
• W3094001500 hasRelatedWork W2386489222 @default.
• W3094001500 hasRelatedWork W2753440510 @default.
• W3094001500 hasRelatedWork W2806887588 @default.

• next