accueil

 carte
 

Publications 1998


haut

 

PhD Theses

  1. A. Kountouris.
    Outils pour la validation temporelle et l'optimisation de programmes synchrones.  Phd thesis, Université de Rennes 1, IFSIC, October 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.  Phd thesis, Université de Rennes 1, IFSIC, October 1998. (postscript) (abstract)

haut

 

Journals

  1. A. Benveniste.
    Compositional and Uniform Modelling of Hybrid Systems.  IEEE Transactions on Automatic Control, 43(4), April 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, April 1998. (postscript)

haut

 

Book Chapter

  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)

haut

 

International Conferences

  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, March 1998. (postscript) (abstract)
  2. A. Benveniste.
    Synchronous languages and reactive system design.  Proceedings of the 9th IFAC-INCOM'98, Nancy, June 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, September 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, September 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), May 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, August 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, August 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, August 1998.
  9. A. Kountouris, C. Wolinski.
    Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing.  Proceedings of Euromicro'98, IEEE Computer Society Press, Vasteras, Sweden, August 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., December 1998. (postscript)
  11. J.C. Le Lann.
    Operand Isolation Using Signal Clock Calculus.  Proceedings of the 1st UK Low-Power Workshop, Sheffield, UK, September 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, September 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, August 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, October 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, October 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, September 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, December 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, December 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, April 1998. (postscript)

haut

 

National Conferences

  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, June 1998. (postscript) (abstract)
  2. J.C. Le Lann.
    Génération automatique de code VHDL à partir de Signal.  Journées AAA98, CEA, Saclay, January 1998.

haut

 

Research reports

  1. J.R. Beauvais, R. Houdebine, P. Le Guernic, E. Rutten, T. Gautier.
    A translation of Statecharts and Activitycharts into Signal equations.  Research report Irisa / Inria-Rennes, No3397, April 1998. (postscript) (abstract)
  2. O. Kouchnarenko, S. Pinchinat.
    Intensional Approaches for Symbolic Methods.  Research report Irisa / Inria-Rennes, No3448, July 1998. (postscript) (abstract)
  3. H. Marchand, O. Boivineau, S. Lafortune.
    On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals.  Research report CGR-98-10, Control Group, College of Engineering, Univeristy of Michigan, USA, July 1998. (postscript) (abstract)
  4. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon.
    BDL, a language of distributed reactive objects.  Research report Irisa / Inria-Rennes, No3353, February 1998. (postscript) (abstract)

haut

 

Misc

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