Publications 1999

Academic Journals

1. A. Benveniste, B. Caillaud, P. Le Guernic. Compositionality in dataflow synchronous languages: specification & distributed code generation. Information and Computation, 1999.

International Conferences

1. F. Jiménez, E. Rutten. Modélisation synchrone de standards de programmation de systèmes de contrôle. In Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, November 1999.
2. H. Marchand, M. Samaan. On the Incremental Design of a Power Transformer Station Controller using Controller Synthesis Methodology. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1605-1624, Toulouse, France, October 1999.
3. I. Smarandache, T. Gautier, P. Le Guernic. Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. In World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, Pages 1364-1383, Toulouse, France, October 1999.
4. A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony. In CONCUR'99, Concurrency Theory, 10th International Conferenc, Volume 1664 of LNCS, J.C.M. Baeten, S. Mauw (eds.), Pages 162-177, August 1999.
5. F. Besson, T. Jensen, J.-P. Talpin. Timed polyhedra analysis for synchronous languages. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS volume 1664, August 1999.
6. A. Kountouris, C. Wolinski. High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs. In Proceedings of the EUROMICRO'99, Milan, Italie, August 1999.
7. J.C. Le Lann, C. Wolinski. Load Balancing and Functional Unit Assignment in High-Level Synthesis. In Proceedings of the SCI'99/ISAS'99, Orlando, Floride, August 1999.
8. D. Nowak, J.P. Talpin, P. Le Guernic. Synchronous Structures. In Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS, August 1999.
9. 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. In Proceedings of The 12th International Symposium on Languages for Intensional Programming, ISLIP' 99, NCSR Demokritos, Athens, Greece, June 1999.
10. F. Jiménez, E. Rutten. A synchronous model of the PLC programming language ST. In Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, Pages 21-24, York, England, June 1999.
11. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier. Une modélisation de StateCharts et ActivityCharts en Signal. In Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, March 1999.
12. T. Gautier, P. Le Guernic. Code generation in the SACRES project. In Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Huntingdon, UK, February 1999.
13. A. Kountouris, C. Wolinski. Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification. In 12th International Conference on VLSI Design, Goa, India, January 1999.
14. A. Kountouris, C. Wolinski. Combining Speculative Execution and Conditional Resource Sharing to Efficiently Schedule Conditional Behaviors. In ASP-DAC'99, Hong Kong, January 1999.

Research Reports

1. A. Benveniste, P. Caspi. Distributing synchronous programs on a loosely synchronous, distributed architecture. Research Report Irisa, No 1289, December 1999.
2. A. Benveniste, P. Caspi, S. Tripakis. Distributing synchronous programs on a loosely synchronous, distributed architecture. Rapport de recherche Irisa, No 1289, December 1999.
3. J.-P. Talpin, A. Benveniste, B. Caillaud, P. Le Guernic. Hierarchic Normal Forms for desynchronization. Research Report Irisa, No 1288, December 1999.
4. S. Tudoret. Signal-Simulink : Hybrid System Co-simulation. Research Report Linköping, No 20, December 1999. download
5. 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.
6. M. Kerboeuf, D. Nowak, J.-P. Talpin. The steam-boiler problem in SIGNAL-COQ. Research Report Irisa / Inria-Rennes, No 3773, October 1999.
7. H. Marchand, M. Le Borgne. The Supervisory Control Problem of Discrete Event Systems using polynomial Methods. Research Report Irisa, No 1271, October 1999.
8. J.-P. Talpin, A. Benveniste, P. Le Guernic. Asynchronous deployment of synchronous transition systems. Research Report Irisa, No 1269, October 1999.
9. A. Benveniste, B. Caillaud, P. Le Guernic. From synchrony to asynchrony. Research Report Irisa, No 1233, March 1999.

Misc

1. S. Pinchinat, H. Marchand, M. Le Borgne. Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem. Esprit project 22703: Syrf, October 1999.

PhD Thesis

1. E. Rutten. Programmation sûre des systèmes de contrôle/commande: le séquencement de tâches flot de données dans les langages réactifs. Habilitation à diriger des recherches Ifsic, Université de Rennes1, December 1999.
2. D. Nowak. Spécification et preuve de systèmes réactifs. PhD Thesis Université de Rennes 1, IFSIC, October 1999.
3. J.R. Beauvais. Modélisation de StateCharts en Signal pour la conception de systèmes critiques temps-réel. PhD Thesis Université de Rennes 1, IFSIC, January 1999.

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Last update Thu Mar 1 13:58:00 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.