accueil

 carte
 

Divers


haut

 

2000

  1. 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.  Juin 2000.
  2. T. Gautier, P. Le Guernic.
    SCADE-SIGNAL languages Compatibility.  Mai 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, Octobre 1999.

haut

 

1998

  1. T. Gautier, X. Méhaut.
    SSL Implementation: DC+ => SSL translation.  Esprit project EP 20897: Sacres, Novembre 1998.
  2. 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, Novembre 1998.
  3. 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, Octobre 1998.
  4. SYRF Consortium.
    Deliverable 4/5.1 - Integrating synchrony & asynchrony: fundamentals.  Esprit project 22703: Syrf, Octobre 1998.
  5. SYRF Consortium.
    Deliverable 4/5.2 - Integrating synchrony & asynchrony: distributed code generation.  Esprit project 22703: Syrf, Octobre 1998.
  6. 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, Juin 1998.
  7. SACRES Consortium.
    Task I1.1A: StateMate integration - the stm2dcplus translator.  Esprit project EP 20897: Sacres, Avril 1998.
  8. 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, Avril 1998.

haut

 

1997

  1. SACRES Consortium.
    The Declarative Code DC+, Version 1.4.  Esprit project EP 20897: Sacres, Novembre 1997. (postscript)
  2. H. Marchand, M. Le Borgne.
    Systèmes dynamiques polynomiaux sous observations partielles.  Rapport de fin de contrat, Convention Inria - EdF No P33L99/6A1821/EP819, Octobre 1997.
  3. SACRES Consortium.
    Deliverable Report C2.A: Mapping Code To Architecture.  Esprit project EP 20897: Sacres, Septembre 1997.
  4. SACRES Consortium.
    Deliverable Report I3.B: SacresSystem Architecture Definition.  Esprit project EP 20897: Sacres, Septembre 1997.
  5. 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, Juillet 1997.
  6. SACRES Consortium.
    DC+ syntactic level: specification.  Esprit project EP 20897: Sacres, Avril 1997.
  7. SACRES Consortium.
    DC+ graph level: specification.  Esprit project EP 20897: Sacres, Avril 1997.
  8. SACRES Consortium.
    Deliverable Report I2.A: The Sacres Design Methodology for Safety Critical Systems.  Esprit project EP 20897: Sacres, Avril 1997.
  9. SACRES Consortium.
    The Semantics Foundations of Sacres.  Esprit project EP 20897: Sacres, Avril 1997.
  10. SACRES Consortium.
    Deliverable Report C1.A: Code Generation.  Esprit project EP 20897: Sacres, Février 1997.

haut

 

1996

  1. H. Marchand.
    Intégration de Sigali dans l'environnement Signal.  Rapport de fin de contrat, Convention Inria - EdF No M64/7C8321/E5/11, Décembre 1996.
  2. 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, Juin 1996.
  3. 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.  Juin 1996.
  4. SACRES Consortium.
    Deliverable Report B2.A: Architecture Baseline.  Mai 1996.
  5. SACRES Consortium.
    The Declarative Code DC+, version 1.2.  Mai 1996.
  6. SACRES Consortium.
    Deliverable Report B3.A: New Technologies Baseline.  Mai 1996.
  7. D. Chauveau, A. Benveniste, B.C. Levy, E. Fabre.
    A Calculus of Stochastic Systems and the Signalea formalism.  Mai 1996.
  8. SACRES Consortium.
    Deliverable Report B1.A.  Février 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, Novembre 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, Juillet 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, Décembre 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, Juin 1993.
Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.

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