Skip to content

Cyril Proch

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2003–2004

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2004FDLDerivation of SystemC code from abstract system models.Dominique Cansell, J.-F. Culat, Dominique Mry, Cyril Proch
2003FDLProof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement .Dominique Cansell, Dominique Mry, Cyril Proch