Travelled to:1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:S.Lescuyer F.Dadeau A.Giorgetti N.Kosmatov
Talks about:parameter (2) deduct (2) polymorph (1) protocol (1) approach (1) uniform (1) correct (1) specif (1) safeti (1) handl (1)
Person: Jean-François Couchot
DBLP: Couchot:Jean=Fran=ccedil=ois
Contributed to:
2007
2007
2005Wrote 3 papers:
- CADE-2007-CouchotL #automation #deduction #morphism #polymorphism
- Handling Polymorphism in Automated Deduction (JFC, SL), pp. 263–278.
- IFM-2007-CouchotD #specification
- Guiding the Correction of Parameterized Specifications (JFC, FD), pp. 176–194.
- ASE-2005-CouchotGK #approach #deduction #protocol #safety
- A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.