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
|
An Automatic Test Framework for Interactive Music SystemsJournal of New Music Research, 2016, 45 (2), pp.18
Journal articles
hal-01274035v1
|
|
A visual framework for dynamic mixed music notationJournal of New Music Research, 2016, ⟨10.1080/09298215.2016.1245345⟩
Journal articles
hal-01390502v1
|
|
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
Journal articles
hal-01314969v2
|
|
Selfie: Towards Minimal Symbolic ExecutionMoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77
Conference papers
hal-01852071v1
|
|
Langage pour la vérification de modèles par contraintesTreizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Conference papers
hal-01562692v1
|
|
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⟩
Conference papers
hal-01097345v2
|
|
Test Methods for Score-Based Interactive Music SystemsICMC SMC 2014, Sep 2014, Athen, Greece
Conference papers
hal-01021617v1
|
|
Symbolic Execution in Selfie -a first stepKlee Workshop 2018, Apr 2018, Londres, United Kingdom
Conference poster
hal-01851706v1
|
|
Test methods for Score-Based Interactive Music Systems Toward a formal SpecificationICMC/SMC 2014, Sep 2014, Athène, Greece
Conference poster
hal-01133597v1
|
|
Génération de tests de conformité pour un système musical interactif temps-réelMSR'13, Nov 2013, Rennes, France
Conference poster
hal-01133592v1
|
|
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
Documents associated with scientific events
hal-00876652v1
|
|
Compilation of the Intermediate Representation V1[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Reports
hal-01132159v1
|
|
Offline methods of conformance testing for Antescofo[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Reports
hal-01132155v1
|
|
Antescofo Intermediate Representation[Research Report] RR-8520, INRIA. 2014, pp.13
Reports
hal-00979359v1
|
|
Model-Based Testing Real-Time and Interactive Music SystemsOther [cs.OH]. EDITE, 2016. English. ⟨NNT : ⟩
Theses
tel-01443327v1
|
|
Environnement de test pour un système temps-réel de performance en musique mixteAutre [cs.OH]. 2013
Master thesis
hal-00920028v1
|