accueil

 carte
 

Misc


haut

 

2000

  1. T. Gautier, P. Le Guernic.
    SCADE-SIGNAL languages Compatibility.  May 2000.
  2. T. Le Sergent, J.L. Camus, F. Dupont, T. Gautier, P. Le Guernic, H. Hungar, K. Winkelmann, O. Shtrichman, M. Cohen.
    ASDE V0.9 specification.  June 2000.

haut

 

1999

  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.

haut

 

1998

  1. J.R. Beauvais, R. Houdebine, P. LeGuernic, E. Rutten, T. Gautier.
    Task I1.1A: StateMate integration - A translation of Statecharts and Activitycharts into Signal equations.  Esprit project EP 20897: Sacres, April 1998.
  2. A. Benveniste, T. Gautier, F. Jiménez, P. Le Guernic, S. Machard, E. Rutten.
    Méthodes de distribution de code Signal et Dc+.  Convention INRIA - EdF P33/6A4575/EP871, June 1998.
  3. A. Benveniste, H. Brix, W. Damm, F. Dupont, A. Grazebrook, H. Holberg, P. Le Guernic, J. Rowlands, E. Rutten, E. Sefton, K. Winkelmann.
    The Sacres design methodology for safety critical systems.  Esprit project EP 20897: Sacres, November 1998.
  4. SACRES Consortium.
    Task I1.1A: StateMate integration - the stm2dcplus translator.  Esprit project EP 20897: Sacres, April 1998.
  5. SYRF Consortium.
    Deliverable 4/5.1 - Integrating synchrony & asynchrony: fundamentals.  Esprit project 22703: Syrf, October 1998.
  6. SYRF Consortium.
    Deliverable 4/5.2 - Integrating synchrony & asynchrony: distributed code generation.  Esprit project 22703: Syrf, October 1998.
  7. T. Gautier, X. Méhaut.
    SSL Implementation: DC+ => SSL translation.  Esprit project EP 20897: Sacres, November 1998.
  8. S. Pinchinat, O Kouchnarenko, H. Marchand, M. Le Borgne.
    Deliverable 3.1.2: Symbolic abstraction of automata: intensional Labeled Transition Systems, symbolic bisimulation.  Esprit project 22703: Syrf, October 1998.

haut

 

1997

  1. P. Bournai, M. Le Borgne, H. Marchand, P. Le Guernic.
    Démonstrateur de synthèse de systèmes d'automatismes décrits en Signal.  Rapport de fin de contrat, Convention Inria - EdF No 196C5030031307 01 1, July 1997.
  2. SACRES Consortium.
    DC+ syntactic level: specification.  Esprit project EP 20897: Sacres, April 1997.
  3. SACRES Consortium.
    DC+ graph level: specification.  Esprit project EP 20897: Sacres, April 1997.
  4. SACRES Consortium.
    Deliverable Report C1.A: Code Generation.  Esprit project EP 20897: Sacres, February 1997.
  5. SACRES Consortium.
    Deliverable Report C2.A: Mapping Code To Architecture.  Esprit project EP 20897: Sacres, September 1997.
  6. SACRES Consortium.
    Deliverable Report I3.B: SacresSystem Architecture Definition.  Esprit project EP 20897: Sacres, September 1997.
  7. SACRES Consortium.
    Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems.  Esprit project EP 20897: Sacres, April 1997.
  8. SACRES Consortium.
    The Semantics Foundations of Sacres.  Esprit project EP 20897: Sacres, April 1997.
  9. SACRES Consortium.
    The Declarative Code DC+, Version 1.4.  Esprit project EP 20897: Sacres, November 1997. (postscript)
  10. H. Marchand, M. Le Borgne.
    Systèmes dynamiques polynomiaux sous observations partielles.  Rapport de fin de contrat, Convention Inria - EdF No P33L99/6A1821/EP819, October 1997.

haut

 

1996

  1. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre.
    A Calculus of Stochastic Systems and the Signalea formalism.  May 1996.
  2. SACRES Consortium.
    Deliverable Report B1.A.  February 1996.
  3. SACRES Consortium.
    Deliverable Report B2.A: Architecture Baseline.  May 1996.
  4. SACRES Consortium.
    The Declarative Code DC+, version 1.2.  May 1996.
  5. SACRES Consortium.
    Deliverable Report B3.A: New Technologies Baseline.  May 1996.
  6. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I. Smarandache.
    Le projet CAIRN: vers la conception d'architectures à partir de Signal\ et Alpha.  June 1996.
  7. H. Marchand.
    Intégration de Sigali dans l'environnement Signal.  Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, December 1996.
  8. H. Marchand, M. Le Borgne.
    Extension de la théorie de synthèse de contrôleurs sur des systèmes dynamiques polynômiaux.  Convention Inria - EdF No M64/7C8321/E5/11, June 1996.

haut

 

1995

  1. M. Le Borgne, H. Marchand.
    Méthodologie de conception d'automatismes séquentiels.  Convention Inria - EdF No M64/7C8321/E5/11, November 1995.
  2. H. Marchand, M. Le Borgne, M. Samaan.
    Méthodes de vérification et de synthèse sur des systèmes dynamiques polynômiaux, appliquées au modèle physique d'un poste de transformation électrique.  Convention Inria - EdF No M64/7C8321/E5/11, July 1995.

haut

 

1994

  1. H. Marchand, E. Rutten, M. Samaan.
    Description, spécification et validation d'un automatisme de poste de transformation électrique.  Convention Inria - EdF No M64/7C8321/E5/11, December 1994.

haut

 

1993

  1. J-P. Paris, G. Berry, F. Mignard, P. Couronné, P. Caspi, N. Halbwachs, Y. Sorel, A. Benveniste, T. Gautier, P. Le Guernic, F. Dupont, C. Le Maire.
    Projet synchrone : les formats communs des langages synchrones.  Rapport technique IRISA No 157, June 1993.
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