Claude Jard

Statistics

Publications

Citations

H-Index

Active since

1982

Affiliations

Institut de Recherche en Informatique et Systèmes Aléatoires(Current)

Institut national de recherche en sciences et technologies du numérique

Centre National de la Recherche Scientifique

Centre Inria de l'Université de Rennes

École Normale Supérieure Paris-Saclay

Claude Jard is an author at Institut de Recherche en Informatique et Systèmes Aléatoires specializing in computing, computer science, and distributed systems.

Publications per year

1982–2016

Publications

TGV: theory, principles and algorithms

Claude Jard, Thierry Jéron · International Journal on Software Tools for Technology Transfer · 2004 · 350 citations

Computing, Computer Science, Algorithms +1

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

Albert Benveniste, Éric Fabre, Stefan Haar et al. · IEEE Transactions on Automatic Control · 2003 · 275 citations · Full text

Computing, Computer Science, Computer Systems +14

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

Jean-Claude Fernandez, Claude Jard, Thierry Jéron et al. · Science of Computer Programming · 1997 · 146 citations · Full text

Computing, Computer Engineering, Computer Science +16

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

Sidney Rosario, Albert Benveniste, Stefan Haar et al. · IEEE Transactions on Services Computing · 2008 · 129 citations · Full text

Business, Systems Engineering, Contract Theory +12

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

Armen Aghasaryan, Éric Fabre, Albert Benveniste et al. · Discrete Event Dynamic Systems · 1998 · 114 citations

Computing, Computer Engineering, Systems Engineering +16

1–5 of 41