Clément Poncelet Sanchez

Publications

Article dans une revue (3)

An Automatic Test Framework for Interactive Music Systems Florent Jacquemard,Clément Poncelet Journal of New Music Research, 2016, 45 (2), pp.18 Article dans une revue hal-01274035v1
A visual framework for dynamic mixed music notation Grigore Burloiu,Arshia Cont,Clement Poncelet Journal of New Music Research, 2016, ⟨10.1080/09298215.2016.1245345⟩ Article dans une revue hal-01390502v1
Model-Based Testing for Building Reliable Realtime Interactive Music Systems Clement Poncelet,Florent Jacquemard Science of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172 Article dans une revue hal-01314969v2

Communication dans un congrès (4)

Selfie: Towards Minimal Symbolic Execution Alireza S Abyaneh,Simon Bauer,Christoph Kirsch,Philipp Mayer,Christian Möslet al. MoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77 Communication dans un congrès hal-01852071v1
Langage pour la vérification de modèles par contraintes Pierre Talbot,Clément Poncelet Sanchez Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France Communication dans un congrès hal-01562692v1
Model Based Testing of an Interactive Music System Clément Poncelet,Florent Jacquemard Proceedings 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-01097345v2
Test Methods for Score-Based Interactive Music Systems Clément Poncelet Sanchez,Florent Jacquemard ICMC SMC 2014, Sep 2014, Athen, Greece Communication dans un congrès hal-01021617v1

Poster de conférence (3)

Symbolic Execution in Selfie -a first step Clement Poncelet,Christoph Kirsch Klee Workshop 2018, Apr 2018, Londres, United Kingdom Poster de conférence hal-01851706v1
Test methods for Score-Based Interactive Music Systems Toward a formal Specification Clément Poncelet,Florent Jacquemard ICMC/SMC 2014, Sep 2014, Athène, Greece Poster de conférence hal-01133597v1
Génération de tests de conformité pour un système musical interactif temps-réel Clement Poncelet MSR'13, Nov 2013, Rennes, France Poster de conférence hal-01133592v1

Document associé à des manifestations scientifiques (1)

Génération de tests de conformité pour un système musical interactif temps-réel Clément Poncelet Sanchez MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France Document associé à des manifestations scientifiques hal-00876652v1

Rapport (3)

Offline methods of conformance testing for Antescofo Clément Poncelet,Florent Jacquemard [Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015 Rapport (rapport de recherche) hal-01132155v1
Compilation of the Intermediate Representation V1 Clément Poncelet,Florent Jacquemard [Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015 Rapport (rapport de recherche) hal-01132159v1
Antescofo Intermediate Representation Florent Jacquemard,Clément Poncelet Sanchez [Research Report] RR-8520, INRIA. 2014, pp.13 Rapport (rapport de recherche) hal-00979359v1

Mémoire d'étudiant (1)

Environnement de test pour un système temps-réel de performance en musique mixte Clément Poncelet Sanchez Autre [cs.OH]. 2013 Mémoire d'étudiant hal-00920028v1