Publications HAL

2017

Conference papers

titre
Langage pour la vérification de modèles par contraintes
auteur
Pierre Talbot, Clément Poncelet Sanchez
article
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〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01562692/file/jfpc2017.pdf BibTex

2016

Journal articles

titre
Model-Based Testing for Building Reliable Realtime Interactive Music Systems
auteur
Clement Poncelet, Florent Jacquemard
article
Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172. 〈http://www.sciencedirect.com/science/article/pii/S0167642316301022〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01314969/file/SCP_Antescofo_test_HAL.pdf BibTex
titre
A visual framework for dynamic mixed music notation
auteur
Grigore Burloiu, Arshia Cont, Clement Poncelet
article
Journal of New Music Research, Taylor & Francis (Routledge), 2016, 〈10.1080/09298215.2016.1245345〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01390502/file/jnmr-ascograph.pdf BibTex
titre
An Automatic Test Framework for Interactive Music Systems
auteur
Florent Jacquemard, Clément Poncelet
article
Journal of New Music Research, Taylor & Francis (Routledge), 2016, 45 (2), pp.18. 〈http://www.tandfonline.com/doi/full/10.1080/09298215.2016.1173707〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01274035/file/Antescofo_test_JNMR.pdf BibTex

Theses

titre
Model-Based Testing Real-Time and Interactive Music Systems
auteur
Clément Poncelet Sanchez
article
Other [cs.OH]. EDITE, 2016. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01443327/file/ClementPonceletSanchezThesis.pdf BibTex

2015

Conference papers

titre
Model Based Testing of an Interactive Music System
auteur
Clément Poncelet, Florent Jacquemard
article
Proceedings of the 30th ACM/SIGAPP Symposium On Applied Computing (ACM SAC), Apr 2015, Salamanca, Spain. ACM, 2015, 〈10.1145/2695664.2695804〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01097345/file/Antescofo_Test-sacsvt_hal.pdf BibTex

Reports

titre
Offline methods of conformance testing for Antescofo
auteur
Clément Poncelet, Florent Jacquemard
article
[Research Report] RR-8700, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01132155/file/RR-8700.tex.pdf BibTex
titre
Compilation of the Intermediate Representation V1
auteur
Clément Poncelet, Florent Jacquemard
article
[Research Report] RR-8701, IRCAM; INRIA Paris-Rocquencourt; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01132159/file/RR-8701.pdf BibTex

2014

Conference papers

titre
Test Methods for Score-Based Interactive Music Systems
auteur
Clément Poncelet Sanchez, Florent Jacquemard
article
ICMC SMC 2014, Sep 2014, Athen, Greece. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01021617/file/AntescofoTest.pdf BibTex

Poster communications

titre
Test methods for Score-Based Interactive Music Systems Toward a formal Specification
auteur
Clément Poncelet, Florent Jacquemard
article
ICMC/SMC 2014, Sep 2014, Athène, Greece
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01133597/file/Test_methods_poster_v1.pdf BibTex

Reports

titre
Antescofo Intermediate Representation
auteur
Florent Jacquemard, Clément Poncelet Sanchez
article
[Research Report] RR-8520, INRIA. 2014, pp.13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00979359/file/RR-8520.pdf BibTex

2013

Master thesis

titre
Environnement de test pour un système temps-réel de performance en musique mixte
auteur
Clément Poncelet Sanchez
article
Autre [cs.OH]. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920028/file/Dossier_Stage.pdf BibTex

Poster communications

titre
Génération de tests de conformité pour un système musical interactif temps-réel
auteur
Clement Poncelet
article
MSR'13, Nov 2013, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01133592/file/poster_Verification_Antescofo.pdf BibTex

Documents associated with scientific events

titre
Génération de tests de conformité pour un système musical interactif temps-réel
auteur
Clément Poncelet Sanchez
article
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00876652/file/Poncelet.pdf BibTex