FRINK Linked Data Fragments server

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

• W2106461572 endingPage "267" @default.
• W2106461572 startingPage "248" @default.
• W2106461572 abstract "We present an approach for the algorithmic computation of causalities in system models that we refer to as causality checking. We base our notion of causality on counterfactual reasoning, in particular using the structural equation model approach by Halpern and Pearl that we recently have extended to reason about computational models. In this paper we present a search-based on-the-fly approach that nicely integrates into finite state verification techniques, such as explicit-state model checking. We demonstrate the applicability of our approach using an industrial case study." @default.
• W2106461572 created "2016-06-24" @default.
• W2106461572 creator A5038809501 @default.
• W2106461572 creator A5045470371 @default.
• W2106461572 date "2013-01-01" @default.
• W2106461572 modified "2023-10-17" @default.
• W2106461572 title "Causality Checking for Complex System Models" @default.
• W2106461572 cites W1506104239 @default.
• W2106461572 cites W1506588809 @default.
• W2106461572 cites W1550168504 @default.
• W2106461572 cites W1566482261 @default.
• W2106461572 cites W1814905144 @default.
• W2106461572 cites W2007125424 @default.
• W2106461572 cites W2018118431 @default.
• W2106461572 cites W2049931818 @default.
• W2106461572 cites W2071894919 @default.
• W2106461572 cites W2080265580 @default.
• W2106461572 cites W2092656858 @default.
• W2106461572 cites W2137819283 @default.
• W2106461572 cites W2142108731 @default.
• W2106461572 cites W2168702667 @default.
• W2106461572 cites W3023429904 @default.
• W2106461572 cites W3137220996 @default.
• W2106461572 doi "https://doi.org/10.1007/978-3-642-35873-9_16" @default.
• W2106461572 hasPublicationYear "2013" @default.
• W2106461572 type Work @default.
• W2106461572 sameAs 2106461572 @default.
• W2106461572 citedByCount "47" @default.
• W2106461572 countsByYear W21064615722012 @default.
• W2106461572 countsByYear W21064615722013 @default.
• W2106461572 countsByYear W21064615722014 @default.
• W2106461572 countsByYear W21064615722015 @default.
• W2106461572 countsByYear W21064615722016 @default.
• W2106461572 countsByYear W21064615722017 @default.
• W2106461572 countsByYear W21064615722018 @default.
• W2106461572 countsByYear W21064615722019 @default.
• W2106461572 countsByYear W21064615722020 @default.
• W2106461572 countsByYear W21064615722021 @default.
• W2106461572 countsByYear W21064615722022 @default.
• W2106461572 countsByYear W21064615722023 @default.
• W2106461572 crossrefType "book-chapter" @default.
• W2106461572 hasAuthorship W2106461572A5038809501 @default.
• W2106461572 hasAuthorship W2106461572A5045470371 @default.
• W2106461572 hasBestOaLocation W21064615722 @default.
• W2106461572 hasConcept C108650721 @default.
• W2106461572 hasConcept C110251889 @default.
• W2106461572 hasConcept C111472728 @default.
• W2106461572 hasConcept C11413529 @default.
• W2106461572 hasConcept C121332964 @default.
• W2106461572 hasConcept C134306372 @default.
• W2106461572 hasConcept C138885662 @default.
• W2106461572 hasConcept C154945302 @default.
• W2106461572 hasConcept C27206212 @default.
• W2106461572 hasConcept C2779251273 @default.
• W2106461572 hasConcept C33923547 @default.
• W2106461572 hasConcept C41008148 @default.
• W2106461572 hasConcept C42058472 @default.
• W2106461572 hasConcept C45374587 @default.
• W2106461572 hasConcept C48103436 @default.
• W2106461572 hasConcept C62520636 @default.
• W2106461572 hasConcept C64357122 @default.
• W2106461572 hasConcept C66024118 @default.
• W2106461572 hasConcept C80444323 @default.
• W2106461572 hasConceptScore W2106461572C108650721 @default.
• W2106461572 hasConceptScore W2106461572C110251889 @default.
• W2106461572 hasConceptScore W2106461572C111472728 @default.
• W2106461572 hasConceptScore W2106461572C11413529 @default.
• W2106461572 hasConceptScore W2106461572C121332964 @default.
• W2106461572 hasConceptScore W2106461572C134306372 @default.
• W2106461572 hasConceptScore W2106461572C138885662 @default.
• W2106461572 hasConceptScore W2106461572C154945302 @default.
• W2106461572 hasConceptScore W2106461572C27206212 @default.
• W2106461572 hasConceptScore W2106461572C2779251273 @default.
• W2106461572 hasConceptScore W2106461572C33923547 @default.
• W2106461572 hasConceptScore W2106461572C41008148 @default.
• W2106461572 hasConceptScore W2106461572C42058472 @default.
• W2106461572 hasConceptScore W2106461572C45374587 @default.
• W2106461572 hasConceptScore W2106461572C48103436 @default.
• W2106461572 hasConceptScore W2106461572C62520636 @default.
• W2106461572 hasConceptScore W2106461572C64357122 @default.
• W2106461572 hasConceptScore W2106461572C66024118 @default.
• W2106461572 hasConceptScore W2106461572C80444323 @default.
• W2106461572 hasLocation W21064615721 @default.
• W2106461572 hasLocation W21064615722 @default.
• W2106461572 hasLocation W21064615723 @default.
• W2106461572 hasOpenAccess W2106461572 @default.
• W2106461572 hasPrimaryLocation W21064615721 @default.
• W2106461572 hasRelatedWork W134510267 @default.
• W2106461572 hasRelatedWork W1568788513 @default.
• W2106461572 hasRelatedWork W1980948018 @default.
• W2106461572 hasRelatedWork W2084552463 @default.
• W2106461572 hasRelatedWork W2106461572 @default.
• W2106461572 hasRelatedWork W2476247448 @default.
• W2106461572 hasRelatedWork W2761631654 @default.
• W2106461572 hasRelatedWork W3015043668 @default.
• W2106461572 hasRelatedWork W4321634413 @default.
• W2106461572 hasRelatedWork W4386592913 @default.
• W2106461572 isParatext "false" @default.

• next