Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar

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

02 March 2016

Date:                      

Wednesday, March 2nd 2016

Speaker:

Dr. Jaime Arias (INRIA Bordeaux, France)

Room:

5161.0267 (Bernoulliborg)

Time:

16.00

Title:   Automatic Verification of Interactive Multimedia Scenarios with Branching Behavior

                           


Abstract:

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.

http://www.labri.fr/perso/jarias

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

http://www.rug.nl/research/jbi/news/colloquia/computerscience

Last modified:10 February 2021 1.32 p.m.

More news

  • 18 March 2024

    VentureLab North helps researchers to develop succesful startups

    It has happened to many researchers. While working, you suddenly ask yourself: would this not be incredibly useful for people outside of my own research discipline? There are many ways to share the results of your research. For example, think of a...

  • 04 March 2024

    A plant-based sensor

    Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...

  • 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...