Publications 1999

Thèses et HDR

1. J.R. Beauvais.
   Modélisation de StateCharts en Signal pour la conception de systèmes critiques temps-réel.  Thèse de l'Université de Rennes 1, IFSIC, Janvier 1999. (postscript) (abstract)
2. D. Nowak.
   Spécification et preuve de systèmes réactifs.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1999. (postscript) (abstract)
3. 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, Décembre 1999. (postscript)

Articles de journaux

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

Conférences Internationales

1. A. Benveniste, B. Caillaud, P. Le Guernic.
   From synchrony to asynchrony.  CONCUR'99, Concurrency Theory, 10th International Conferenc, Volume 1664 of LNCS, J.C.M. Baeten, S. Mauw (eds.), Springer Verlag, pages 162-177, Août 1999.
2. 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.  Proceedings of The 12th International Symposium on Languages for Intensional Programming, ISLIP' 99, NCSR Demokritos, Athens, Greece, Juin 1999. (postscript) (abstract)
3. F. Besson, T. Jensen, J.-P. Talpin.
   Timed polyhedra analysis for synchronous languages.  Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), LNCS volume 1664, Springer Verlag, Août 1999. (postscript)
4. T. Gautier, P. Le Guernic.
   Code generation in the SACRES project.  Towards System Safety, Proceedings of the Safety-critical Systems Symposium, SSS'99, Springer, Huntingdon, UK, Février 1999. (postscript) (abstract)
5. F. Jiménez, E. Rutten.
   A synchronous model of the PLC programming language ST.  Proceedings of the Work In Progress session, 11th Euromicro Conference on Real Time Systems, ERTS'99, pages 21--24, York, England, Juin 1999. (postscript) (abstract)
6. A. Kountouris, C. Wolinski.
   Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification.  12th International Conference on VLSI Design, Goa, India, Janvier 1999.
7. A. Kountouris, C. Wolinski.
   Combining Speculative Execution and Conditional Resource Sharing to Efficiently Schedule Conditional Behaviors.  ASP-DAC'99, Hong Kong, Janvier 1999.
8. A. Kountouris, C. Wolinski.
   High-level Pre-synthesis Optimization Steps using Hierarchical Conditional Dependency Graphs.  Proceedings of the EUROMICRO'99, IEEE Computer Society Press, Milan, Italie, Août 1999.
9. J.C. Le Lann, C. Wolinski.
   Load Balancing and Functional Unit Assignment in High-Level Synthesis.  Proceedings of the SCI'99/ISAS'99, Orlando, Floride, Août 1999.
10. 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), Volume 1709 of LNCS, pages 1605-1624, Toulouse, France, Octobre 1999. (postscript) (abstract)
11. D. Nowak, J.P. Talpin, P. Le Guernic.
    Synchronous Structures.  Proceedings of the 10th International Conference on Concurrency Theory (CONCUR'99), Volume 1664 of LNCS, Springer Verlag, Août 1999. (postscript) (abstract)
12. I. Smarandache, T. Gautier, P. Le Guernic.
    Validation of Mixed Signal-Alpha Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.  World Congress on Formal Methods (FM'99), Volume 1709 of LNCS, pages 1364-1383, Toulouse, France, Octobre 1999. (postscript) (abstract)

Conférences Nationales

1. J.R. Beauvais, R. Houdebine, Y.M. Tang, P. Le Guernic, E. Rutten, T. Gautier.
   Une modélisation de StateCharts et ActivityCharts en Signal.  Actes du 2ème Congrès sur la Modélisation des Systèmes Réactifs, MSR'99, Cachan, Mars 1999. (postscript) (abstract)
2. F. Jiménez, E. Rutten.
   Modélisation synchrone de standards de programmation de systèmes de contrôle.  Actes de la Journée d'études sur les Nouvelles Percées dans les Langages pour l'Automatique, Amiens, Novembre 1999. (postscript) (abstract)

Rapports de recherche

1. A. Benveniste, P. Caspi.
   Distributing synchronous programs on a loosely synchronous, distributed architecture.  Rapport de Recherche Irisa, No1289, Décembre 1999. (postscript) (abstract)
2. A. Benveniste, B. Caillaud, P. Le Guernic.
   From synchrony to asynchrony.  Rapport de Recherche Irisa, No1233, Mars 1999. (postscript) (abstract)
3. M. Kerboeuf, D. Nowak, J.-P. Talpin.
   The steam-boiler problem in SIGNAL-COQ.  Rapport de Recherche Irisa / Inria-Rennes, No3773, Octobre 1999. (postscript) (abstract)
4. H. Marchand, M. Le Borgne.
   The Supervisory Control Problem of Discrete Event Systems using polynomial Methods.  Rapport de Recherche Irisa, No1271, Octobre 1999. (postscript) (abstract)
5. S. Pinchinat, H. Marchand, M. LeBorgne.
   Symbolic Abstractions of Automata and their application to the Supervisory Control Problem.  Rapport de Recherche Irisa, No1279, Novembre 1999. (postscript) (abstract)
6. J.-P. Talpin, A. Benveniste, P. LeGuernic.
   Asynchronous deployment of synchronous transition systems.  Rapport de Recherche Irisa, No1269, Octobre 1999. (postscript) (abstract)
7. J.-P. Talpin, A. Benveniste, B. Caillaud, P. LeGuernic.
   Hierarchic Normal Forms for desynchronization.  Rapport de Recherche Irisa, No1288, Décembre 1999. (postscript) (abstract)
8. S. Tudoret.
   Signal-Simulink : Hybrid System Co-simulation.  Rapport de Recherche Linköping, No20, Décembre 1999. (postscript) (abstract)

Divers

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, Octobre 1999.

Webmaster : epatr_webmaster@irisa.fr Ces pages sont créées automatiquement par le programme bib2html du projet Vista de l'IRISA-INRIA Rennes