Matches in SemOpenAlex for { <https://semopenalex.org/work/W1777128536> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W1777128536 endingPage "234" @default.
- W1777128536 startingPage "222" @default.
- W1777128536 abstract "We present a framework to formally describe system behavior and symbolically reason about possible failures. We regard systems which are composed of different units: sensors, computational parts and actuators. Considering worst-case failure behavior of system components, our framework is used to derive reliability guarantees for composed systems. The behavior of system components is modeled using monad like constructs that serve as an abstract representation for system behavior. We introduce rules to reason about these representations and derive results like, e.g., guaranteed upper bounds for system failure. Our approach is characterized by the fact that we do not just map a certain component to a failure probability, but regard distributions of error behavior. These serve as basis for deriving failure probabilities." @default.
- W1777128536 created "2016-06-24" @default.
- W1777128536 creator A5039614631 @default.
- W1777128536 date "2011-01-01" @default.
- W1777128536 modified "2023-09-23" @default.
- W1777128536 title "Probabilistic Compositional Reasoning for Guaranteeing Fault Tolerance Properties" @default.
- W1777128536 cites W1489967307 @default.
- W1777128536 cites W1500341199 @default.
- W1777128536 cites W1544057077 @default.
- W1777128536 cites W1889775143 @default.
- W1777128536 cites W2037984920 @default.
- W1777128536 cites W2053808314 @default.
- W1777128536 cites W2071736974 @default.
- W1777128536 cites W2108293888 @default.
- W1777128536 cites W2113486906 @default.
- W1777128536 cites W2134991157 @default.
- W1777128536 cites W2154231274 @default.
- W1777128536 cites W2166752259 @default.
- W1777128536 doi "https://doi.org/10.1007/978-3-642-25873-2_16" @default.
- W1777128536 hasPublicationYear "2011" @default.
- W1777128536 type Work @default.
- W1777128536 sameAs 1777128536 @default.
- W1777128536 citedByCount "2" @default.
- W1777128536 countsByYear W17771285362012 @default.
- W1777128536 countsByYear W17771285362014 @default.
- W1777128536 crossrefType "book-chapter" @default.
- W1777128536 hasAuthorship W1777128536A5039614631 @default.
- W1777128536 hasBestOaLocation W17771285362 @default.
- W1777128536 hasConcept C107094494 @default.
- W1777128536 hasConcept C11413529 @default.
- W1777128536 hasConcept C118615104 @default.
- W1777128536 hasConcept C120314980 @default.
- W1777128536 hasConcept C121332964 @default.
- W1777128536 hasConcept C121375916 @default.
- W1777128536 hasConcept C127413603 @default.
- W1777128536 hasConcept C154945302 @default.
- W1777128536 hasConcept C156772000 @default.
- W1777128536 hasConcept C163258240 @default.
- W1777128536 hasConcept C168167062 @default.
- W1777128536 hasConcept C172707124 @default.
- W1777128536 hasConcept C17744445 @default.
- W1777128536 hasConcept C199539241 @default.
- W1777128536 hasConcept C200601418 @default.
- W1777128536 hasConcept C2776359362 @default.
- W1777128536 hasConcept C33923547 @default.
- W1777128536 hasConcept C33959348 @default.
- W1777128536 hasConcept C41008148 @default.
- W1777128536 hasConcept C43214815 @default.
- W1777128536 hasConcept C49937458 @default.
- W1777128536 hasConcept C62520636 @default.
- W1777128536 hasConcept C63540848 @default.
- W1777128536 hasConcept C80444323 @default.
- W1777128536 hasConcept C94625758 @default.
- W1777128536 hasConcept C97355855 @default.
- W1777128536 hasConceptScore W1777128536C107094494 @default.
- W1777128536 hasConceptScore W1777128536C11413529 @default.
- W1777128536 hasConceptScore W1777128536C118615104 @default.
- W1777128536 hasConceptScore W1777128536C120314980 @default.
- W1777128536 hasConceptScore W1777128536C121332964 @default.
- W1777128536 hasConceptScore W1777128536C121375916 @default.
- W1777128536 hasConceptScore W1777128536C127413603 @default.
- W1777128536 hasConceptScore W1777128536C154945302 @default.
- W1777128536 hasConceptScore W1777128536C156772000 @default.
- W1777128536 hasConceptScore W1777128536C163258240 @default.
- W1777128536 hasConceptScore W1777128536C168167062 @default.
- W1777128536 hasConceptScore W1777128536C172707124 @default.
- W1777128536 hasConceptScore W1777128536C17744445 @default.
- W1777128536 hasConceptScore W1777128536C199539241 @default.
- W1777128536 hasConceptScore W1777128536C200601418 @default.
- W1777128536 hasConceptScore W1777128536C2776359362 @default.
- W1777128536 hasConceptScore W1777128536C33923547 @default.
- W1777128536 hasConceptScore W1777128536C33959348 @default.
- W1777128536 hasConceptScore W1777128536C41008148 @default.
- W1777128536 hasConceptScore W1777128536C43214815 @default.
- W1777128536 hasConceptScore W1777128536C49937458 @default.
- W1777128536 hasConceptScore W1777128536C62520636 @default.
- W1777128536 hasConceptScore W1777128536C63540848 @default.
- W1777128536 hasConceptScore W1777128536C80444323 @default.
- W1777128536 hasConceptScore W1777128536C94625758 @default.
- W1777128536 hasConceptScore W1777128536C97355855 @default.
- W1777128536 hasLocation W17771285361 @default.
- W1777128536 hasLocation W17771285362 @default.
- W1777128536 hasOpenAccess W1777128536 @default.
- W1777128536 hasPrimaryLocation W17771285361 @default.
- W1777128536 hasRelatedWork W1534464758 @default.
- W1777128536 hasRelatedWork W1966433320 @default.
- W1777128536 hasRelatedWork W1973784609 @default.
- W1777128536 hasRelatedWork W2035822260 @default.
- W1777128536 hasRelatedWork W2058492833 @default.
- W1777128536 hasRelatedWork W2085103596 @default.
- W1777128536 hasRelatedWork W2098764310 @default.
- W1777128536 hasRelatedWork W2105462683 @default.
- W1777128536 hasRelatedWork W2171176312 @default.
- W1777128536 hasRelatedWork W2365403766 @default.
- W1777128536 isParatext "false" @default.
- W1777128536 isRetracted "false" @default.
- W1777128536 magId "1777128536" @default.
- W1777128536 workType "book-chapter" @default.