
Clément Poncelet Sanchez
16
Documents
Publications
4
3
3
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
8
2
1
1
1
1
1
1
1
1
1
1
2
1
4
3
3
3
Publications
|
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
Article dans une revue
hal-01314969
v2
|
|
An Automatic Test Framework for Interactive Music SystemsJournal of New Music Research, 2016, 45 (2), pp.18
Article dans une revue
hal-01274035
v1
|
|
A visual framework for dynamic mixed music notationJournal of New Music Research, 2016, ⟨10.1080/09298215.2016.1245345⟩
Article dans une revue
hal-01390502
v1
|
|
Selfie: Towards Minimal Symbolic ExecutionMoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77
Communication dans un congrès
hal-01852071
v1
|
|
Langage pour la vérification de modèles par contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès
hal-01562692
v1
|
|
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⟩
Communication dans un congrès
hal-01097345
v2
|
|
Test Methods for Score-Based Interactive Music SystemsICMC SMC 2014, Sep 2014, Athen, Greece
Communication dans un congrès
hal-01021617
v1
|
|
Symbolic Execution in Selfie -a first stepKlee Workshop 2018, Apr 2018, Londres, United Kingdom
Poster de conférence
hal-01851706
v1
|
|
Test methods for Score-Based Interactive Music Systems Toward a formal SpecificationICMC/SMC 2014, Sep 2014, Athène, Greece
Poster de conférence
hal-01133597
v1
|
|
Génération de tests de conformité pour un système musical interactif temps-réelMSR'13, Nov 2013, Rennes, France
Poster de conférence
hal-01133592
v1
|
|
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
Document associé à des manifestations scientifiques
hal-00876652
v1
|
|
Offline methods of conformance testing for Antescofo[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport
(rapport de recherche)
hal-01132155
v1
|
|
Compilation of the Intermediate Representation V1[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport
(rapport de recherche)
hal-01132159
v1
|
|
Antescofo Intermediate Representation[Research Report] RR-8520, INRIA. 2014, pp.13
Rapport
(rapport de recherche)
hal-00979359
v1
|
|
Model-Based Testing Real-Time and Interactive Music SystemsOther [cs.OH]. EDITE, 2016. English. ⟨NNT : ⟩
Thèse
tel-01443327
v1
|
|
Environnement de test pour un système temps-réel de performance en musique mixteAutre [cs.OH]. 2013
Mémoire d'étudiant
hal-00920028
v1
|
Chargement...
Chargement...