Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar

Colloquium Computer Science, Dr. Jaime Arias (INRIA Bordeaux, France)

02 March 2016


Wednesday, March 2nd 2016


Dr. Jaime Arias (INRIA Bordeaux, France)


5161.0267 (Bernoulliborg)



Title:   Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior



Interactive multimedia deals with the computer-based design of scenarios consisting of multimedia content that interacts with external actions and those of the performer (e.g., multimedia live-performance arts, interactive museum installations, and video games). The multimedia content is structured in a spatial and temporal order according to the author’s requirements. Therefore, the potentially high complexity of these scenarios requires adequate specification languages for their complete description and verification. As an answer to this challenge, Interactive Scores has been proposed as a formalism for composing and performing interactive multimedia scenarios. In addition, the inter-media sequencer i-score has been developed following the formal semantics proposed by this model. In this talk I will present the software i-score and its underlying Timed Automata model. Moreover, I will show examples of interactive scenarios and how to use the tool UPPAAL to verify some properties of these scenarios.

Colloquium coordinators are Prof.dr. M. Aiello (e-mail : M.Aiello ) and
Prof.dr. M. Biehl (e-mail: M.Biehl )

Last modified:10 February 2021 1.32 p.m.

More news