A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.819-836, 1993. ,
DOI : 10.1145/167088.167242
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.3317
Behavioral Cartography of Timed Automata, Proc. of the 4th Int. Conf. on Reachability problems, 2010. ,
Principles of Model Checking, 2008. ,
Systems and Software Verification: Model-Checking Techniques and Tools, 2001. ,
DOI : 10.1007/978-3-662-04558-9
The ESTEREL synchronous programming language and its mathematical semantics, Seminar on Concurrency, pp.389-448, 1985. ,
DOI : 10.1007/3-540-15670-4_19
URL : https://hal.archives-ouvertes.fr/inria-00076230
Robust Reachability in Timed Automata: A??Game-Based??Approach, Proc. of the 39th Int. Colloquium on Automata , Languages and Programming (ICALP), 2012. ,
DOI : 10.1007/978-3-642-31585-5_15
URL : https://hal.archives-ouvertes.fr/hal-01105077
Multiple counters automata, safety analysis and presburger arithmetic ,
DOI : 10.1007/BFb0028751
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.32.6334
Antescofo: Anticipatory Synchronization and Control of Interactive Parameters in Computer Music, Proc. of ICMC, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00694803
A Coupled Duration-Focused Architecture for Real-Time Music-to-Score Alignment, IEEE Transactions on Pattern Analysis and Machine Intelligence, vol.32, issue.6, pp.974-987, 2010. ,
DOI : 10.1109/TPAMI.2009.106
URL : https://hal.archives-ouvertes.fr/hal-00479737
Correct Automatic Accompaniment Despite Machine Listening or Human Errors in Antescofo ,
URL : https://hal.archives-ouvertes.fr/hal-00718854
From authored to produced time in computer-musician interactions, CHI workshop avec le Temps, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00787033
Antescofo: A Domain Specific Language for Realtime Musician-Computer Interaction. Discrete Event Dynamic Systems, 2013. ,
Temporal Analysis of Mixed Intrumental/Electronic Music Scores. http://articles.ircam.fr/textes/Fanchon12a/index A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata, Proc. of the 11th Int. workshop on Hybrid Systems: Computation and Control (HSCC), 2008. ,
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Computing needs time, Communications of the ACM, vol.52, issue.5, pp.70-79, 2009. ,
DOI : 10.1145/1506409.1506426
Considérations (toujours actuelles) sur l'´ etat de la musique en temps réel. Etincelle, le journal de la créationcréation`créationà l'Ircam, 2007. ,
Supercollider: a new real time synthesis language, Proceedings ICMC, 1996. ,
Combining Event and Signal Processing in the MAX Graphical Programming Environment, Computer Music Journal, vol.15, issue.3, pp.68-77, 1991. ,
DOI : 10.2307/3680767
Pure Data, Proc. of ICMC, 1997. ,
Interactive Music Systems: Machine Listening and Composing, 1992. ,
Real-time Csound: Software Synthesis with Sensing and Control, Proceedings ICMC, 1990. ,