Claude Jard

Best Publications

• TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems

  Unknown

  526
  Citations

• Diagnosis of asynchronous discrete-event systems: a net unfolding approach

  A. Benveniste;E. Fabre;S. Haar;C. Jard

  411
  Citations

• Using On-The-Fly Verification Techniques for the Generation of test Suites

  Unknown

  290
  Citations

• An experiment in automatic generation of test suites for protocols with verification technology

  Unknown

  220
  Citations

• Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets

  Armen Aghasaryan;Eric Fabre;Albert Benveniste;Renée Boubour

  189
  Citations

• Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations

  S. Rosario;A. Benveniste;S. Haar;C. Jard

  178
  Citations

• Distributed Monitoring of Concurrent and Asynchronous Systems

  Eric Fabre;Albert Benveniste;Stefan Haar;Claude Jard

  136
  Citations

• Bounded-memory Algorithms for Verification On-the-fly

  Unknown

  119
  Citations

• On-line model checking for finite linear temporal logic specifications

  Unknown

  108
  Citations

• On-the-fly verification of finite transition systems

  Unknown

  100
  Citations

• Development of Veda, a prototyping tool for distributed algorithms

  Unknown

  99
  Citations

• Remote testin can be as powerful as local testing

  Unknown

  82
  Citations

• Distributed diagnosis for large discrete event dynamic systems

  E. Fabre;A. Benveniste;C. Jard

  77
  Citations

• A Petri net approach to fault detection and diagnosis in distributed systems. II. Extending Viterbi algorithm and HMM techniques to Petri nets

  A. Aghasaryan;E. Fabre;A. Benveniste;R. Boubour

  77
  Citations

• Detection of stable properties in distributed applications

  Jean-Michael Helary;Claude Jard;Noël Plouzeau;Michel Raynal

  75
  Citations

• Time supervision of concurrent systems using symbolic unfoldings of time petri nets

  Unknown

  67
  Citations

• Experience with Formal Specifications Using an Extended State Transition Model

  G. Bochmann;E. Cerny;M. Gagne;C. Jard

  67
  Citations

• Test Synthesis from UML Models of Distributed Software

  S. Pickin;C. Jard;T. Jeron;J.-M. Jezequel

  66
  Citations

• A general approach to trace-checking in distributed computing systems

  Unknown

  66
  Citations

• A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling

  R. Boubour;C. Jard;A. Aghasaryan;E. Fabre

  59
  Citations