accueil

 carte
 

Publications de Thierry Gautier


haut

 

Articles de Journaux

  1. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Proceedings of the IEEE, 79(9):1321-1336, Septembre 1991. (postscript)
  2. P. Le Guernic, B. Chéron, T. Gautier, C. Le Maire.
    Développer en langage Signal.  Annales des Télécommunications, 46(1-2):13-24, Janvier 1991. (postscript) (abstract)

haut

 

Chapitres de livres

  1. 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 Intensional Programming II, Based on the Papers at ISLIP '99, M. Gergatsoulis, P. Rondogiannis (eds.), pages 149--167, World Scientific, 2000. (postscript) (abstract)
  2. T. Gautier, P. Le Guernic, P. Quinton, S. Rajopadhye, T. Risset, I Smarandache.
    Projet CAIRN: conception d'architectures à partir de SIGNAL et ALPHA.  in C.T.I. COMETE, CODESIGN Conception conjointe logiciel-matériel, pages 147-169, Eyrolles, Collection Technique et Scientifique des Télécommunications, 1998. (postscript)
  3. P. Le Guernic, T. Gautier.
    Data-Flow to von Neumann: the Signal approach.  in Advanced Topics in Data-Flow Computing, J.L. Gaudiot, L. Bic (eds.), pages 413-438, 1991. (postscript)

haut

 

Conférences Internationales

  1. 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)
  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. 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)
  4. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten.
    Distributed code generation of dataflow synchronous programs: the SACRES approach.  Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), Mai 1998. (postscript) (abstract)
  5. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten.
    A translation of Statecharts into Signal.  Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), IEEE Publ., pages 52-62, Aizu-Wakamatsu, Japan, Mars 1998. (postscript) (abstract)
  6. D. Nowak, J.P. Talpin, T. Gautier, P. Le Guernic.
    An ML-like module system for the synchronous language Signal.  European Conference on Parallel Processing (Euro-Par'97), Springer-Verlag, LNCS 1300, pages 1244-1253, Août 1997. (postscript) (abstract)
  7. P. Aubry, T. Gautier.
    GC: the Data-Flow Graph Format of Synchronous Programming.  Proceedings ACM SIGPLAN Workshop on Intermediate Representations (IR'95), ACM Sigplan Notices, Volume 30, pages 83-93, Mars 1995. (postscript)
  8. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
    Framework and Multi-Formalism: the ASAR Project.  Proceedings of the 4th International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brésil), Novembre 1994.
  9. PROJ. Asar, (P. Aubry, M. Auguin, M. Belhadj, J. Benzakki, Bouguerba, C. T.Carrière, G. Durrieu, T. Gautier, M. Israël, P. LeGuernic, M. Lemaitre, E. Martin, P. Quinton, L. Rideau, F. Rousseau, O.) Sentieys).
    Towards a Multi-Formalism Framework for Architectural Synthesis: the ASAR Project.  Proceedings of the Third International Workshop on Hardware/Software Codesign, IEEE Computer Society Press, pages 25-32, Grenoble, Septembre 1994. (postscript)
  10. A. Benveniste, T. Gautier, P. Le Guernic, G. Berry, F. Mignard, P. Caspi, N. Halbwachs, P. Couronné, F. Dupont, C. LeMaire, J.P. Paris, Y. Sorel.
    Synchronous technology for real-time systems.  RTS'94, Teknea, pages 105-122, 1994. (postscript)
  11. P. Le Guernic, T. Gautier.
    Programming real time applications with SIGNAL.  Proceedings of the first European Control Conference, C. Commault (ed.), pages 1666-1671, 1991.

haut

 

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. 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.  Actes des Séminaires Action Scientifique - Codesign, 1997.
  3. PROJ. ASAR, (P. Aubry, M. Belhadj, TH. Gautier, P. Le Guernic, P. Quinton, C. Dezan, M. Israël, J. M.Benzakki, T. Bouguerba, F. Rousseau, M. Auguin, C. Carrière, Cogniat, G. G.Durrieu, M. Lemaître, E. Martin, O. Sentieys, J.L. Philippe, L. Rideau).
    Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de Centaur : ASAR.  Quatrième Symposium Architectures Nouvelles de Machines, pages 51-62, Irisa, Rennes, Février 1996.
  4. T. Gautier, P. Le Guernic.
    L'environnement de programmation SIGNAL.  Proceedings of RENNES, IRISA, pages 168-175, Avril 1994. (postscript)
  5. T. Gautier, P. Le Guernic.
    L'environnement de programmation SIGNAL.  Proceedings of RENNES Sister Cities Computer Science Research Centers Workshop, pages 168-175, Avril 1991.

haut

 

Rapports de recherche

  1. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier.
    A translation of Statecharts and Activitycharts into Signal equations.  Rapport de Recherche Irisa / Inria-Rennes, No3397, Avril 1998. (postscript) (abstract)
  2. D. Nowak, J.P. Talpin, T. Gautier.
    Un système de modules avancé pour Signal.  Rapport de Recherche Irisa / Inria-Rennes, No3176, Juin 1997. (postscript) (abstract)
  3. T. Gautier, P. LeGuernic, O. Maffeis.
    For a New Real-Time Methodology.  Rapport de Recherche Inria, No2364, Octobre 1994. (postscript) (abstract)
  4. T. Gautier, P. Le Guernic, F. Dupont.
    SIGNAL V4 : manuel de référence.  Rapport de Recherche Irisa, No832, Juin 1994. (postscript)
  5. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic.
    SIGNAL manual.  Rapport de Recherche Irisa / Inria-Rennes, No1969, Septembre 1993. (postscript) (abstract)
  6. T. Gautier, P. Le Guernic.
    Signal V4: Manuel de Référence.  Rapport de Recherche Irisa, 1992.
  7. P. Le Guernic, T. Gautier, M. Le Borgne, C. Le Maire.
    Programming Real-Time Applications with Signal.  Rapport de Recherche Irisa, No582, Avril 1991.
  8. P. Bournai, B. Chéron, T. Gautier, B. Houssais, P. Le Guernic.
    Manuel SIGNAL.  Rapport de Recherche Irisa, No575, Février 1991.

haut

 

Divers

  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.
  3. T. Gautier, X. Méhaut.
    SSL Implementation: DC+ => SSL translation.  Esprit project EP 20897: Sacres, Novembre 1998.
  4. 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.
  5. 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.
  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.  Juin 1996.
  7. 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