Number of documents

16

Publications


Journal articles3 documents

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

Conference papers4 documents

  • Alireza Abyaneh, Simon Bauer, Christoph Kirsch, Philipp Mayer, Christian Mösl, et al.. Selfie: Towards Minimal Symbolic Execution. MoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77. ⟨hal-01852071⟩
  • 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. ⟨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. ⟨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. ⟨hal-01021617⟩

Poster communications3 documents

  • Clement Poncelet, Christoph Kirsch. Symbolic Execution in Selfie -a first step. Klee Workshop 2018, Apr 2018, Londres, United Kingdom. ⟨hal-01851706⟩
  • 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⟩

Documents associated with scientific events1 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⟩

Reports3 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⟩

Theses1 document

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

Master thesis1 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⟩