EN FR
EN FR


Bibliography

Major publications by the team in recent years
  • 1A. Cont.

    A coupled duration-focused architecture for realtime music to score alignment, in: IEEE Transactions on Pattern Analysis and Machine Intelligence, 2010, vol. 32, no 6, pp. 974-987.

    http://articles.ircam.fr/textes/Cont09a/
  • 2A. Cont, S. Dubnov, G. Assayag.

    On the Information Geometry of Audio Streams with Applications to Similarity Computing, in: IEEE Transactions on Audio, Speech and Language Processing, May 2011, vol. 19, no 4.
  • 3A. Cont, J. Echeveste, J.-L. Giavitto, F. Jacquemard.

    Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo, in: ICMC 2012 - International Computer Music Conference, Ljubljana, Slovenia, IRZU - the Institute for Sonic Arts Research, September 2012.

    http://hal.inria.fr/hal-00718854
  • 4P. Donat-Bouillud, J.-L. Giavitto, A. Cont, N. Schmidt, Y. Orlarey.

    Embedding native audio-processing in a score following system with quasi sample accuracy, in: ICMC 2016 - 42th International Computer Music Conference, Utrecht, Netherlands, September 2016.

    https://hal.inria.fr/hal-01349524
  • 5J. Echeveste, A. Cont, J.-L. Giavitto, F. Jacquemard.

    Operational semantics of a domain specific language for real time musician-computer interaction, in: Discrete Event Dynamic Systems, August 2013, vol. 23, no 4, pp. 343-383. [ DOI : 10.1007/s10626-013-0166-2 ]

    http://hal.inria.fr/hal-00854719
  • 6L. Fanchon, F. Jacquemard.

    Formal Timing Analysis Of Mixed Music Scores, in: 2013 ICMC - International Computer Music Conference, Perth, Australia, August 2013.

    https://hal.inria.fr/hal-00829821
  • 7F. Jacquemard, C. Poncelet.

    An Automatic Test Framework for Interactive Music Systems, in: Journal of New Music Research, 2016, vol. 45, no 2, 18 p.

    https://hal.inria.fr/hal-01274035
  • 8C. Poncelet, F. Jacquemard.

    Model-Based Testing for Building Reliable Realtime Interactive Music Systems, in: Science of Computer Programming, 2016, Journal: Science of Computer Programming special issue for ACM SAC (SVT) 2015.

    https://hal.archives-ouvertes.fr/hal-01314969
  • 9C. Poncelet Sanchez, F. Jacquemard.

    Test Methods for Score-Based Interactive Music Systems, in: ICMC SMC 2014, Athen, Greece, September 2014.

    https://hal.inria.fr/hal-01021617
  • 10A. Ycart, F. Jacquemard, J. Bresson, S. Staworko.

    A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration, in: International Computer Music Conference (ICMC), Utrecht, Netherlands, Proceedings of the 42nd International Computer Music Conference (ICMC), September 2016.

    https://hal.inria.fr/hal-01315689
Publications of the year

Doctoral Dissertations and Habilitation Theses

Articles in International Peer-Reviewed Journals

  • 13G. Burloiu, A. Cont, C. Poncelet.

    A visual framework for dynamic mixed music notation, in: Journal of New Music Research, 2016. [ DOI : 10.1080/09298215.2016.1245345 ]

    https://hal.inria.fr/hal-01390502
  • 14F. Jacquemard, C. Poncelet.

    An Automatic Test Framework for Interactive Music Systems, in: Journal of New Music Research, 2016, vol. 45, no 2, 18 p.

    https://hal.inria.fr/hal-01274035
  • 15F. Jacquemard, M. Rusinowitch.

    One-variable context-free hedge automata, in: Journal of Computer and System Sciences, 2016. [ DOI : 10.1016/j.jcss.2016.10.006 ]

    https://hal.inria.fr/hal-01426626
  • 16F. Jacquemard, L. Segoufin, J. Dimino.

    FO2(<,+1, ) on data trees, data tree automata and branching vector addition systems, in: Logical Methods in Computer Science, 2016, vol. 12, no 2, 32 p.

    https://hal.inria.fr/hal-00769249
  • 17J. Pascalie, M. Potier, T. Kowaliw, J.-L. Giavitto, O. Michel, A. Spicher, R. Doursat.

    Developmental Design of Synthetic Bacterial Architectures by Morphogenetic Engineering, in: ACS Synthetic Biology, May 2016, vol. 5, no 8, pp. 842-861. [ DOI : 10.1021/acssynbio.5b00246 ]

    https://hal.inria.fr/hal-01354757
  • 18C. Poncelet, F. Jacquemard.

    Model-Based Testing for Building Reliable Realtime Interactive Music Systems, in: Science of Computer Programming, 2016, Journal: Science of Computer Programming special issue: SAC SVT 2015.

    https://hal.archives-ouvertes.fr/hal-01314969

