Follow
Clément Poncelet
Clément Poncelet
MTB 111
Verified email at it.uu.se - Homepage
Title
Cited by
Cited by
Year
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
132015
A visual framework for dynamic mixed music notation
G Burloiu, A Cont, C Poncelet
Journal of New Music Research 46 (1), 54-73, 2017
52017
Model-based testing for building reliable realtime interactive music systems
C Poncelet, F Jacquemard
Science of Computer Programming 132, 143-172, 2016
52016
Test methods for score-based interactive music systems
CP Sanchez, F Jacquemard
ICMC SMC 2014, 2014
42014
Test methods for score-based interactive music systems
CP Sanchez, F Jacquemard
ICMC SMC 2014, 2014
42014
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
32018
An automatic test framework for interactive music systems
F Jacquemard, C Poncelet
Journal of New Music Research 45 (2), 87-100, 2016
22016
Compilation of the intermediate representation v1
C Poncelet, F Jacquemard
IRCAM; INRIA Paris-Rocquencourt; INRIA, 2015
12015
Antescofo Intermediate Representation
F Jacquemard, CP Sanchez
arXiv preprint arXiv:1404.7335, 2014
12014
Symbolic Execution in Selfie-a first step
C Poncelet, C Kirsch
Klee Workshop 2018, 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
The system can't perform the operation now. Try again later.
Articles 1–16