Published or Submitted Papers (to be completed)

1. P. Raymond, D. Weber, X. Nicollin, and N. Halbwachs. Automatic Testing of Reactive Systems. 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 1998.
2. F. Maraninchi and Y. Rémond. Mode-Automata: About Modes and States for Reactive Systems. European Symposium on Programming, ESOP'98. Lisbon, Portugal, April 1998.
3. P. Caspi and M. Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. Proceedings of the Workshop on Coalgebraic Methods in Computer Science, Lisbon. Electronic Notes in Theoretical Computer Science, volume 11, March 1998. Available at http://www.elsevier.nl/locate/entcs.
4. S. Bensalem, P. Caspi, C. Dumas, and C. Parent-Vigouroux. A methodology for proving control programs with Lustre and PVS. Dependable Computing for Critical Applications, DCCA-7. San Jose, January 99. IEEE Computer Society.
5. O. Kouchnarenko and S. Pinchinat. Labeling Automata with Polynomials. 10th European Summer School in Logic, Language and Information. 1998.
6. O. Kouchnarenko and S. Pinchinat. Intensional Approachs for Symbolic Methods. MCFS Workshop on Algorithms and Tools. Electronic Notes in Theoretical Computer Science, vol.18, 1998.
7. M. Sheeran and A. Boraelv. How to prove properties of recursively defined circuits using Stålmarck's method. Int. Workshop on Formal Techniques for Hardware and Hardware-like Systems (associated with Mathematics of Program Construction Conference), Marstrand, June 1998.
8. M. Lin, J. Malec, and S. Nadjm-Tehrani. On Semantics of Reactive Rule-based Systems. Advances in Computing Science, proceedings of ASIAN'97. Katmandhu, Nepal, December 1997. LNCS 1345, Springer Verlag, pages 379-380.
9. S. Nadjm-Tehrani. Integration of Analog and Discrete Synchronous Design, Extended abstract. Submitted for publication.
10. A. Benveniste, P. Le Guernic, and P. Aubry. Compositionality in dataflow synchronous languages: specification and code generation. Malente Workshop on Compositionality, W.P. de Roever, A. Pnueli Eds., September 1997, to appear in LNCS.
11. A. Benveniste, P. Le Guernic, B. Caillaud, and P. Aubry. Compositionality in dataflow synchronous languages: specification and code generation, (extended version of [*] with a detailed study of desynchronisation), submitted to Information & Computation.
12. A. Benveniste Safety Critical Embedded Systems Design: the SACRES approach. 3 hour course given at FTRTFT'98 school on the whole SACRES project, manuscript available.
13. T. Gautier and P. Le Guernic Code generation in the SACRES project. Safety-critical Systems Symposium (SSS'99), Huntingdon, 1999, to appear in LNCS.
14. A. Benveniste, C. Jard, S. Gaubert. Algebraic techniques for timed systems. Concur'98, Nice, France, Sept. 98, LNCS 1466.
15. A. Benveniste , S. Gaubert, and C. Jard. Monotone rational series and max-plus algebraic models of real-time systems, Wodes'98, August 1998.