Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135494054> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2135494054 abstract "Design flaws of tolerance techniques may lead to undesired consequences in particular cases under very special operating conditions. Such rare fault tolerance holes may be very difficult to reveal. This paper presents a novel approach directing the analysis towards potential weaknesses in a tolerance technique. A new algorithm based on special heuristics performs partial reachability analysis of SDL models describing fault-tolerant communication. It aims at finding violations of tolerance properties in an efficient way. The approach does not require knowledge of the model under investigation. The new algorithm is evaluated by experiments with realistic protocols - including a large model of an industrial system - and compared to the performance of known solutions." @default.
- W2135494054 created "2016-06-24" @default.
- W2135494054 creator A5074537657 @default.
- W2135494054 date "2005-07-27" @default.
- W2135494054 modified "2023-09-26" @default.
- W2135494054 title "H-RAFT — Heuristic Reachability Analysis for Fault Tolerance Protocols Modelled in SDL" @default.
- W2135494054 cites W1547201438 @default.
- W2135494054 cites W171247437 @default.
- W2135494054 cites W183522754 @default.
- W2135494054 cites W1889614459 @default.
- W2135494054 cites W1889775143 @default.
- W2135494054 cites W1929430795 @default.
- W2135494054 cites W2084608278 @default.
- W2135494054 cites W2104978174 @default.
- W2135494054 cites W2118850174 @default.
- W2135494054 cites W2126214203 @default.
- W2135494054 cites W2140945213 @default.
- W2135494054 cites W2145856899 @default.
- W2135494054 cites W2166752259 @default.
- W2135494054 cites W2340735175 @default.
- W2135494054 cites W2489166266 @default.
- W2135494054 cites W2913459036 @default.
- W2135494054 doi "https://doi.org/10.1109/dsn.2005.53" @default.
- W2135494054 hasPublicationYear "2005" @default.
- W2135494054 type Work @default.
- W2135494054 sameAs 2135494054 @default.
- W2135494054 citedByCount "1" @default.
- W2135494054 crossrefType "proceedings-article" @default.
- W2135494054 hasAuthorship W2135494054A5074537657 @default.
- W2135494054 hasConcept C110251889 @default.
- W2135494054 hasConcept C111919701 @default.
- W2135494054 hasConcept C115903868 @default.
- W2135494054 hasConcept C120314980 @default.
- W2135494054 hasConcept C127705205 @default.
- W2135494054 hasConcept C136643341 @default.
- W2135494054 hasConcept C154945302 @default.
- W2135494054 hasConcept C15920480 @default.
- W2135494054 hasConcept C173801870 @default.
- W2135494054 hasConcept C178790620 @default.
- W2135494054 hasConcept C185592680 @default.
- W2135494054 hasConcept C41008148 @default.
- W2135494054 hasConcept C50712370 @default.
- W2135494054 hasConcept C521977710 @default.
- W2135494054 hasConcept C63540848 @default.
- W2135494054 hasConcept C77019957 @default.
- W2135494054 hasConcept C80444323 @default.
- W2135494054 hasConcept C9132879 @default.
- W2135494054 hasConceptScore W2135494054C110251889 @default.
- W2135494054 hasConceptScore W2135494054C111919701 @default.
- W2135494054 hasConceptScore W2135494054C115903868 @default.
- W2135494054 hasConceptScore W2135494054C120314980 @default.
- W2135494054 hasConceptScore W2135494054C127705205 @default.
- W2135494054 hasConceptScore W2135494054C136643341 @default.
- W2135494054 hasConceptScore W2135494054C154945302 @default.
- W2135494054 hasConceptScore W2135494054C15920480 @default.
- W2135494054 hasConceptScore W2135494054C173801870 @default.
- W2135494054 hasConceptScore W2135494054C178790620 @default.
- W2135494054 hasConceptScore W2135494054C185592680 @default.
- W2135494054 hasConceptScore W2135494054C41008148 @default.
- W2135494054 hasConceptScore W2135494054C50712370 @default.
- W2135494054 hasConceptScore W2135494054C521977710 @default.
- W2135494054 hasConceptScore W2135494054C63540848 @default.
- W2135494054 hasConceptScore W2135494054C77019957 @default.
- W2135494054 hasConceptScore W2135494054C80444323 @default.
- W2135494054 hasConceptScore W2135494054C9132879 @default.
- W2135494054 hasLocation W21354940541 @default.
- W2135494054 hasOpenAccess W2135494054 @default.
- W2135494054 hasPrimaryLocation W21354940541 @default.
- W2135494054 hasRelatedWork W1499058580 @default.
- W2135494054 hasRelatedWork W1501233076 @default.
- W2135494054 hasRelatedWork W1512115515 @default.
- W2135494054 hasRelatedWork W1819104672 @default.
- W2135494054 hasRelatedWork W1967075733 @default.
- W2135494054 hasRelatedWork W1990816221 @default.
- W2135494054 hasRelatedWork W2047564410 @default.
- W2135494054 hasRelatedWork W2053808314 @default.
- W2135494054 hasRelatedWork W2066125335 @default.
- W2135494054 hasRelatedWork W2068839623 @default.
- W2135494054 hasRelatedWork W2115968267 @default.
- W2135494054 hasRelatedWork W2120525820 @default.
- W2135494054 hasRelatedWork W2122627858 @default.
- W2135494054 hasRelatedWork W2126122415 @default.
- W2135494054 hasRelatedWork W2128131381 @default.
- W2135494054 hasRelatedWork W2143070593 @default.
- W2135494054 hasRelatedWork W2154724831 @default.
- W2135494054 hasRelatedWork W2163865331 @default.
- W2135494054 hasRelatedWork W2950439096 @default.
- W2135494054 hasRelatedWork W3088046813 @default.
- W2135494054 isParatext "false" @default.
- W2135494054 isRetracted "false" @default.
- W2135494054 magId "2135494054" @default.
- W2135494054 workType "article" @default.