How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
Computer Science Researcher in Formal Method and Software Analysis. My previous research projects focused on: - Hybrid Fuzzers for detecting Vulnerabilities in IoT Network Stacks, - a Symbolic Execution engine with Abstract Domains, and - a Model-Based Testing framework for Interactive Music Systems. Currently looking for a new position.
September 2013 - November 2016
Ecole Doctorale Informatique, Télécommunications et Electronique - Paris
Field of study
- Computer Science
Selfie 1 is a fully self-contained 64-bit implementation of (1) a self-compiling compiler written in a tiny subset of C called C* targeting a tiny subset of 64-bit RISC-V called RISC-U, (2) a self-executing RISC-U emulator, and (3) a self-hosting hypervisor that virtualizes the emulated RISC-U machine. Selfie is implemented in a single 10k-line fil...
Can real-time interactive systems be automatically timed tested ?This work proposes an answer to this question by providing a formal model based testing framework for Interactive Music Systems IMS.During performance, IMSs must react in real-time to audio signals from musicians according to the timed requirements of a score. Such goals imply strong...
We present a visual notation framework for real-time, score-based computer music where human musicians play together with electronic processes, mediated by the Antescofo reactive software. This framework approaches the composition and performance of mixed music by displaying several perspectives on the score’s contents. Our particular focus is on d...
The role of an Interactive Music System (IMS) is to accompany musicians during live performances, acting like a real musician. It must react in realtime to audio signals from musicians, according to a timed high-level requirement called mixed score, written in a domain specific language. Such goals imply strong requirements of temporal reliability...
Score-Based Interactive Music Systems are involved in live performances with human musicians, reacting in realtime to audio signals and asynchronous incoming events according to a pre-specified timed scenario called mixed score. Building such a system is a difficult challenge implying strong require- ments of reliability and robustness to unforesee...
The role of an interactive music system (IMS) is to accompany musicians during live performances, like a real musician. It reacts in realtime to audio signals from musicians, according to a timed specification called mixed score, written in a domain specific language. Such goals imply strong requirements of temporal reliability and robustness to un...
The IR has the form of an executable code modeling the expected Antescofo's behavior on a given score. We present here a simplified version of Antescofo's IR suitable for our presentation, leaving features such as thread creation, conditional branching, and variable handling outside of the scope of this paper. In this paper, we define the construct...
This report presents procedures for testing Antescofo, a score-based Interactive Music System (IMS). It describes common Model-Based Test (MBT) vocabulary and presents methodology and use cases.
We describe an intermediate language designed as a medium-level internal representation of programs of the interactive music system Antescofo. This representation is independent both of the Antescofo source language and of the architecture of the execution platform. It is used in tasks such as verification of timings, model-based conformance testin...