Published or Submitted Papers

1. O. Åkerlund and S. Nadjm-Tehrani and G. Stålmarck. "Integration of Formal Methods into System Safety and Reliability Analysis." 17th International Systems Safety Conference, ISSC'99, Orlando, August 99.
2. A. Benveniste, B. Caillaud and P. Le Guernic. "Compositionality in dataflow synchronous languages: specification and distributed code generation." Information and Computation, to appear.
3. S. Bensalem, P. Caspi, C. Dumas, and C. Parent-Vigouroux. "A methodology for proving control programs with Lustre and PVS." In Dependable Computing for Critical Applications, DCCA-7, San Jose. IEEE Computer Society, January 1999.
4. L. Arditi, A. Bouali, H. Boufaied, G. Clavé, M. Hadj-Chaib, R. de Simone. "Using Esterel and Formal Methods to Increase the Confidence in the Functional Validation of a Commercial DSP." FMICS'99 Workshop , Trento, June 1999.
5. A. Benveniste, B. Caillaud and P. Le Guernic. "From synchrony to asynchrony." In J.C.M. Baeten and S. Mauw, editors, CONCUR'99, Concurrency Theory, 10th International Conference, vol. 1664 of Lecture Notes in Computer Science, 162-177. Springer Verlag, 1999.
6. G. Berry and E. Sentovich. "An implementation of constructive synchronous programs in POLIS". To appear in ``Design Automation for Embedded Systems".
7. L. Besnard, P. Bournai, T. Gautier, N. Halbwachs, S. Nadjm-Tehrani, A. Ressouche. "Design of a multi-formalism application and distribution in a data-flow context: an example." 12th International Symposium on Languages for Intensional Programming, ISLIP' 99, NCSR Demokritos, Athens, Greece, Juin 1999.
8. N. Halbwachs and P. Raymond. "Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing." Asian Computing Science Conference, ASIAN'99. Phuket (Thailand), December 1999.
9. B. Jeannet, N. Halbwachs, and P. Raymond. "Dynamic Partitioning in Analyses of Numerical Properties." Static Analysis Symposium, SAS'99. Venice (Italy), September 1999. LNCS 1694.
10. M. Kerboeuf, D. Nowak, J.-P. Talpin. "The steam-boiler problem in SIGNAL-COQ." Research report Irisa, No 3773, October 1999. Submitted to TACAS'99.
11. A. Kountouris, C. Wolinski. "Combining Speculative Execution and Conditional Resource Sharing to Efficiently Schedule Conditional Behaviors." ASP-DAC'99, Hong Kong, January 1999.
12. A. Kountouris, C. Wolinski. "High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs." EUROMICRO'99, IEEE Computer Society Press, Milan0, Italiy August 1999.
13. A. Kountouris, C. Wolinski. " Hierarchical conditional dependency graphs for mutual exclusiveness identification." 12th International Conference on VLSI Design, Goa, India, January 1999.
14. J.C. Le Lann, C. Wolinski. "Load Balancing and Functional Unit Assignment in High-Level Synthesis." SCI'99/ISAS'99, Orlando, Florida, August 1999.
15. H. Marchand, M. Samaan. "On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology." World Congress on Formal Methods (FM'99), LNCS 1709, Toulouse, France, October 1999.
16. H. Marchand, M. Le Borgne. "The Supervisory Control Problem of Discrete Event Systems using polynomial Methods." Research report Irisa, No1271, October 1999.
17. H. Marchand, P. Bournai, M. Le Borgne, and P. Le Guernic. "Incremental design of automatic discrete-event controllers in the signal environment." Submitted to Discrete Event Dynamical Systems., 1999.
18. H. Marchand and S. Pinchinat. "Supervisory control problem using symbolic tech niques." Submitted. to 2000 American Control Conference, 1999.
19. S. Nadjm-Tehrani and O. Åkerlund. "Combining Theorem Proving and Continuous Models in Synchronous Design." FM'99, World Congress on Formal Methods, Volume II, LNCS 1709. September 99.
20. S. Nadjm-Tehrani. "Integration of Analog and Discrete Synchronous Design." Second international workshop on Hybrid Systems: Computation and Control, LNCS 1569. March 99.
21. D. Nowak. "Spécification et preuve de systèmes réactifs." Thèse de l'Université de Rennes 1, IFSIC, October 1999.
22. D. Nowak, J.P. Talpin, P. Le Guernic. "Synchronous Structures." Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS 1664, August 99.
23. S. Pinchinat, H. Marchand, M. Le Borgne. "Symbolic Abstractions of Automata and their application to the Supervisory Control Problem." Research report Irisa, No 1279, November 1999.
24. J.-P. Talpin, A. Benveniste, P. LeGuernic. "Asynchronous deployment of synchronous transition systems." Research report Irisa, No 1269, October 1999.
25. S. Tudoret. "Signal-simulink: Hybrid system co-simulation." Linköpings University E-press, 1999. To appear as electronic publication.