Publications 1997

Thèses

1. H. Marchand, Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis, Thèse de l'Université de Rennes 1, IFSIC, Octobre 1997. (détails)

Articles de journaux

1. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho, An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology, Science of Computer Programming, 29:123-146, 1997. (détails) download

Conferences internationales

1. C. Ancourt, D. Barthou, C. Guettier, F. Irigoin, B. Jeannet, J. Jourdan, J. Mattioli, Automatic Data Mapping of Signal Processing Applications, in Int. Conf. on Application-specific Systems, Architectures and Processors (ASAP'97), 1997. (détails)
2. F. Boniol, A. Burgueno, O. Roux, V. Rusu, Analysis of slope-parametric hybrid automata, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 75-81, Grenoble, France, 1997. (détails)
3. A. Burgueno, V. Rusu, Task-system analysis using slope-parametric hybrid automata, in Proceedings of the European Conference on Parallelism (EuroPar'97) Volume 1300 of LNCS, Pages 1262-1273, Passau (Germany), 1997. (détails)
4. T. Jéron, P. Morel, Abstraction, $\tau$-réduction et déterminisation à la volée: application à la génération de test, in CFIP'97, Congrès Francophone sur l'Ingéniérie des Protocoles, Liège, Belgique, Septembre 1997. (détails)
5. V. Rusu, Verifying periodic task-control systems, in International Workshop on Hybrid and Real-Time Systems (HART'97), Volume 1201 of LNCS, Pages 63-69, Grenoble, France, 1997. (détails)

Conferences nationales

1. C. Jard, T. Jéron, P. Morel, C. Viho, Une expérience de génération automatique de tests pour un protocole de cohérence de caches, in Actes de la conférence TESTING'97, Paris, Juin 1997. (détails)

Rapport de recherche

1. P. Bournai, M. Le Borgne, H. Marchand, Environnement de conception d'automatismes discrets basé sur le langage Signal, Rapport de recherche Irisa, No 1124, Septembre 1997. (détails)
2. J.-C. Fernandez, C. Jard, T. Jéron, G. Viho, An Experiment in Automatic Generation of Conformance Test Suites for Protocols with Verification Technology, Rapport de recherche IRISA, No 1035, 1997. (détails) download
3. H. Marchand, M. Le Borgne, Partial Order Control and Optimal Control of Discrete Event Systems modeled as Polynomial Dynamical Systems over Galois fields, Rapport de recherche Irisa, No 1125, Octobre 1997. (détails)

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to 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.