Invited Conferences

  • 19F. Jacquemard.

    Some results on confluence: decision and what to do without, in: 5th International Workshop on Confluence, Obergurgl, Austria, Proceedings of the 5th International Workshop on Confluence, Beniamino Accattoli, Ashish Tiwari , September 2016.

    https://hal.inria.fr/hal-01367535

International Conferences with Proceedings

  • 20P. Donat-Bouillud, J.-L. Giavitto, A. Cont, N. Schmidt, Y. Orlarey.

    Embedding native audio-processing in a score following system with quasi sample accuracy, in: ICMC 2016 - 42th International Computer Music Conference, Utrecht, Netherlands, September 2016.

    https://hal.inria.fr/hal-01349524
  • 21R. Lajugie, P. Bojanowski, P. Cuvillier, S. Arlot, F. Bach.

    A weakly-supervised discriminative model for audio-to-score alignment, in: 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Shanghai, China, Proceedings of the 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), March 2016.

    https://hal.archives-ouvertes.fr/hal-01251018
  • 22A. Ycart, F. Jacquemard, J. Bresson, S. Staworko.

    A Supervised Approach for Rhythm Transcription Based on Tree Series Enumeration, in: International Computer Music Conference (ICMC), Utrecht, Netherlands, Proceedings of the 42nd International Computer Music Conference (ICMC), September 2016.

    https://hal.inria.fr/hal-01315689

National Conferences with Proceedings

  • 23A. Ycart, J. Bresson, F. Jacquemard, S. Staworko.

    An interactive approach to rhythm transcription in OpenMusic, in: Journées d'Informatique Musicale 2016, Albi, France, Journées d'Informatique Musicale 2016, AFIM, March 2016.

    https://hal.inria.fr/hal-01298806

Scientific Books (or Scientific Book chapters)

  • 24J.-L. Giavitto, A. Spicher.

    A Topological Approach of Musical Relationships, in: Mathemusical Conversations - Mathematics and Computation in Music Performance and Composition, J. B. L. Smith, E. Chew, G. Assayag (editors), World Scientific, September 2016, vol. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, no 32, pp. 283–298.

    https://hal.archives-ouvertes.fr/hal-01377659
  • 25A. Spicher, J.-L. Giavitto.

    Interaction-based Programming in MGS, in: Advances in Unconventional Computing - Volume 1: Theory, A. Adamatzky (editor), Series: Emergence, Complexity and Computation, Springer, 2017, vol. 22, pp. 305-342. [ DOI : 10.1007/978-3-319-33924-5 ]

    https://hal.archives-ouvertes.fr/hal-01377667

Scientific Popularization

  • 26N. Schmidt Gubbins, A. Cont, J.-L. Giavitto.

    First steps toward embedding real-time audio computing in Antescofo, in: Journal de Investigación de Pregado (Investigación, Interdisciplina, Innovación), 2016, vol. 6.

    https://hal.archives-ouvertes.fr/hal-01257524

Other Publications

  • 27F. Jacquemard, A. Ycart, M. Sakai.

    Generating equivalent rhythmic notations based on rhythm tree languages, November 2016, working paper or preprint.

    https://hal.inria.fr/hal-01403982
