Authors: AGHASARYAN A FABRE E BENVENISTE A BOUBOUR R JARD C

Citation: A. Aghasaryan et al., FAULT-DETECTION AND DIAGNOSIS IN DISTRIBUTED SYSTEMS - AN APPROACH BYPARTIALLY STOCHASTIC PETRI NETS, Discrete event dynamic systems, 8(2), 1998, pp. 203-231

Authors: FERNANDEZ JC JARD C JERON T VIHO C

Citation: Jc. Fernandez et al., AN EXPERIMENT IN AUTOMATIC-GENERATION OF TEST SUITES FOR PROTOCOLS WITH VERIFICATION TECHNOLOGY, Science of computer programming, 29(1-2), 1997, pp. 123-146

Authors: JARD C JOURDAN GV RAMPON JX

Citation: C. Jard et al., ONLINE COMPUTATIONS OF THE IDEAL LATTICE OF POSETS, Informatique theorique et applications, 29(3), 1995, pp. 227-244

Authors: FROMENTIN E JARD C JOURDAN GV RAYNAL M

Citation: E. Fromentin et al., ON-THE-FLY ANALYSIS OF DISTRIBUTED COMPUTATIONS, Information processing letters, 54(5), 1995, pp. 267-274

Authors: JERON T JARD C

Citation: T. Jeron et C. Jard, TESTING FOR UNBOUNDEDNESS OF FIFO CHANNELS, Theoretical computer science, 113(1), 1993, pp. 93-117