Claude Jard

Claude Jard publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Claude Jard sits on this spectrum.

Claude Jard D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Claude Jard sits on this spectrum.

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