Published or Submitted Papers

1. L. Holenderski and A. Poigné. The Multi-Paradigm Language LEA. Submitted for publication.
2. L. Holenderski. Translating LEA to synchronous components. Arbeitspapiere der GMD, Nr. 1090, 1997.
3. F. Maraninchi and Y. Rémond, "Mode-Automata: About Modes and States in Reactive Systems", Research Report, Verimag, September 1997.
4. M. Bourdellès. The steam boiler controller problem in Esterel and its verification by means of symbolic analysis. Research report Nr. 3285, Inria, October 1997.
5. N. Halbwachs, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2):157-185, August 1997.
6. P. Caspi and M. Pouzet. A co-iterative characterization of synchronous stream functions. Research report nr. 97-07, Vérimag, October 1997.
7. 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, Springer Verlag. Extended version published as IRISA Research Report nr. 1150, November 1997.
8. M. Allemand, F. Bodin, A. Kountouris, P. Le Guernic, J-C. Le Lann, A. Seznac, and J-C. Wolinski. A synchronous approach for hardware design. IRISA Research Report nr. 1131, October 1997.
9. S. Nadjm-Tehrani. Time-Deterministic Hybrid Transition Systems. In Hybrid Systems V, Proceedings of the fifth international workshop on hybrid systems, LNCS, To appear. Springer Verlag, 1998.
10. S. Nadjm-Tehrani and J-E. Strömberg. Verification of Dynamic Properties in an Aerospace application . Formal Methods in System Design, 1998. To appear.