Skip to ContentSkip to Navigation
University of Groningenfounded in 1614  -  top 100 university
Close
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.
Share this Facebook Twitter LinkedIn

More news

  •
    10 June 2024

    Swarming around a skyscraper

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

  •
    24 May 2024

    Lustrum 410 in pictures

    Lustrum 410 in pictures: A photo report of the lustrum 2024

  •
    21 May 2024

    Results of 2024 University elections

    The votes have been counted and the results of the University elections are in!

Follow the UGfacebook twitter linkedin rss instagram youtube
Functional
Provides basic functions and uses anonymized cookies.
Standard
Provides optimal operation and uses video cookies, among others.
Complete
Provides personalized content and uses marketing cookies.
Set your cookie preferences. Read our privacy and cookie disclaimer for more information.