2018
Conference papers
-
- titre
- Selfie: Towards Minimal Symbolic Execution
- auteur
- Alireza Abyaneh, Simon Bauer, Christoph Kirsch, Philipp Mayer, Christian Mösl, Clement Poncelet, Sara Seidl, Ana Sokolova, Manuel Widmoser
- article
- MoreVMs 2018, Apr 2018, Nice, France. pp.70 - 77
- Accès au texte intégral et bibtex
-
Poster communications
-
- titre
- Symbolic Execution in Selfie -a first step
- auteur
- Clement Poncelet, Christoph Kirsch
- article
- Klee Workshop 2018, Apr 2018, Londres, United Kingdom
- Accès au texte intégral et bibtex
-
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
- Accès au texte intégral et bibtex
-
2016
Journal articles
-
- 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
-
-
- 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
- Accès au texte intégral et bibtex
-
-
- 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
- Accès au texte intégral et 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
-
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. ⟨10.1145/2695664.2695804⟩
- Accès au texte intégral et bibtex
-
Reports
-
- 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
-
-
- 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
-
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
- Accès au texte intégral et 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
-
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
-
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
-
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
-
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
-
