BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Germany
1 × Italy
1 × Japan
2 × USA
Collaborated with:
T.Jéron S.Haar G.Jourdan E.d.Rosière B.Parreaux P.Morel C.Diehl J.Rampon R.Abdallah A.Gotlieb L.Hélouët G.v.Bochmann J.Fernandez C.Viho C.Bareau B.Caillaud R.Thoraval
Talks about:
test (6) distribut (3) verif (3) automata (2) partial (2) concurr (2) output (2) order (2) input (2) suit (2)

Person: Claude Jard

DBLP DBLP: Jard:Claude

Contributed to:

FASE 20132013
TestCom/FATES 20082008
TestCom/FATES 20072007
TestCom 20062006
TestCom 20022002
TestCom 20002000
CAV 19961996
CAV 19911991
TAPSOFT CAAP/FASE 19931993
TAPSOFT CAAP/FASE 19951995

Wrote 10 papers:

FASE-2013-AbdallahGHJ #constraints #optimisation
Scenario Realizability with Constraint Optimization (RA, AG, LH, CJ), pp. 194–209.
TestCom-FATES-2008-BochmannHJJ #automaton #partial order #testing
Testing Systems Specified as Partial Order Input/Output Automata (GvB, SH, CJ, GVJ), pp. 169–183.
TestCom-FATES-2007-HaarJJ #automaton #partial order #testing
Testing Input/Output Partial Order Automata (SH, CJ, GVJ), pp. 171–185.
TestCom-2006-RosiereJP #testing
LaTe, a Non-fully Deterministic Testing Language (EdR, CJ, BP), pp. 71–86.
TestCom-2002-Jard #distributed #modelling #synthesis
Principles of Distributed Test Synthesis based on True-concurrency Models (CJ), pp. 301–316.
TestCom-2000-JardJM #testing #verification
Verification of Test Suites (CJ, TJ, PM), pp. 3–18.
CAV-1996-FernandezJJV #generative #on the fly #testing #using #verification
Using On-The-Fly Verification Techniques for the Generation of test Suites (JCF, CJ, TJ, CV), pp. 348–359.
CAV-1991-JardJ #algorithm #bound #on the fly #verification
Bounded-memory Algorithms for Verification On-the-fly (CJ, TJ), pp. 192–202.
TAPSOFT-1993-DiehlJR #analysis #distributed #reachability
Reachability Analysis on Distributed Executions (CD, CJ, JXR), pp. 629–643.
TAPSOFT-1995-BareauCJT #concurrent #distributed
Measuring Concurrency of Regular Distributed Computations (CB, BC, CJ, RT), pp. 711–725.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.