Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148537620> ?p ?o ?g. }
- W3148537620 abstract "The timed automata formalism is an important model for specifying and analysing real-time systems. Robustness is the correctness of the model in the presence of small drifts on clocks or imprecision in testing guards. A symbolic algorithm for the analysis of the robustness of timed automata has been implemented. In this paper, we re-analyse an industrial case lip synchronization protocol using the new robust reachability algorithm. This lip synchronization protocol is an interesting case because timing aspects are crucial for the correctness of the protocol. Several versions of the model are considered: with an ideal video stream, with anchored jitter, and with non-anchored jitter." @default.
- W3148537620 created "2021-04-13" @default.
- W3148537620 creator A5014945719 @default.
- W3148537620 creator A5040663266 @default.
- W3148537620 creator A5056988637 @default.
- W3148537620 date "2010-03-28" @default.
- W3148537620 modified "2023-09-24" @default.
- W3148537620 title "Re-verification of a Lip Synchronization Protocol using Robust Reachability" @default.
- W3148537620 cites W1482233117 @default.
- W3148537620 cites W1484364085 @default.
- W3148537620 cites W1489013357 @default.
- W3148537620 cites W1503973138 @default.
- W3148537620 cites W1537691540 @default.
- W3148537620 cites W1555190167 @default.
- W3148537620 cites W1599105192 @default.
- W3148537620 cites W1878074184 @default.
- W3148537620 cites W1995691455 @default.
- W3148537620 cites W2025782239 @default.
- W3148537620 cites W2081702911 @default.
- W3148537620 cites W2087107052 @default.
- W3148537620 cites W2101508170 @default.
- W3148537620 cites W2120338947 @default.
- W3148537620 cites W2130773092 @default.
- W3148537620 cites W2132676597 @default.
- W3148537620 cites W2150220388 @default.
- W3148537620 cites W2152095066 @default.
- W3148537620 cites W3023485956 @default.
- W3148537620 doi "https://doi.org/10.4204/eptcs.20.5" @default.
- W3148537620 hasPublicationYear "2010" @default.
- W3148537620 type Work @default.
- W3148537620 sameAs 3148537620 @default.
- W3148537620 citedByCount "4" @default.
- W3148537620 countsByYear W31485376202013 @default.
- W3148537620 countsByYear W31485376202014 @default.
- W3148537620 countsByYear W31485376202015 @default.
- W3148537620 crossrefType "journal-article" @default.
- W3148537620 hasAuthorship W3148537620A5014945719 @default.
- W3148537620 hasAuthorship W3148537620A5040663266 @default.
- W3148537620 hasAuthorship W3148537620A5056988637 @default.
- W3148537620 hasBestOaLocation W31485376201 @default.
- W3148537620 hasConcept C104317684 @default.
- W3148537620 hasConcept C110251889 @default.
- W3148537620 hasConcept C112505250 @default.
- W3148537620 hasConcept C11413529 @default.
- W3148537620 hasConcept C120314980 @default.
- W3148537620 hasConcept C127162648 @default.
- W3148537620 hasConcept C134652429 @default.
- W3148537620 hasConcept C136643341 @default.
- W3148537620 hasConcept C142362112 @default.
- W3148537620 hasConcept C153349607 @default.
- W3148537620 hasConcept C15569618 @default.
- W3148537620 hasConcept C185592680 @default.
- W3148537620 hasConcept C2778562939 @default.
- W3148537620 hasConcept C30788636 @default.
- W3148537620 hasConcept C31258907 @default.
- W3148537620 hasConcept C41008148 @default.
- W3148537620 hasConcept C55439883 @default.
- W3148537620 hasConcept C55493867 @default.
- W3148537620 hasConcept C558565934 @default.
- W3148537620 hasConcept C63479239 @default.
- W3148537620 hasConcept C73301696 @default.
- W3148537620 hasConcept C76155785 @default.
- W3148537620 hasConcept C79403827 @default.
- W3148537620 hasConcept C80444323 @default.
- W3148537620 hasConceptScore W3148537620C104317684 @default.
- W3148537620 hasConceptScore W3148537620C110251889 @default.
- W3148537620 hasConceptScore W3148537620C112505250 @default.
- W3148537620 hasConceptScore W3148537620C11413529 @default.
- W3148537620 hasConceptScore W3148537620C120314980 @default.
- W3148537620 hasConceptScore W3148537620C127162648 @default.
- W3148537620 hasConceptScore W3148537620C134652429 @default.
- W3148537620 hasConceptScore W3148537620C136643341 @default.
- W3148537620 hasConceptScore W3148537620C142362112 @default.
- W3148537620 hasConceptScore W3148537620C153349607 @default.
- W3148537620 hasConceptScore W3148537620C15569618 @default.
- W3148537620 hasConceptScore W3148537620C185592680 @default.
- W3148537620 hasConceptScore W3148537620C2778562939 @default.
- W3148537620 hasConceptScore W3148537620C30788636 @default.
- W3148537620 hasConceptScore W3148537620C31258907 @default.
- W3148537620 hasConceptScore W3148537620C41008148 @default.
- W3148537620 hasConceptScore W3148537620C55439883 @default.
- W3148537620 hasConceptScore W3148537620C55493867 @default.
- W3148537620 hasConceptScore W3148537620C558565934 @default.
- W3148537620 hasConceptScore W3148537620C63479239 @default.
- W3148537620 hasConceptScore W3148537620C73301696 @default.
- W3148537620 hasConceptScore W3148537620C76155785 @default.
- W3148537620 hasConceptScore W3148537620C79403827 @default.
- W3148537620 hasConceptScore W3148537620C80444323 @default.
- W3148537620 hasLocation W31485376201 @default.
- W3148537620 hasLocation W31485376202 @default.
- W3148537620 hasLocation W31485376203 @default.
- W3148537620 hasLocation W31485376204 @default.
- W3148537620 hasOpenAccess W3148537620 @default.
- W3148537620 hasPrimaryLocation W31485376201 @default.
- W3148537620 hasRelatedWork W2109726629 @default.
- W3148537620 hasRelatedWork W2111654715 @default.
- W3148537620 hasRelatedWork W2117618670 @default.
- W3148537620 hasRelatedWork W2283019860 @default.
- W3148537620 hasRelatedWork W2405576261 @default.
- W3148537620 hasRelatedWork W2581652477 @default.