Articles in Scholarly Journals [Incomplete List]

1. Translating discrete-time simulink to lustre
   ACM Transactions on Embedded Computing Systems, vol. 4, no. 4, pp. 779–818, 2005
2. Introduction to the special issue
   ACM SIGBED Review, vol. 2, no. 4, p. .1, 2005
3. Embedded systems education
   ACM SIGBED Review, vol. 2, no. 4, pp. 1–4, 2005
4. From simulink to SCADE/lustre to TTA
   ACM SIGPLAN Notices, vol. 38, no. 7, p. 153, 2003
5. The synchronous languages 12 years later
   Proceedings of the IEEE, vol. 91, no. 1, pp. 64–83, 2003
6. Timed regular expressions
   Journal of the ACM, vol. 49, no. 2, pp. 172–206, 2002
7. Automatic distribution of reactive systems for asynchronous networks of processors
   IEEE Transactions on Software Engineering, vol. 25, no. 3, pp. 416–427, 1999
8. A Co-iterative Characterization of Synchronous Stream Functions
   Electronic Notes in Theoretical Computer Science, vol. 11, pp. 1–21, 1998
9. Synchronous Kahn networks
   ACM SIGPLAN Notices, vol. 31, no. 6, pp. 226–238, 1996
10. Clocks in dataflow languages
    Theoretical Computer Science, vol. 94, no. 1, pp. 125–140, 1992
11. An a priori approach to the evaluation of signature analysis efficiency
    IEEE Transactions on Computers, vol. 40, no. 9, pp. 1068–1071, 1991
12. The synchronous data flow programming language LUSTRE
    Proceedings of the IEEE, vol. 79, no. 9, pp. 1305–1320, 1991
13. A functional model for describing and reasoning about time behaviour of computing systems
    Acta Informatica, vol. 22, no. 6, pp. 595–627, 1986