Publications 1997

Books

1. Technique et science informatiques - Methodes formelles, validation de systemes complexes. Hubert Garavel, Roland Groz, Claude Jard (eds.), Hermes, June 1997.

Academic Journals

1. B. Caillaud, P. Caspi, A. Girault, C. Jard. Distributing Automata for Asynchronous Networks of Processors. European Journal on Automated Systems, 31(3):503-524, 1997.
2. JC Fernandez, C. Jard, T. Jéron, C. Viho. An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Science of Computer Programming, special issue on industrially relevant applications of formal analysis techniques, 1997.
3. C. Jard. Observation d'executions reparties, detection de proprietes d'ordonnancement. Technique et Science Informatiques, 16(2):225-242, 1997.

International Conferences

1. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 2). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 726-731, December 1997.
2. R. Boubour, C. Jard. Fault Detection in Telecommunication Networks based on Petri Net Representation of Alarm Propagation. In Proceedings of the 18th Int. Conf. on Application and Theory of Petri Nets, Toulouse, June 1997.
3. R. Boubour, C. Jard, A. Aghasaryan, E. Fabre, A. Benveniste. A Petri Net Approach to Fault Detection & Diagnosis in Distributed Systems (Part 1). In 36th IEEE Conference on Decision and Control (CDC), San Diego, Pages 720-725, December 1997.

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.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic