1. Modeling and Verification of Parallel Processes, revised Tutorial Lectures. Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Ryan (eds.), LNCS Tutorials, No 2067, Springer, December 2001. details
  2. Technique et science informatiques - Methodes formelles, validation de systemes complexes. Hubert Garavel, Roland Groz, Claude Jard (eds.), Hermes, June 1997. details
  3. Colloque Francophone sur l'Ingenierie des Protocoles. Claude Jard, Pierre Rolin (eds.), Hermes, Rennes, May 1995. details
  4. Ecole d'informatique sur l'algorithmique repartie - calculs repartis et causalite. B. Charron-Bost, C. Jard (eds.), Rennes 1 univ, Roscoff, September 1993. details
  5. Datation et controle des executions reparties. F. Andre, C. Jard (eds.), Colloque C3, No 78, Bigre, March 1992. details

Academic Journals

  1. A. Aghasaryan, E. Fabre, A. Benveniste, R. Boubour, C. Jard. Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri Nets. Journal of Discrete Event Dynamical Systems, 8(2):203-231, June 1998. details
  2. A. Benveniste, E. Fabre, C. Jard, S. Haar. Diagnosis of asynchronous discrete event systems, a net unfolding approach. IEEE Transactions on Automatic Control, 48(5):714-727, May 2003. details
  3. M. Bozga, JC Fernandez, L. Ghirvu, C. Jard, T. and Kerbrat,A. Jeron, P. Morel, L. Mounier. Verification and Test Generation for the SSCOP Protocol. Journal of Science of Computer Programming, Special Issue on The Application of Formal Methods in Industrial Critical Systems, 36:27-52, 2000. details
  4. 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. details
  5. C. Diehl, C. Jard. L'observation des executions reparties, Datation par intervalles. Revue Reseaux et Informatique Repartie, 1(4), 1992. details
  6. 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. details
  7. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. On-the-fly Analysis of Distributed Computations. Information Processing Letters, 54:267-274, 1995. details
  8. C. Jard, T. Jéron. TGV: theory, principles and algorithms. A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. Software Tools for Technology Transfer, 2004. details
  9. C. JardR. Dssouli, F. Khendec. Synthesis of distributed testers from true-concurrency models of reactive systems. International Journal of Information and Software Technology, 2002. details
  10. C. Jard, T. Jeron. An Educational Case Study in Protocol Verification and Distributed Observation. Journal of Computer Science Education, ECASP Special Issue, 10(3), 2000. details
  11. C. Jard. Observation d'executions reparties, detection de proprietes d'ordonnancement. Technique et Science Informatiques, 16(2):225-242, 1997. details
  12. C. Jard, JM Jezequel. Building a Global Clock for Observing Computations in Distributed Memory Parallel Computers. Concurrency Practice and Experience, 1(8):71-89, 1996. details
  13. C. Jard, GV Jourdan. Incremental Transitive Dependency Tracking in Distributed Computations. Parallel Processing Letters, 6(2):427-435, 1996. details
  14. C. Jard, GV Jourdan, JX Rampon. On-line Computations of the Ideal Lattice of Posets. RAIRO ITA, Theoretical Informatics and Applications, 29(3):227-244, 1995. details
  15. GV Jourdan, JX Rampon, C. Jard. Computing On-line the Lattice of Maximal Antichains of Posets. Order, 11:197-210, December 1994. details
  16. C. Jard et JC. Fernandez T. Jeron. Generation automatique de tests pour les protocoles : l'exemple de l'approche formelle de TGV. Revue Electronique et Electricite, 1999. details

