Matches in SemOpenAlex for { <https://semopenalex.org/work/W1636019462> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1636019462 startingPage "17" @default.
- W1636019462 abstract "In this paper, we present a probabilistic adaptation of an Assume/Guarantee contract formalism. For the sake of generality, we assume that the extended state machines used in the contracts and implementations define sets of runs on a given set of variables, that compose by intersection over the common variables. In order to enable probabilistic reasoning, we consider that the contracts dictate how certain input variables will behave, being either non-deterministic, or probabilistic; the introduction of probabilistic variables leading us to tune the notions of implementation, refinement and composition. As shown in the report, this probabilistic adaptation of the Assume/Guarantee contract theory preserves compositionality and therefore allows modular reliability analysis, either with a top-down or a bottom-up approach." @default.
- W1636019462 created "2016-06-24" @default.
- W1636019462 creator A5000905818 @default.
- W1636019462 creator A5041261044 @default.
- W1636019462 date "2008-11-07" @default.
- W1636019462 modified "2023-10-03" @default.
- W1636019462 title "A Model for Probabilistic Reasoning on Assume/Guarantee Contracts" @default.
- W1636019462 cites W1511105469 @default.
- W1636019462 cites W1556549114 @default.
- W1636019462 cites W1562671620 @default.
- W1636019462 cites W1615273352 @default.
- W1636019462 cites W2109632751 @default.
- W1636019462 cites W2112710730 @default.
- W1636019462 cites W2140425425 @default.
- W1636019462 cites W2164253200 @default.
- W1636019462 cites W2170646120 @default.
- W1636019462 cites W1601373402 @default.
- W1636019462 hasPublicationYear "2008" @default.
- W1636019462 type Work @default.
- W1636019462 sameAs 1636019462 @default.
- W1636019462 citedByCount "1" @default.
- W1636019462 crossrefType "posted-content" @default.
- W1636019462 hasAuthorship W1636019462A5000905818 @default.
- W1636019462 hasAuthorship W1636019462A5041261044 @default.
- W1636019462 hasConcept C101468663 @default.
- W1636019462 hasConcept C121375916 @default.
- W1636019462 hasConcept C142362112 @default.
- W1636019462 hasConcept C153349607 @default.
- W1636019462 hasConcept C154945302 @default.
- W1636019462 hasConcept C15744967 @default.
- W1636019462 hasConcept C199360897 @default.
- W1636019462 hasConcept C2780767217 @default.
- W1636019462 hasConcept C41008148 @default.
- W1636019462 hasConcept C49937458 @default.
- W1636019462 hasConcept C542102704 @default.
- W1636019462 hasConcept C558565934 @default.
- W1636019462 hasConcept C73301696 @default.
- W1636019462 hasConcept C80444323 @default.
- W1636019462 hasConceptScore W1636019462C101468663 @default.
- W1636019462 hasConceptScore W1636019462C121375916 @default.
- W1636019462 hasConceptScore W1636019462C142362112 @default.
- W1636019462 hasConceptScore W1636019462C153349607 @default.
- W1636019462 hasConceptScore W1636019462C154945302 @default.
- W1636019462 hasConceptScore W1636019462C15744967 @default.
- W1636019462 hasConceptScore W1636019462C199360897 @default.
- W1636019462 hasConceptScore W1636019462C2780767217 @default.
- W1636019462 hasConceptScore W1636019462C41008148 @default.
- W1636019462 hasConceptScore W1636019462C49937458 @default.
- W1636019462 hasConceptScore W1636019462C542102704 @default.
- W1636019462 hasConceptScore W1636019462C558565934 @default.
- W1636019462 hasConceptScore W1636019462C73301696 @default.
- W1636019462 hasConceptScore W1636019462C80444323 @default.
- W1636019462 hasLocation W16360194621 @default.
- W1636019462 hasOpenAccess W1636019462 @default.
- W1636019462 hasPrimaryLocation W16360194621 @default.
- W1636019462 hasRelatedWork W1189894384 @default.
- W1636019462 hasRelatedWork W1534464758 @default.
- W1636019462 hasRelatedWork W17390112 @default.
- W1636019462 hasRelatedWork W1970676784 @default.
- W1636019462 hasRelatedWork W2007378539 @default.
- W1636019462 hasRelatedWork W2252876197 @default.
- W1636019462 hasRelatedWork W2598547732 @default.
- W1636019462 hasRelatedWork W2751973257 @default.
- W1636019462 hasRelatedWork W2760914093 @default.
- W1636019462 hasRelatedWork W2789981122 @default.
- W1636019462 hasRelatedWork W2801512158 @default.
- W1636019462 hasRelatedWork W2949429387 @default.
- W1636019462 hasRelatedWork W2953360733 @default.
- W1636019462 hasRelatedWork W3006348814 @default.
- W1636019462 hasRelatedWork W3016999940 @default.
- W1636019462 hasRelatedWork W3134354384 @default.
- W1636019462 hasRelatedWork W3138440795 @default.
- W1636019462 hasRelatedWork W3199712845 @default.
- W1636019462 hasRelatedWork W773258019 @default.
- W1636019462 hasRelatedWork W3009258773 @default.
- W1636019462 isParatext "false" @default.
- W1636019462 isRetracted "false" @default.
- W1636019462 magId "1636019462" @default.
- W1636019462 workType "article" @default.