Clément Poncelet Sanchez
Publications
Publications
|
|
An Automatic Test Framework for Interactive Music SystemsJournal of New Music Research, 2016, 45 (2), pp.18 |
|
|
A visual framework for dynamic mixed music notationJournal of New Music Research, 2016, ⟨10.1080/09298215.2016.1245345⟩ |
|
|
Model-Based Testing for Building Reliable Realtime Interactive Music SystemsScience of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172 |
|
|
Selfie: Towards Minimal Symbolic ExecutionMoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77 |
|
|
Langage pour la vérification de modèles par contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France |
|
|
Model Based Testing of an Interactive Music SystemProceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ⟨10.1145/2695664.2695804⟩ |
|
|
Test Methods for Score-Based Interactive Music SystemsICMC SMC 2014, Sep 2014, Athen, Greece |
|
|
Symbolic Execution in Selfie -a first stepKlee Workshop 2018, Apr 2018, Londres, United Kingdom |
|
|
Test methods for Score-Based Interactive Music Systems Toward a formal SpecificationICMC/SMC 2014, Sep 2014, Athène, Greece |
|
|
Génération de tests de conformité pour un système musical interactif temps-réelMSR'13, Nov 2013, Rennes, France |
|
|
Génération de tests de conformité pour un système musical interactif temps-réelMSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France |
|
|
Offline methods of conformance testing for Antescofo[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015 |
|
|
Compilation of the Intermediate Representation V1[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015 |
|
|
Antescofo Intermediate Representation[Research Report] RR-8520, INRIA. 2014, pp.13 |
|
|
Environnement de test pour un système temps-réel de performance en musique mixteAutre [cs.OH]. 2013 |