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: Jard:Claude
Contributed to:
2013
20082007
200620022000
19961991
19931995Wrote 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.