International Conferences

  1. A. Aghasaryan, C. Jard, J. Thomas. UML Specification of a Generic Model for Fault Diagnosis of Telecommunication Networks. In International Communication Conference (ICT), LNCS, Pages 841-847, Fortaleza, Brasil, August 2004. details
  2. C. Bareau, B. Caillaud, C. Jard, R. Thoraval. Measuring Concurrency of Regular Distributed Computations. In TAPSOFT Conference, LNCS, Pages 711-725, Aarhus Danemark, May 1995. details
  3. A. Benveniste, S. Haar, E. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems (plenary address). In Proc. of CONCUR'2003, Marseille, LNCS, Pages 1-26, 2003. details
  4. 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. details
  5. T. Chatain, Jard C.. Symbolic Diagnosis of Partially Observable Concurrent Systems. In 24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2004), LNCS, Pages 326-342, Madrid, Spain, September 2004. details
  6. C. Diehl, C. Jard, JX Rampon. Reachability Analysis on Distributed Executions. In TAPSOFT Conference, LNCS, Pages 629-643, Paris, Orsay, April 1993. details
  7. C. Diehl, C. Jard. Interval Approximations of Message Causality in Distributed Executions. In Symposium on the Theoretical Aspects of Computer Science. STACS, LNCS, Pages 363-376, Cachan, February 1992. details
  8. JC Fernandez, C. Jard, T. Jéron, C. Viho. Using on-the-fly Verification Techniques for the Generation of Test Suites. In Computer Aided Verification (CAV96), LNCS, Boston, August 1996. details
  9. E. Fromentin, C. Jard, GV Jourdan, M. Raynal. Recognition of Patterns on Control Flows for Debugging Distributed Executions. In 2nd International Workshop on Automated and Algorithmic Debugging, Pages 22-24, St Malo, May 1995. details
  10. Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard. Fault Diagnosis for Distributed Asynchronous Dynamically Reconfigured Discrete Event Systems. In IFAC World Congress Praha, 2005. details
  11. C. Jard, T. Jeron. TGV: Theory, Principles and Algorithms. In The sixth world conference on integrated design and process technology, Pasadena, California, June 2002. details
  12. C. Jard. Principles of Distributed Test Synthesis based on True-concurrency Models. In Testcom'2002, Berlin, March 2002. details
  13. C. Jard. How to simulate HMSC. In SDL'01 : meeting UML, 10th SDL Forum, LNCS, Copenhagen, June 2001. details
  14. C. Jard, T. Jéron, P. Morel. Verification of Test Suites. In IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems, TestCom 2000, Pages 3-18, Ottawa, August 2000. details
  15. C. Jard, T. Jéron, L. Tanguy, C. Viho. Remote Testing can be as Powerful as Local Testing. In Methods for protocol engineering and distributed systems, FORTE XII/ PSTV XIX' 99, S. Chanson J. Wu, Q. Gao (eds.), Pages 25-40, Beijing, China, October 1999. details
  16. C. Jard, T. Jéron. Verification and Distributed Observation of the Alternating Bit Protocol. In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), special session on educational case studies in protocols, Paris, 1998. details
  17. C. Jard, T. Jéron, H. Kahlouche, C. Viho. Towards Automatic Distribution of Testers for Distributed Conformance Testing. In IFIP TC6/WG6.1 Joint International Conference on formal description techniques (Forte XI), and protocol specification, testing and verification (Pstv XVIII), Paris, 1998. details
  18. C. Jard, GV Jourdan. On the Coding of Dependences in Distributed Computations. In ACM PODC, Principles of Distributed Computing, Los-Angeles, August 1994. details
  19. C. Jard, T. Jéron, GV Jourdan, JX Rampon. A General Approach to Trace-checking in Distributed Computing Systems. In IEEE ICDCS- 14th International Conference on Distributed Computing Systems, Poznan, June 1994. details
  20. L. Tanguy, C. Viho, C. Jard. Synthesizing Coordination Procedures for Distributed Testing of Distributed Systems. In ICDCS Workshop Distributed System Validation and Verification (DSVV'2000), TH. Lai (ed.), Pages 0-0, Taipei, Taiwan, April 2000. details

Research Reports

  1. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne IRISA, No 1636, July 2004. details
  2. A. Benveniste, E. Fabre, C. Jard, S. Haar. Distributed Monitoring of concurrent and asynchronous systems-extended version. Publication Interne INRIA, No 4842, July 2004. details


  1. Guy-Bertrand Kamga. Rapport d'étude sur les corrélations d'alarmes dans le BSS. Livrable contrat Alcatel, September 2005. details
  2. Franck Wielgus. Modélisation d'un SLTE et corrélation d'alarmes. Livrable contrat Alcatel, May 2005. details

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