Model based testing of an interactive music system C Poncelet, F Jacquemard Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1759-1764, 2015 | 13 | 2015 |
A visual framework for dynamic mixed music notation G Burloiu, A Cont, C Poncelet Journal of New Music Research 46 (1), 54-73, 2017 | 5 | 2017 |
Model-based testing for building reliable realtime interactive music systems C Poncelet, F Jacquemard Science of Computer Programming 132, 143-172, 2016 | 5 | 2016 |
Test methods for score-based interactive music systems CP Sanchez, F Jacquemard ICMC SMC 2014, 2014 | 4 | 2014 |
Test methods for score-based interactive music systems CP Sanchez, F Jacquemard ICMC SMC 2014, 2014 | 4 | 2014 |
Selfie: Towards Minimal Symbolic Execution AS Abyaneh, CM Kirsch, C Poncelet, S Seidl, A Sokolova, M Widmoser Online Proc. Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs), 2018 | 3 | 2018 |
An automatic test framework for interactive music systems F Jacquemard, C Poncelet Journal of New Music Research 45 (2), 87-100, 2016 | 2 | 2016 |
Compilation of the intermediate representation v1 C Poncelet, F Jacquemard IRCAM; INRIA Paris-Rocquencourt; INRIA, 2015 | 1 | 2015 |
Antescofo Intermediate Representation F Jacquemard, CP Sanchez arXiv preprint arXiv:1404.7335, 2014 | 1 | 2014 |
Symbolic Execution in Selfie-a first step C Poncelet, C Kirsch Klee Workshop 2018, 2018 | | 2018 |
Langage pour la vérification de modèles par contraintes P Talbot, CP Sanchez Treizièmes journées Francophones de Programmation par Contraintes, 2017 | | 2017 |
Model-based testing real-time and interactive music systems C Poncelet Sanchez Paris 6, 2016 | | 2016 |
Model-Based Testing Real-Time and Interactive Music Systems.(Tests basés sur Modèles pour systèmes interactifs musicaux). CP Sanchez Pierre and Marie Curie University, Paris, France, 2016 | | 2016 |
Offline methods of conformance testing for Antescofo C Poncelet, F Jacquemard IRCAM; INRIA Paris-Rocquencourt; INRIA, 2015 | | 2015 |
Generation de tests de conformite pour un systeme musical interactif temps-reel C Poncelet MSR'13, 2013 | | 2013 |
Environnement de test pour un système temps-réel de performance en musique mixte CP Sanchez Université Pierre et Marie Curie (UPMC), 2013 | | 2013 |