Seguir
Claude Jard
Claude Jard
Professeur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)
Dirección de correo verificada de univ-nantes.fr - Página principal
Título
Citado por
Citado por
Año
TGV: theory, principles and algorithms: A tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems
C Jard, T Jéron
International Journal on Software Tools for Technology Transfer 7, 297-315, 2005
5682005
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
4102003
Using on-the-fly verification techniques for the generation of test suites
JC Fernandez, C Jard, T Jéron, C Viho
Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996
2951996
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
2251997
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, 203-231, 1998
1911998
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
1782008
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
Computer Aided Verification: 3rd International Workshop, CAV'91 Aalborg …, 1992
1191992
On-line model-checking for finite linear temporal logic specifications
C Jard, T Jeron
Automatic Verification Methods for Finite State Systems: International …, 1990
1041990
On-the-fly verification of finite transition systems
JC Fernandez, L Mounier, C Jard, T Jéron
Formal Methods in System Design 1, 251-273, 1992
981992
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
901988
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
841987
Remote testing can be as powerful as local testing
C Jard, T Jéron, L Tanguy, C Viho
International Conference on Protocol Specification, Testing and Verification …, 1999
801999
Distributed diagnosis for large discrete event dynamic systems
E Fabre, A Benveniste, C Jard
IFAC Proceedings Volumes 35 (1), 1-6, 2002
772002
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
761997
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
692007
Complete finite prefixes of symbolic unfoldings of safe time Petri nets
T Chatain, C Jard
International Conference on Application and Theory of Petri Nets, 125-145, 2006
652006
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
652005
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
651982
Causal consistency: beyond memory
M Perrin, A Mostefaoui, C Jard
Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of …, 2016
632016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20