Seuraa
Claude Jard
Claude Jard
Professeur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)
Vahvistettu sähköpostiosoite verkkotunnuksessa univ-nantes.fr - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
TGV: theory, principles and algorithms
C Jard, T Jéron
International Journal on Software Tools for Technology Transfer 7 (4), 297-315, 2005
5492005
Diagnosis of asynchronous discrete-event systems: a net unfolding approach
A Benveniste, E Fabre, S Haar, C Jard
IEEE Transactions on Automatic Control 48 (5), 714-727, 2003
3992003
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, C Viho
International Conference on Computer Aided Verification, 348-359, 1996
2901996
An experiment in automatic generation of test suites for protocols with verification technology
JC Fernandez, C Jard, T Jeron, C Viho
Science of Computer Programming 29 (1-2), 123-146, 1997
2071997
Fault detection and diagnosis in distributed systems: an approach by partially stochastic Petri nets
A Aghasaryan, E Fabre, A Benveniste, R Boubour, C Jard
Discrete event dynamic systems 8 (2), 203-231, 1998
1831998
Probabilistic qos and soft contracts for transaction-based web services orchestrations
S Rosario, A Benveniste, S Haar, C Jard
IEEE Transactions on Services Computing 1 (4), 187-200, 2008
1722008
Distributed monitoring of concurrent and asynchronous systems
E Fabre, A Benveniste, S Haar, C Jard
Discrete Event Dynamic Systems 15 (1), 33-84, 2005
1282005
Bounded-memory Algorithms for Verification On-the-fly
C Jard, T Jéron
International Conference on Computer Aided Verification, 192-202, 1991
1181991
On-line model-checking for finite linear temporal logic specifications
C Jard, T Jeron
International conference on computer aided verification, 189-196, 1989
1021989
On-the-fly verification of finite transition systems
JC Fernandez, L Mounier, C Jard, T Jéron
Formal Methods in System Design 1 (2), 251-273, 1992
971992
Development of VEDA, a prototyping tool for distributed algorithms
C Jard, JF Monin, R Groz
IEEE Transactions on Software Engineering 14 (3), 339-352, 1988
871988
Remote testing can be as powerful as local testing
C Jard, T Jéron, L Tanguy, C Viho
Formal Methods for Protocol Engineering and Distributed Systems, 25-40, 1999
761999
Detection of stable properties in distributed applications
JM Helary, C Jard, N Plouzeau, M Raynal
Proceedings of the sixth annual ACM Symposium on Principles of distributed …, 1987
751987
Distributed diagnosis for large discrete event dynamic systems
E Fabre, A Benveniste, C Jard
IFAC Proceedings Volumes 35 (1), 1-6, 2002
742002
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, C Jard
Proceedings of the 36th IEEE Conference on Decision and Control 1, 726-731, 1997
701997
Test synthesis from UML models of distributed software
S Pickin, C Jard, T Jéron, JM Jézéquel, Y Le Traon
IEEE Transactions on Software Engineering 33 (4), 252-269, 2007
632007
Time supervision of concurrent systems using symbolic unfoldings of time Petri nets
T Chatain, C Jard
International Conference on Formal Modeling and Analysis of Timed Systems …, 2005
632005
A general approach to trace-checking in distributed computing systems
C Jard, GV Jourdan, T Jeron, JX Rampon
14th International Conference on Distributed Computing Systems, 396-403, 1994
631994
Experience with formal specifications using an extended state transition model
G Bochmann, E Cerny, M Gagné, C Jard, A Leveille, C Lacaille, ...
IEEE Transactions on Communications 30 (12), 2506-2513, 1982
611982
Testing for unboundedness of fifo channels
T Jéron, C Jard
Theoretical Computer Science 113 (1), 93-117, 1993
601993
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20