FRINK Linked Data Fragments server

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

• W3122771816 endingPage "441" @default.
• W3122771816 startingPage "423" @default.
• W3122771816 abstract "We study the repair problem for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple computation traces. This class of properties includes information flow policies like noninterference and observational determinism. The repair problem is to find, for a given Kripke structure, a substructure that satisfies a given specification. We show that the repair problem is decidable for HyperLTL specifications and finite-state Kripke structures. We provide a detailed complexity analysis for different fragments of HyperLTL and different system types: tree-shaped, acyclic, and general Kripke structures." @default.
• W3122771816 created "2021-02-01" @default.
• W3122771816 creator A5008486466 @default.
• W3122771816 creator A5048189898 @default.
• W3122771816 date "2019-01-01" @default.
• W3122771816 modified "2023-10-17" @default.
• W3122771816 title "Program Repair for Hyperproperties" @default.
• W3122771816 cites W1213177963 @default.
• W3122771816 cites W129930684 @default.
• W3122771816 cites W1521949411 @default.
• W3122771816 cites W1560374668 @default.
• W3122771816 cites W1560629098 @default.
• W3122771816 cites W1977764760 @default.
• W3122771816 cites W1991188222 @default.
• W3122771816 cites W2021380921 @default.
• W3122771816 cites W2031618446 @default.
• W3122771816 cites W2035171786 @default.
• W3122771816 cites W2072078345 @default.
• W3122771816 cites W2094878426 @default.
• W3122771816 cites W2178250883 @default.
• W3122771816 cites W2517913729 @default.
• W3122771816 cites W2595185087 @default.
• W3122771816 cites W2603022255 @default.
• W3122771816 cites W2734723004 @default.
• W3122771816 cites W2752858296 @default.
• W3122771816 cites W2801746908 @default.
• W3122771816 cites W2882990014 @default.
• W3122771816 cites W2884407740 @default.
• W3122771816 cites W2885490371 @default.
• W3122771816 cites W2894415726 @default.
• W3122771816 cites W2898616308 @default.
• W3122771816 cites W2929004955 @default.
• W3122771816 cites W2963563466 @default.
• W3122771816 cites W2964335063 @default.
• W3122771816 cites W3024763028 @default.
• W3122771816 cites W3098700911 @default.
• W3122771816 cites W3192343331 @default.
• W3122771816 cites W4250728693 @default.
• W3122771816 cites W4286447266 @default.
• W3122771816 doi "https://doi.org/10.1007/978-3-030-31784-3_25" @default.
• W3122771816 hasPublicationYear "2019" @default.
• W3122771816 type Work @default.
• W3122771816 sameAs 3122771816 @default.
• W3122771816 citedByCount "10" @default.
• W3122771816 countsByYear W31227718162020 @default.
• W3122771816 countsByYear W31227718162021 @default.
• W3122771816 countsByYear W31227718162022 @default.
• W3122771816 countsByYear W31227718162023 @default.
• W3122771816 crossrefType "book-chapter" @default.
• W3122771816 hasAuthorship W3122771816A5008486466 @default.
• W3122771816 hasAuthorship W3122771816A5048189898 @default.
• W3122771816 hasBestOaLocation W31227718162 @default.
• W3122771816 hasConcept C110251889 @default.
• W3122771816 hasConcept C11413529 @default.
• W3122771816 hasConcept C121332964 @default.
• W3122771816 hasConcept C127413603 @default.
• W3122771816 hasConcept C153269930 @default.
• W3122771816 hasConcept C154945302 @default.
• W3122771816 hasConcept C161913894 @default.
• W3122771816 hasConcept C192183473 @default.
• W3122771816 hasConcept C198008173 @default.
• W3122771816 hasConcept C199360897 @default.
• W3122771816 hasConcept C24858836 @default.
• W3122771816 hasConcept C25016198 @default.
• W3122771816 hasConcept C2777212361 @default.
• W3122771816 hasConcept C41008148 @default.
• W3122771816 hasConcept C45374587 @default.
• W3122771816 hasConcept C62520636 @default.
• W3122771816 hasConcept C66938386 @default.
• W3122771816 hasConcept C80444323 @default.
• W3122771816 hasConcept C99679407 @default.
• W3122771816 hasConceptScore W3122771816C110251889 @default.
• W3122771816 hasConceptScore W3122771816C11413529 @default.
• W3122771816 hasConceptScore W3122771816C121332964 @default.
• W3122771816 hasConceptScore W3122771816C127413603 @default.
• W3122771816 hasConceptScore W3122771816C153269930 @default.
• W3122771816 hasConceptScore W3122771816C154945302 @default.
• W3122771816 hasConceptScore W3122771816C161913894 @default.
• W3122771816 hasConceptScore W3122771816C192183473 @default.
• W3122771816 hasConceptScore W3122771816C198008173 @default.
• W3122771816 hasConceptScore W3122771816C199360897 @default.
• W3122771816 hasConceptScore W3122771816C24858836 @default.
• W3122771816 hasConceptScore W3122771816C25016198 @default.
• W3122771816 hasConceptScore W3122771816C2777212361 @default.
• W3122771816 hasConceptScore W3122771816C41008148 @default.
• W3122771816 hasConceptScore W3122771816C45374587 @default.
• W3122771816 hasConceptScore W3122771816C62520636 @default.
• W3122771816 hasConceptScore W3122771816C66938386 @default.
• W3122771816 hasConceptScore W3122771816C80444323 @default.
• W3122771816 hasConceptScore W3122771816C99679407 @default.
• W3122771816 hasLocation W31227718161 @default.
• W3122771816 hasLocation W31227718162 @default.
• W3122771816 hasLocation W31227718163 @default.
• W3122771816 hasOpenAccess W3122771816 @default.
• W3122771816 hasPrimaryLocation W31227718161 @default.
• W3122771816 hasRelatedWork W1548402307 @default.
• W3122771816 hasRelatedWork W2007635637 @default.
• W3122771816 hasRelatedWork W2062273688 @default.

• next