Nombre de documents

14

Publications


Article dans une revue3 documents

Communication dans un congrès3 documents

  • Pierre Talbot, Clément Poncelet Sanchez. Langage pour la vérification de modèles par contraintes. Treizièmes journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France. 2017, Actes des Treizièmes Journées Francophones de la Programmation par Contraintes. <http://www.cril.univ-artois.fr/jfpc2017>. <hal-01562692>
  • Clément Poncelet, Florent Jacquemard. Model Based Testing of an Interactive Music System. Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ACM, 2015, <10.1145/2695664.2695804>. <hal-01097345v2>
  • Clément Poncelet Sanchez, Florent Jacquemard. Test Methods for Score-Based Interactive Music Systems. ICMC SMC 2014, Sep 2014, Athen, Greece. 2014. <hal-01021617>

Poster2 documents

  • Clément Poncelet, Florent Jacquemard. Test methods for Score-Based Interactive Music Systems Toward a formal Specification. ICMC/SMC 2014, Sep 2014, Athène, Greece. <hal-01133597>
  • Clement Poncelet. Génération de tests de conformité pour un système musical interactif temps-réel. MSR'13, Nov 2013, Rennes, France. <hal-01133592>

Document associé à des manifestations scientifiques1 document

  • Clément Poncelet Sanchez. Génération de tests de conformité pour un système musical interactif temps-réel. MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. <hal-00876652>

Rapport3 documents

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

Thèse1 document

  • Clément Poncelet Sanchez. Model-Based Testing Real-Time and Interactive Music Systems. Other [cs.OH]. EDITE, 2016. English. <tel-01443327>

Mémoire d'étudiant1 document

  • Clément Poncelet Sanchez. Environnement de test pour un système temps-réel de performance en musique mixte. Autre [cs.OH]. 2013. <hal-00920028>