- Technique et science informatiques - Methodes formelles, validation de systemes complexes. Hubert Garavel, Roland Groz, Claude Jard (eds.), Hermes, June 1997.
- 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.
- 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.
- C. Jard. Observation d'executions reparties, detection de proprietes d'ordonnancement. Technique et Science Informatiques, 16(2):225-242, 1997.
- 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.
- 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.
- 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