Distributed Timed Automata with Independently Evolving Clocks, Proc. of the 19th Int. Conf. on Concurrency Theory, pp.82-97, 2008. ,
DOI : 10.1007/978-3-540-85361-9_10
URL : https://hal.archives-ouvertes.fr/hal-01089524
Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.592-601, 1993. ,
DOI : 10.1145/167088.167242
Synth??se de contraintes temporis??es pour une architecture d'automatisation en r??seau, Actes du 7ème Colloque sur la Modélisation des Systèmes Réactifs (MSR), pp.1049-1064, 2009. ,
DOI : 10.3166/jesa.43.1049-1064
AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA, International Journal of Foundations of Computer Science, vol.20, issue.05, pp.819-836, 2009. ,
DOI : 10.1142/S0129054109006905
Proving the Properties of Communicating Imperfectly-Clocked Synchronous Systems, Proc. of the 13th Int. Symposium on Static Analysis (SAS), pp.370-386, 2006. ,
DOI : 10.1007/11823230_24
Anticipatory Synchronization and Control of Interactive Parameters in Computer Music, Proc. of Int. Comp. Music Conference (ICMC), 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00694803
« A coupled duration-focused architecture for realtime music to score alignment, pp.974-987, 2010. ,
« An On-Line Algorithm for Real-Time Accompaniment, Proc. of the Int. Comp. Music Conf. (ICMC), pp.193-198, 1984. ,
« Stratégies de synchronisation et gestion des variables pour l'accompagnement musical automatique, Master ATIAM, 2011. ,
« The Synthetic Performer in the Context of Live Performance, Proceedings of the ICMC, pp.199-200, 1984. ,
The worst-case execution-time problem???overview of methods and survey of tools, ACM Transactions on Embedded Computing Systems, vol.7, issue.3, pp.36-37, 2008. ,
DOI : 10.1145/1347375.1347389