FRINK Linked Data Fragments server

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

• W228536463 endingPage "173" @default.
• W228536463 startingPage "157" @default.
• W228536463 abstract "In component-based safety-critical embedded systems it is crucial to determine the cause(s) of the violation of a safety property, be it to issue a precise alert, to steer the system into a safe state, or to determine liability of component providers. In this paper we present an approach to blame components based on a single execution trace violating a safety property $$P$$ . The diagnosis relies on counterfactual reasoning (“what would have been the outcome if component $$C$$ had behaved correctly?”) to distinguish component failures that actually contributed to the outcome from failures that had little or no impact on the violation of $$P$$ ." @default.
• W228536463 created "2016-06-24" @default.
• W228536463 creator A5022042532 @default.
• W228536463 creator A5043265237 @default.
• W228536463 date "2014-01-01" @default.
• W228536463 modified "2023-09-27" @default.
• W228536463 title "A General Trace-Based Framework of Logical Causality" @default.
• W228536463 cites W1550168504 @default.
• W228536463 cites W1566482261 @default.
• W228536463 cites W1846350345 @default.
• W228536463 cites W1968681587 @default.
• W228536463 cites W1993529189 @default.
• W228536463 cites W2028234853 @default.
• W228536463 cites W2048903680 @default.
• W228536463 cites W2065086898 @default.
• W228536463 cites W2080265580 @default.
• W228536463 cites W2101508170 @default.
• W228536463 cites W2106461572 @default.
• W228536463 cites W2107558091 @default.
• W228536463 cites W2108309071 @default.
• W228536463 cites W2119355229 @default.
• W228536463 cites W2125415493 @default.
• W228536463 cites W2137819283 @default.
• W228536463 cites W2159642664 @default.
• W228536463 cites W2163601989 @default.
• W228536463 cites W3137220996 @default.
• W228536463 cites W4206040902 @default.
• W228536463 doi "https://doi.org/10.1007/978-3-319-07602-7_11" @default.
• W228536463 hasPublicationYear "2014" @default.
• W228536463 type Work @default.
• W228536463 sameAs 228536463 @default.
• W228536463 citedByCount "13" @default.
• W228536463 countsByYear W2285364632014 @default.
• W228536463 countsByYear W2285364632015 @default.
• W228536463 countsByYear W2285364632016 @default.
• W228536463 countsByYear W2285364632017 @default.
• W228536463 countsByYear W2285364632018 @default.
• W228536463 countsByYear W2285364632019 @default.
• W228536463 countsByYear W2285364632021 @default.
• W228536463 countsByYear W2285364632022 @default.
• W228536463 crossrefType "book-chapter" @default.
• W228536463 hasAuthorship W228536463A5022042532 @default.
• W228536463 hasAuthorship W228536463A5043265237 @default.
• W228536463 hasBestOaLocation W2285364632 @default.
• W228536463 hasConcept C108650721 @default.
• W228536463 hasConcept C111472728 @default.
• W228536463 hasConcept C112930515 @default.
• W228536463 hasConcept C115086926 @default.
• W228536463 hasConcept C121332964 @default.
• W228536463 hasConcept C121955636 @default.
• W228536463 hasConcept C138885662 @default.
• W228536463 hasConcept C144133560 @default.
• W228536463 hasConcept C144237770 @default.
• W228536463 hasConcept C148220186 @default.
• W228536463 hasConcept C15744967 @default.
• W228536463 hasConcept C162324750 @default.
• W228536463 hasConcept C168167062 @default.
• W228536463 hasConcept C169760540 @default.
• W228536463 hasConcept C169900460 @default.
• W228536463 hasConcept C189950617 @default.
• W228536463 hasConcept C2777834853 @default.
• W228536463 hasConcept C2781466463 @default.
• W228536463 hasConcept C38652104 @default.
• W228536463 hasConcept C41008148 @default.
• W228536463 hasConcept C41895202 @default.
• W228536463 hasConcept C62520636 @default.
• W228536463 hasConcept C64357122 @default.
• W228536463 hasConcept C75291252 @default.
• W228536463 hasConcept C77805123 @default.
• W228536463 hasConcept C97355855 @default.
• W228536463 hasConceptScore W228536463C108650721 @default.
• W228536463 hasConceptScore W228536463C111472728 @default.
• W228536463 hasConceptScore W228536463C112930515 @default.
• W228536463 hasConceptScore W228536463C115086926 @default.
• W228536463 hasConceptScore W228536463C121332964 @default.
• W228536463 hasConceptScore W228536463C121955636 @default.
• W228536463 hasConceptScore W228536463C138885662 @default.
• W228536463 hasConceptScore W228536463C144133560 @default.
• W228536463 hasConceptScore W228536463C144237770 @default.
• W228536463 hasConceptScore W228536463C148220186 @default.
• W228536463 hasConceptScore W228536463C15744967 @default.
• W228536463 hasConceptScore W228536463C162324750 @default.
• W228536463 hasConceptScore W228536463C168167062 @default.
• W228536463 hasConceptScore W228536463C169760540 @default.
• W228536463 hasConceptScore W228536463C169900460 @default.
• W228536463 hasConceptScore W228536463C189950617 @default.
• W228536463 hasConceptScore W228536463C2777834853 @default.
• W228536463 hasConceptScore W228536463C2781466463 @default.
• W228536463 hasConceptScore W228536463C38652104 @default.
• W228536463 hasConceptScore W228536463C41008148 @default.
• W228536463 hasConceptScore W228536463C41895202 @default.
• W228536463 hasConceptScore W228536463C62520636 @default.
• W228536463 hasConceptScore W228536463C64357122 @default.
• W228536463 hasConceptScore W228536463C75291252 @default.
• W228536463 hasConceptScore W228536463C77805123 @default.
• W228536463 hasConceptScore W228536463C97355855 @default.
• W228536463 hasLocation W2285364631 @default.
• W228536463 hasLocation W2285364632 @default.

• next