Publications 1998

Thèses et HDR

1. A. Kountouris.
   Outils pour la validation temporelle et l'optimisation de programmes synchrones.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1998. (postscript) (abstract)
2. I. Smarandache.
   Transformations affines d'horloges: application au codesign de systèmes temps-réel en utilisant les langages Signal et Alpha.  Thèse de l'Université de Rennes 1, IFSIC, Octobre 1998. (postscript) (abstract)

Articles de journaux

1. A. Benveniste.
   Compositional and Uniform Modelling of Hybrid Systems.  IEEE Transactions on Automatic Control, 43(4), Avril 1998. (postscript)
2. O. Kouchnarenko, S. Pinchinat.
   Intensional approachs for symbolic methods.  Electronic Notes in Theoretical Computer Science, 18, 1998. (postscript) (abstract)
3. E. Marchand, E. Rutten, H. Marchand, F. Chaumette.
   Specifying and verifying active vision-based robotic systems with the Signal environment.  Int. Journal of Robotics Research, 17(4):418-432, Avril 1998. (postscript)

Chapitres de livre

1. 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)

Conférences Internationales

1. 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)
2. A. Benveniste.
   Synchronous languages and reactive system design.  Proceedings of the 9th IFAC-INCOM'98, Nancy, Juin 1998.
3. A. Benveniste, C. Jard, S. Gaubert.
   Algebraic techniques for timed systems.  CONCUR'98 Concurrency Theory, 9th International Conference, D. Sangiorgi, R. de Simone (eds.), Springer, Lecture Notes in Computer Science 1466, Nice, Septembre 1998. (postscript)
4. A. Benveniste, (AVECM. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier).
   Safety Critical Embedded Systems Design: the SACRES approach.  Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, Septembre 1998. (postscript) (abstract)
5. 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)
6. A. Benveniste, S. Gaubert, C. Jard.
   Monotone rationale series and max-plus algebraic models of real-time systems.  Proceedings of the Fourth Workshop on Discrete Event Systems, IEE, Cagliari, Italy, Août 1998. (postscript)
7. O. Kouchnarenko, S. Pinchinat.
   Labeling Automata with Polynomials.  Proceedings of the International Workshop on Reasoning about Actions (joint to ESSLLI'98), Saarbrueken, Germany, Août 1998. (postscript) (abstract)
8. O. Kouchnarenko, S. Pinchinat.
   Intensional Approaches for Symbolic Methods.  the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency, Brno, Czech Republic, Août 1998.
9. A. Kountouris, C. Wolinski.
   Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing.  Proceedings of Euromicro'98, IEEE Computer Society Press, Vasteras, Sweden, Août 1998. (postscript)
10. A. Kountouris, C. Wolinski.
    False Path Analysis based on a Hierarchical Control Representation.  Proceedings of ISSS'98, Hsinchu, Taiwan, R.O.C., Décembre 1998. (postscript)
11. J.C. Le Lann.
    Operand Isolation Using Signal Clock Calculus.  Proceedings of the 1st UK Low-Power Workshop, Sheffield, UK, Septembre 1998.
12. H. Marchand, M. Le Borgne.
    Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems.  1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998. (postscript) (abstract)
13. H. Marchand, M. Le Borgne.
    On the Optimal Control of Polynomial Dynamical Systems over Z/pZ.  4th IEE International Workshop on Discrete Event Systems, pages 385-390, Cagliari, Italie, Août 1998. (postscript) (abstract)
14. H. Marchand, O. Boivineau, S. Lafortune.
    On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.  1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 734-739, San Diego, California, USA, Octobre 1998. (postscript) (abstract)
15. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
    A Design Environment for Discrete-Event Controllers based on the SIGNAL Language.  1998 IEEE International Conf. On Systems, Man, And Cybernetics, pages 770-775, San Diego, California, USA, Octobre 1998. (postscript) (abstract)
16. D. Nowak, J.R. Beauvais, J.P. Talpin.
    Co-Inductive Axiomatization of a Synchronous Language.  Theorem Proving in Higher Order Logics (TPHOLs'98), Springer, LNCS 1479, pages 387-399, Septembre 1998. (postscript) (abstract)
17. S. Pinchinat, E. Rutten, R.K. Shyamasundar.
    Taxonomy and expressiveness of preemption : a syntactic approach.  Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, Décembre 1998. (postscript) (abstract)
18. J.P. Talpin, D. Nowak.
    A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems.  International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'98), Springer-Verlag, Lecture Notes in Computer Science, Décembre 1998. (postscript)
19. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon.
    BDL, a language of distributed reactive objects.  International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), IEEE Press, Avril 1998. (postscript)

Conférences Nationales

1. P. Le Guernic, S. Machard, E. Rutten.
   Répartition de programmes Signal.  Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, Juin 1998. (postscript) (abstract)
2. J.C. Le Lann.
   Génération automatique de code VHDL à partir de Signal.  Journées AAA98, CEA, Saclay, Janvier 1998.

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. O. Kouchnarenko, S. Pinchinat.
   Intensional Approaches for Symbolic Methods.  Rapport de Recherche Irisa / Inria-Rennes, No3448, Juillet 1998. (postscript) (abstract)
3. H. Marchand, O. Boivineau, S. Lafortune.
   On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.  Rapport de Recherche CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, Juillet 1998. (postscript) (abstract)
4. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon.
   BDL, a language of distributed reactive objects.  Rapport de Recherche Irisa / Inria-Rennes, No3353, Février 1998. (postscript) (abstract)

Divers

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

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