Claude Jard

Claude Jard

Université de Nantes - Nantes / France
Others
AD Scientific Index ID: 1707858
University of Nantes
person_outline Claude Jard's MOST POPULAR ARTICLES
1-) TGV: theory, principles and algorithmsC Jard, T JéronInternational Journal on Software Tools for Technology Transfer 7 (4), 297-315, 20055502005
2-) Diagnosis of asynchronous discrete-event systems: a net unfolding approachA Benveniste, E Fabre, S Haar, C JardIEEE Transactions on Automatic Control 48 (5), 714-727, 20034002003
3-) Using on-the-fly verification techniques for the generation of test suitesJC Fernandez, C Jard, T Jéron, C VihoInternational Conference on Computer Aided Verification, 348-359, 19962891996
4-) An experiment in automatic generation of test suites for protocols with verification technologyJC Fernandez, C Jard, T Jeron, C VihoScience of Computer Programming 29 (1-2), 123-146, 19972251997
5-) Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri netsA Aghasaryan, E Fabre, A Benveniste, R Boubour, C JardDiscrete event dynamic systems 8, 203-231, 19981911998