Claude Jard

Sémantique concurrente symbolique des réseaux de Petri saufs et dépliages finis des réseaux temporels

Thomas Chatain, Claude Jard, 2009 .

Une approche pour des capteurs d'alarmes intelligents dans les réseaux

Claude Jard, Renée Boubour, 1996 .

Approches formelles des systèmes embarqués communicants

Jean-Pierre Elloy, Serge Haddad, Stavros Tripakis, 2008 .

Génération automatique de tests pour les protocoles : L'exemple de l'approche formelle de TGV (Test Generation with Verification Technology) : Les applications du génie logiciel

Claude Jard, Thierry Jéron, Benoît Caillaud, 1999 .

Vers l'utilisation d'outils de validation de protocoles dans UML

Claude Jard, J.-M. Jezequel, F. Pennaneach, 1998 .

Construction d'une sémantique concurrente par instrumentation d'une sémantique opérationelle structurelle

Claude Jard, Matthieu Perrin, Achour Mostefaoui, 2013 .