Clément Poncelet Sanchez
Clément Poncelet Sanchez
Adresse e-mail validée de it.uu.se - Page d'accueil
Titre
Citée par
Citée par
Année
Model based testing of an interactive music system
C Poncelet, F Jacquemard
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1759-1764, 2015
152015
Test methods for score-based interactive music systems
CP Sanchez, F Jacquemard
ICMC SMC 2014, 2014
5*2014
Model-based testing for building reliable realtime interactive music systems
C Poncelet, F Jacquemard
Science of Computer Programming 132, 143-172, 2016
42016
Test methods for score-based interactive music systems
CP Sanchez, F Jacquemard
ICMC SMC 2014, 2014
42014
A visual framework for dynamic mixed music notation
G Burloiu, A Cont, C Poncelet
Journal of New Music Research 46 (1), 54-73, 2017
32017
An automatic test framework for interactive music systems
F Jacquemard, C Poncelet
Journal of New Music Research 45 (2), 87-100, 2016
32016
Antescofo Intermediate Representation
F Jacquemard, CP Sanchez
arXiv preprint arXiv:1404.7335, 2014
22014
Compilation of the intermediate representation v1
C Poncelet, F Jacquemard
IRCAM; INRIA Paris-Rocquencourt; INRIA, 2015
12015
Symbolic Execution in Selfie-a first step
C Poncelet, C Kirsch
Klee Workshop 2018, 2018
2018
Selfie: Towards Minimal Symbolic Execution
AS Abyaneh, CM Kirsch, C Poncelet, S Seidl, A Sokolova, M Widmoser
Online Proc. Workshop on Modern Language Runtimes, Ecosystems, and VMs (MoreVMs), 2018
2018
Langage pour la vérification de modèles par contraintes
P Talbot, CP Sanchez
Treizièmes journées Francophones de Programmation par Contraintes, 2017
2017
Model-based testing real-time and interactive music systems
C Poncelet Sanchez
Paris 6, 2016
2016
Model-Based Testing Real-Time and Interactive Music Systems.(Tests basés sur Modèles pour systèmes interactifs musicaux).
CP Sanchez
Pierre and Marie Curie University, Paris, France, 2016
2016
Offline methods of conformance testing for Antescofo
C Poncelet, F Jacquemard
IRCAM; INRIA Paris-Rocquencourt; INRIA, 2015
2015
Generation de tests de conformite pour un systeme musical interactif temps-reel
C Poncelet
MSR'13, 2013
2013
Environnement de test pour un système temps-réel de performance en musique mixte
CP Sanchez
Université Pierre et Marie Curie (UPMC), 2013
2013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–16