Follow
Claude Jard
Claude Jard
Professeur, Université de Nantes, Directeur Laboratoire des Sciences du Numérique de Nantes (LS2N)
Verified email at univ-nantes.fr - Homepage
Title
Cited by
Cited by
Year
¡ E# GFH6I P$
B Caillaud, JP Talpin, JM Jézéquel, A Benveniste, C Jard
2000
28th International Conference on Concurrency Theory (CONCUR 2017)
AF Donaldson, J Ketema, T Sorensen, J Wickerson, R Brenguier, A Pauly, ...
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017
12017
333333|| Roland GROZ
J Claude
1987
3D layout of reachability graphs of communicating processes
T Jéron, C Jard
International Symposium on Graph Drawing, 25-32, 1994
191994
A general approach to trace-checking in distributed computing systems
C Jard, GV Jourdan, T Jéron, JX Rampon
14th International Conference on Distributed Computing Systems, 396-403, 1994
611994
A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines
C Jard, JM Jézéquel
9th IFIP International Workshop on Protocol Specification, Testing and …, 1989
311989
A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines
C Jard, JM Jezequel
Proceedings of the IFIP WG6. 1 Ninth International Symposium on Protocol …, 1989
131989
A Petri net approach to fault detection and diagnosis in distributed systems. I. Application to telecommunication networks, motivations, and modelling
R Boubour, C Jard, A Aghasaryan, E Fabre, A Benveniste
Proceedings of the 36th IEEE Conference on Decision and Control 1, 720-725, 1997
571997
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
751997
A QoS Calculus for Service Orchestrations
A Benveniste, C Jard, A Kattepur, S Rosario, J Thywissen
A theory of qos for web service orchestrations
S Rosario, A Benveniste, C Jard
INRIA, 2009
82009
A uml-integrated test description language for component testing
S Pickin, C Jard, T Heuillard, JM Jézéquel, P Desfray
Lecture Notes in Informatics (LNI), 2001
252001
Abstrairea la volée les événements d’un systeme réparti
T Gazagnaire, C Jard
NOTERE, 7eme Conférence Internationale sur les Nouvelles Technologies de la …, 2007
32007
Algebraic techniques for timed systems
A Benveniste, C Jard, S Gaubert
International Conference on Concurrency Theory, 373-388, 1998
101998
Algorithms for distributed fault management in telecommunications networks
E Fabre, A Benveniste, S Haar, C Jard, A Aghasaryan
Telecommunications and Networking-ICT 2004: 11th International Conference on …, 2004
162004
An approach to integrate formal validation in an OO life-cycle of protocols
C Jard, JM Jézéquel, L Nédelka
Formal Methods for Open Object-based Distributed Systems, 63-78, 1997
41997
An approach to testing specifications
C Jard, G Bochmann
ACM SIGPLAN Notices 18 (8), 53-59, 1983
301983
An educational case study in protocol verification and distributed observation
C Jard, T Jèron
Computer Science Education 10 (3), 203-224, 2000
12000
An effective equivalence for sets of scenarios represented by HMSCs
L Hélouët, C Jard, B Caillaud
INRIA, 1998
111998
An event structure based semantics for high-level message sequence charts
L Helouet, C Jard, B Caillaud
Mathematical Structures in Computer Science 12 (4), 377-402, 2002
132002
The system can't perform the operation now. Try again later.
Articles 1–20