Accéder directement au contenu

Clément Poncelet Sanchez

16
Documents

Publications

Image document

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
Image document

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
Image document

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
Image document

Selfie: Towards Minimal Symbolic Execution

Alireza S Abyaneh , Simon Bauer , Christoph Kirsch , Philipp Mayer , Christian Mösl
MoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77
Communication dans un congrès hal-01852071v1
Image document

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
Image document

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
Image document

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
Image document

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
Image document

Compilation of the Intermediate Representation V1

Clément Poncelet , Florent Jacquemard
[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport hal-01132159v1
Image document

Offline methods of conformance testing for Antescofo

Clément Poncelet , Florent Jacquemard
[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Rapport hal-01132155v1
Image document

Antescofo Intermediate Representation

Florent Jacquemard , Clément Poncelet Sanchez
[Research Report] RR-8520, INRIA. 2014, pp.13
Rapport hal-00979359v1