This paper presents the speci cation of some parts of a lip synchronization protocol using HyCharts GSB The speci cation is based on a timed automata model for the protocol presented in BFK The primary motivation of this work is to examine the utility of HyCharts for problems in the multimedia eld in particular in comparison to timed automata AD

We describe a prototype tool, hugo/RT, that is designed to automatically verify whether the timed state machines in a UML model interact according to scenarios specified by time-annotated UML collaborations. Timed state machines are compiled into timed automata that exchange signals and operations via a network automaton. A collaboration with time constraints is translated into an observer time...

In this paper we present a timed extension of the AltaRica language, Timed AltaRica, and describe the architecture of a compiler from Timed AltaRica to timed automata. We present the features of the language, namely modularity, hierarchical modeling and reuse of components during the specification phase, on an avionics example. Then, we use the compiler from Timed AltaRica to Timed Automata to ...

In this paper, we provide evidence for rhythmic classifications of speech from duration measurements. Our investigation differs from previous studies in two ways. Firstly, we do not relate speech rhythm to phonological units such as interstress intervals or syllable durations. Instead, we calculate durational variability in successive acoustic-phonetic intervals using Pairwise Variability Indic...

Timing aspects in formalisms with explicit resources and parallelism are investigated, and it is presented a formal link between timed membrane systems and timed Petri nets with localities. For both formalisms, timing does not increase the expressive power; however both timed membrane systems and timed Petri nets are more flexible in describing molecular phenomena where time is a critical resou...