Skip to Main content Skip to Navigation
Journal articles

Authoring and automatic verification of interactive multimedia scores

Jaime Arias 1, 2, 3 Jean-Michaël Celerier 1, 2, 3, 4 Myriam Desainte-Catherine 1, 2, 3 
1 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : The advances in authoring of interactive scores call for a thorough analysis of the written scores. A possible way to ensure correctness of an interactive score is through the use of formal techniques such as model checking. In this work, we present a visual model of the inter-media sequencer i-score and we propose a Timed Automata encoding to reason about the interactive scores written in this software. The verification of some properties of interactive scores is presented, along an evaluation of the performance of the model-checking process with uppaal.
Complete list of metadata

Cited literature [25 references]  Display  Hide  Download
Contributor : Arias Jaime Connect in order to contact the contributor
Submitted on : Monday, November 21, 2016 - 10:51:29 AM
Last modification on : Saturday, June 25, 2022 - 10:36:50 AM
Long-term archiving on: : Tuesday, March 21, 2017 - 2:24:26 PM


Files produced by the author(s)




Jaime Arias, Jean-Michaël Celerier, Myriam Desainte-Catherine. Authoring and automatic verification of interactive multimedia scores. Journal of New Music Research, Taylor & Francis (Routledge), 2016, pp.1 - 19. ⟨10.1080/09298215.2016.1248444⟩. ⟨hal-01399925⟩



Record views


Files downloads