• Home
  • Clement Poncelet
Clement Poncelet

Clement Poncelet

Phd.Sc
Looking for a new position

About

15
Publications
821
Reads
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
21
Citations
Introduction
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.
Additional affiliations
September 2019 - September 2021
Uppsala University
Position
  • PostDoc Position
Description
  • Tailoring Hybrid Fuzzing to Expose Vulnerabilities.
September 2017 - September 2018
University of Salzburg
Position
  • PostDoc Position
Description
  • A Tiny Symbolic Execution Engine.
September 2016 - September 2017
Sorbonne Université
Position
  • Professor (Assistant)
Education
September 2013 - November 2016
Ecole Doctorale Informatique, Télécommunications et Electronique - Paris
Field of study
  • Computer Science

Publications

Publications (15)
Conference Paper
Full-text available
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...
Thesis
Full-text available
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...
Article
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...
Article
Full-text available
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...
Article
Full-text available
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...
Conference Paper
Full-text available
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...
Article
Full-text available
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...
Article
Full-text available
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.
Article
Full-text available
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...

Network

Cited By

Projects

Projects (3)
Project
Enhance fuzzing tools to discover deeper IoT vulnerabilities.
Project
Extend the Selfie RISC-U simulator with a complete symbolic analysis.