accueil

 carte
 

Publications 1999


haut

 

PhD Theses

  1. 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. (postscript) (abstract)
  2. D. Nowak.
    Spécification et preuve de systèmes réactifs.  Phd thesis, Université de Rennes 1, IFSIC, October 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, December 1999. (postscript)

haut

 

Journals

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

haut

 

International Conferences

  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, August 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, June 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, August 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, February 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, June 1999. (postscript) (abstract)
  6. A. Kountouris, C. Wolinski.
    Hierarchical Conditional Dependency Graphs for Mutual Exclusiveness Identification.  12th International Conference on VLSI Design, Goa, India, January 1999.
  7. A. Kountouris, C. Wolinski.
    Combining Speculative Execution and Conditional Resource Sharing to Efficiently Schedule Conditional Behaviors.  ASP-DAC'99, Hong Kong, January 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, August 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, August 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, October 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, August 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, October 1999. (postscript) (abstract)

haut

 

National Conferences

  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, March 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, November 1999. (postscript) (abstract)

haut

 

Research reports

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

haut

 

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.
The documents contained in these directories are included by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors and by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will 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.

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