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 12.32 p.m.

More news

  • 11 December 2023

    Join the 'Language and AI' community

    As a part of the Jantina Tammes School, the 'Language and AI' theme is an interdisciplinary initiative that aims to encourage collaboration among academics, PhD candidates, students, and industry representatives who share a keen interest in the...

  • 13 October 2023

    Moniek Tromp appointed Captain of Science of the Top Sector Chemistry

    Prof. Moniek Tromp has been appointed Captain of Science of the Chemistry Top Sector by the Minister of Economic Affairs and Climate Policy. As from 1 July 2023, she succeeded Prof. Bert Weckhuysen from Utrecht University.

  • 12 September 2023

    Art in times of AI

    Leonardo Arriagada Beltran conducted his PhD research on the interface of computer-generated art and the constantly evolving field of Artificial Intelligence (AI). He will defend his Phd thesis on 21 September. His research offers valuable insights...