TSMdiff 2026 — 2026
TSM-diff is a new procedure for comparing digital music scores in various encoding such as MusicXML or MEI, based on a graph-structured abstract intermediate representation called Tree Score Model (TSM). Read more
Software Development
PSE 2023 — 2025
PSE (Engraving oriented Pitch Spelling) is a tool for the joint evaluation of note names from their pitches, as well as local and global tones (developed by Augustin Bouquillard and Florent Jacquemard). Read more
TSM 2022 — 2025
TSM (Tree Score Model) is a library implementing an abstract tree-structured model of music notation, used as an Intermediate Representation in applications related to the processing of written music. in particular Automated Music Transcription (see qparse). Read more
scorediff 2019 — 2019
A tool to compute the differences between two music scores, given in XML encoding (MusicXML or MEI),
and visualize these differences side-to-side. Read more
RQ 2016
RQ is an environement for rhythm quantization developed by Adrien Ycart, integrated into the graphical programming environment OpenMusic, a state of the art system in computer assisted music composition developed at and distributed by Ircam. Read more
Antescofo Realtime Testing Environment 2014 — 2017
This testing framework has been developed by Clement Poncelet-Sanchez during its PhD, in the context of the development of the score-based Interactive Music System (IMS) Antescofo by team Mutant at Ircam. Read more
Antescofo 2012 — 2017
Antescofo (main developper Arshia Cont) is a polyphonic Score Following system for mixed music live performance (involving computers and analog instruments). Read more
TACE 2006 — 2007
TACE is an OCaml library implementing procedures for the construction and decision of several classes of Tree Automata with Constraints of Equality modulo Equational Theories. Read more
Java Card 2000 — 2002
I have worked at the company Trusted Logic, on the development and certification of software components for embedded systems, in particular smartcards and payment terminals. Read more
CASRUL 1999 — 2000
I developed at Inria Nancy the first version of the system CASRUL, a security protocol verification tool based on deduction rules. Read more