Publications 1998

Thèses de doctorat

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

Articles de journaux

1. O. Kouchnarenko, S. Pinchinat. Intensional approachs for symbolic methods. Electronic Notes in Theoretical Computer Science, 18, 1998.
2. A. Benveniste. Compositional and Uniform Modelling of Hybrid Systems. IEEE Transactions on Automatic Control, 43(4), Avril 1998.
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.

Chapitres de livres

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, pp. 147-169, Eyrolles, Collection Technique et Scientifique des Télécommunications, 1998.

Conférences internationales

1. A. Kountouris, C. Wolinski. False Path Analysis based on a Hierarchical Control Representation. In Proceedings of ISSS'98, Hsinchu, Taiwan, R.O.C, Décembre 1998.
2. S. Pinchinat, E. Rutten, R.K. Shyamasundar. Taxonomy and expressiveness of preemption : a syntactic approach. In Proceedings of the Asian Computing Science Conference, ASIAN'98, LNCS, Manila, The Philippines, Décembre 1998.
3. J.P. Talpin, D. Nowak. A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. In International Conference on Foundations of Software Technology and Theoretical Computer Science (FST & TCS'98), Décembre 1998.
4. H. Marchand, O. Boivineau, S. Lafortune. On the Synthesis of Optimal Schedulers in Discrete Event Control Problems with Multiple Goals. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 734-739, San Diego, California, USA, Octobre 1998.
5. H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic. A Design Environment for Discrete-Event Controllers based on the SIGNAL Language. In 1998 IEEE International Conf. On Systems, Man, And Cybernetics, Pages 770-775, San Diego, California, USA, Octobre 1998.
6. A. Benveniste, C. Jard, S. Gaubert. Algebraic techniques for timed systems. In CONCUR'98 Concurrency Theory, 9th International Conference, D. Sangiorgi, R. de Simone (eds.), Lecture Notes in Computer Science 1466, Nice, Septembre 1998.
7. A. Benveniste, M. Siegel, L. Holenderski, K. Winkelmann, E. Sefton, E. Rutten, P. Le Guernic, T. Gautier. Safety Critical Embedded Systems Design: the SACRES approach. In Formal Techniques in Real-Time and Fault Tolerant systems, FTRTFT'98 school, Lyngby, Denmark, Septembre 1998.
8. J.C. Le Lann. Operand Isolation Using Signal Clock Calculus. In Proceedings of the 1st UK Low-Power Workshop, Sheffield, UK, Septembre 1998.
9. H. Marchand, M. Le Borgne. Partial Order Control of Discrete Event Systems modeled as Polynomial Dynamical Systems. In 1998 IEEE International Conference On Control Applications, Trieste, Italie, Septembre 1998.
10. D. Nowak, J.R. Beauvais, J.P. Talpin. Co-Inductive Axiomatization of a Synchronous Language. In Theorem Proving in Higher Order Logics (TPHOLs'98), Pages 387-399, Septembre 1998.
11. A. Benveniste, S. Gaubert, C. Jard. Monotone rationale series and max-plus algebraic models of real-time systems. In Proceedings of the Fourth Workshop on Discrete Event Systems, Cagliari, Italy, Août 1998.
12. O. Kouchnarenko, S. Pinchinat. Labeling Automata with Polynomials. In Proceedings of the International Workshop on Reasoning about Actions (joint to ESSLLI'98), Saarbrueken, Germany, Août 1998.
13. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. In the 23rd International Symposium on Mathematical Foundations of Computer Science, MFCS'98, International Workshop on Concurrency, Brno, Czech Republic, Août 1998.
14. A. Kountouris, C. Wolinski. Hierarchical Conditional Dependency Graphs for Conditional Resource Sharing. In Proceedings of Euromicro'98, Vasteras, Sweden, Août 1998.
15. H. Marchand, M. Le Borgne. On the Optimal Control of Polynomial Dynamical Systems over Z/pZ. In 4th IEE International Workshop on Discrete Event Systems, Pages 385-390, Cagliari, Italie, Août 1998.
16. A. Benveniste. Synchronous languages and reactive system design. In Proceedings of the 9th IFAC-INCOM'98, Nancy, Juin 1998.
17. P. Le Guernic, S. Machard, E. Rutten. Répartition de programmes Signal. In Actes des Rencontres Francophones du Parallélisme des Architectures et des Systèmes, RenPar'10, Strasbourg, Juin 1998.
18. A. Benveniste, T. Gautier, P. Le Guernic, E. Rutten. Distributed code generation of dataflow synchronous programs: the SACRES approach. In Proceedings of The Eleventh International Symposium on Languages for Intensional Programming, ISLIP'98, Sun Microsystems, Palo Alto, California (USA), Mai 1998.
19. J.P. Talpin, A. Benveniste, B. Caillaud, C. Jard, Z. Bouziane, H. Canon. BDL, a language of distributed reactive objects. In International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'98), Avril 1998.
20. J.R. Beauvais, T. Gautier, P. Le Guernic, R. Houdebine, E. Rutten. A translation of Statecharts into Signal. In Proceedings of the International Conference on Application of Concurrency to System Design (CSD'98), Pages 52-62, Aizu-Wakamatsu, Japan, Mars 1998.
21. J.C. Le Lann. Génération automatique de code VHDL à partir de Signal. In Journées AAA98, CEA, Saclay, Janvier 1998.

Rapports de recherche

1. O. Kouchnarenko, S. Pinchinat. Intensional Approaches for Symbolic Methods. Rapport de recherche Irisa / Inria-Rennes, No 3448, Juillet 1998.
2. 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.
3. 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, No 3397, Avril 1998.
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, No 3353, Février 1998.

Divers

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

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.

Dernières modifications Thu Mar 1 13:58:00 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.