References in notes
  • 28G. Assayag, A. Gerzso (editors)

    New Computational Paradigms for Computer Music, Sciences de la musique, Editions Delatour, 6 2009.
  • 29A. Bietti, F. Bach, A. Cont.

    An online EM algorithm in hidden (semi-)Markov models for audio segmentation and clustering, in: ICASSP 2015 - 40th IEEE International Conference on Acoustics, Speech and Signal Processing, Brisbane, Australia, April 2015.

    https://hal.inria.fr/hal-01115826
  • 30A. Bietti.

    Online learning for audio clustering and segmentation, ENS Cachan, September 2014.

    https://hal.inria.fr/hal-01064672
  • 31J. Bresson, D. Bouche, J. Garcia, T. Carpentier, F. Jacquemard, J. MacCallum, D. Schwarz.

    Projet EFFICACE : Développements et perspectives en composition assistée par ordinateur, in: Journées d'Informatique Musicale, Montréal, Canada, 2015.

    https://hal.archives-ouvertes.fr/hal-01142022
  • 32G. Burloiu, A. Cont.

    Non-overlapping, Time-coherent Visualisation of Action Commands in the AscoGraph Interactive Music User Interface, in: First International Conference on Technologies for Music Notation and Representation, Paris, France, May 2015.

    https://hal.inria.fr/hal-01135727
  • 33G. Burloiu, A. Cont.

    Visualizing Timed, Hierarchical Code Structures in AscoGraph, in: International Conference on Information Visualisation, Barcelona, Spain, University of Barcelona, July 2015.

    https://hal.inria.fr/hal-01155618
  • 34T. Coffy, J.-L. Giavitto, A. Cont.

    AscoGraph: A User Interface for Sequencing and Score Following for Interactive Music, in: ICMC 2014 - 40th International Computer Music Conference, Athens, Greece, September 2014.

    https://hal.inria.fr/hal-01024865
  • 35A. Cont, J. Echeveste, J.-L. Giavitto.

    The Cyber-Physical System Approach for Automatic Music Accompaniment in Antescofo, in: Acoustical Society Of America, Providence, Rhode Island, United States, May 2014, Best Paper Award for Students and Young Presenters.

    https://hal.inria.fr/hal-00997842
  • 36A. Cont, J. Echeveste, J.-L. Giavitto, F. Jacquemard.

    Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo, in: ICMC 2012 - International Computer Music Conference, Ljubljana, Slovenia, IRZU - the Institute for Sonic Arts Research, September 2012.

    https://hal.inria.fr/hal-00718854
  • 37P. Cuvillier, A. Cont.

    Coherent Time Modeling of semi-Markov Models with Application to Real-Time Audio-to-Score Alignment, in: MLSP 2014 - IEEE International Workshop on Machine Learning for Signal Processing (2014), Reims, France, J. Larsen, K. Guelton (editors), IEEE, September 2014.

    https://hal.inria.fr/hal-01058366
  • 38P. Cuvillier.

    Time-coherency of Bayesian priors on transient semi-Markov chains for audio-to-score alignment, in: MaxEnt 2014, Amboise, France, SEE, September 2014.

    https://hal.inria.fr/hal-01080235
  • 39A. Dessein, A. Cont.

    An information-geometric approach to real-time audio segmentation, in: IEEE Signal Processing Letters, April 2013, vol. 20, no 4, pp. 331-334. [ DOI : 10.1109/LSP.2013.2247039 ]

    https://hal.inria.fr/hal-00793999
  • 40A. Dessein.

    Computational Methods of Information Geometry with Real-Time Applications in Audio Signal Processing, Université Pierre et Marie Curie - Paris VI, December 2012.

    https://tel.archives-ouvertes.fr/tel-00768524
  • 41P. Donat-Bouillud.

    Multimedia scheduling for interactive multimedia systems, ENS Rennes ; Universite Rennes 1, June 2015, 47 p.

    https://hal.inria.fr/hal-01168098
  • 42P. Donat-Bouillud, F. Jacquemard, M. Sakai.

    Towards an Equational Theory of Rhythm Notation, in: Music Encoding Conference 2015, Florence, Italy, May 2015.

    https://hal.inria.fr/hal-01105418
  • 43J. Echeveste, A. Cont, J.-L. Giavitto, F. Jacquemard.

    Operational semantics of a domain specific language for real time musician-computer interaction, in: Discrete Event Dynamic Systems, August 2013, vol. 23, no 4, pp. 343-383. [ DOI : 10.1007/s10626-013-0166-2 ]

    https://hal.inria.fr/hal-00854719
  • 44J.-M. Echeveste.

    A programming language for Computer-Human Musical Interaction, Université Pierre et Marie Curie - Paris VI, May 2015.

    https://tel.archives-ouvertes.fr/tel-01196248
  • 45J. Echeveste, J.-L. Giavitto, A. Cont.

    A Dynamic Timed-Language for Computer-Human Musical Interaction, Inria, December 2013, no RR-8422.

    https://hal.inria.fr/hal-00917469
  • 46L. Fanchon.

    Temporal Analysis of Mixed Intrumental/Electronic Music Scores, Ecole Centrale Paris, November 2012, 51 p.

    https://hal.inria.fr/hal-00762004
  • 47L. Fanchon, F. Jacquemard.

    Formal Timing Analysis Of Mixed Music Scores, in: 2013 ICMC - International Computer Music Conference, Perth, Australia, August 2013.

    https://hal.inria.fr/hal-00829821
  • 48J.-L. Giavitto, J. Echeveste.

    Real-Time Matching of Antescofo Temporal Patterns, in: PPDP 2014 - 16th International Symposium on Principles and Practice of Declarative Programming, Canterbury, United Kingdom, ACM, September 2014, forthcoming. [ DOI : 10.1145/2643135.2643158 ]

    https://hal.archives-ouvertes.fr/hal-01054667
  • 49R. Gong, P. Cuvillier, N. Obin, A. Cont.

    Real-Time Audio-to-Score Alignment of Singing Voice Based on Melody and Lyric Information, in: Interspeech, Dresde, Germany, September 2015.

    https://hal.archives-ouvertes.fr/hal-01164550
  • 50A. Hessel, K. G. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson, A. Skou.

    Testing real-time systems using UPPAAL, in: Formal methods and testing, Berlin, Heidelberg, R. M. Hierons, J. P. Bowen, M. Harman (editors), Springer-Verlag, 2008, pp. 77–117.

    http://dl.acm.org/citation.cfm?id=1806209.1806212
  • 51F. Jacquemard, P. Donat-Bouillud, J. Bresson.

    A Structural Theory of Rhythm Notation based on Tree Representations and Term Rewriting, in: Mathematics and Computation in Music: 5th International Conference, MCM 2015, London, United Kingdom, D. M. Tom Collins, A. Volk (editors), Lecture Notes in Artificial Intelligence, Springer, June 2015, vol. 9110, 12 p.

    https://hal.inria.fr/hal-01138642
  • 52F. Jacquemard, Y. Kojima, M. Sakai.

    Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies, in: 25th International Conference on Automated Deduction (CADE'15), Berlin, Germany, A. P. Felty, A. Middeldorp (editors), LNCS, Springer, August 2015.

    https://hal.inria.fr/hal-01149319
  • 53M. Krichen, S. Tripakis.

    Black-box conformance testing for real-time systems, in: In 11th International SPIN Workshop on Model Checking of Software (SPIN'04), volume 2989 of LNCS, Springer, 2004, pp. 109–126.
  • 54R. Lajugie, P. Bojanowski, P. Cuvillier, S. Arlot, F. Bach.

    A weakly-supervised discriminative model for audio-to-score alignment, in: 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), Shanghai, China, Proceedings of the 41st International Conference on Acoustics, Speech, and Signal Processing (ICASSP), March 2016.

    https://hal.archives-ouvertes.fr/hal-01251018
  • 55V. Lostanlen.

    Decouverte automatique de structures musicales en temps reel par la geometrie de l'information, ATIAM, University of Paris 6 (UPMC), September 2013.

    https://hal.inria.fr/hal-00849736
  • 56E. Nakamura, P. Cuvillier, A. Cont, N. Ono, S. Sagayama.

    Autoregressive hidden semi-Markov model of symbolic music performance for score following, in: 16th International Society for Music Information Retrieval Conference (ISMIR), Malaga, Spain, October 2015.

    https://hal.inria.fr/hal-01183820
  • 57J. Nika, J. Echeveste, M. Chemillier, J.-L. Giavitto.

    Planning Human-Computer Improvisation, in: International Computer Music Conference, Athens, Greece, September 2014, 330 p.

    https://hal.archives-ouvertes.fr/hal-01053834
  • 58C. Poncelet, F. Jacquemard.

    Model Based Testing of an Interactive Music System, in: Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Salamanca, Spain, ACM, April 2015. [ DOI : 10.1145/2695664.2695804 ]

    https://hal.archives-ouvertes.fr/hal-01097345
  • 59C. Poncelet.

    Génération de tests de conformité pour un système musical interactif temps-réel, November 2013, MSR'13, Poster.

    https://hal.inria.fr/hal-01133592
  • 60C. Poncelet Sanchez, F. Jacquemard.

    Test Methods for Score-Based Interactive Music Systems, in: ICMC SMC 2014, Athen, Greece, September 2014.

    https://hal.inria.fr/hal-01021617
  • 61R. Rowe.

    Interactive music systems: machine listening and composing, MIT Press, Cambridge, MA, USA, 1992.
  • 62E. D. Scheirer.

    Music listening systems, MIT Media Lab, 2000.

    http://web.media.mit.edu/~tristan/Classes/MAS.945/Papers/Technical/Scheirer_Thesis.pdf
  • 63C. Trapani, J. Echeveste.

    Real Time Tempo Canons with Antescofo, in: International Computer Music Conference, Athens, Greece, September 2014, 207 p.

    https://hal.archives-ouvertes.fr/hal-01053836
  • 64B. Vercoe.

    The Synthetic Performer in the Context of Live Performance, in: Proceedings of the ICMC, 1984, pp. 199–200.
  • 65A. Ycart.

    Quantification rythmique dans OpenMusic, UPMC, September 2015, 51 p.

    https://hal.inria.fr/hal-01202257