Cyril Proch

According to our database, Cyril Proch authored at least 4 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

System-on-chip design by proof-based refinement.

Dominique Cansell, Dominique Méry, Cyril Proch

Int. J. Softw. Tools Technol. Transf., 2009

2006

Assistance au développement incrémental et prouvé de systèmes enfouis. (Assistance to incremental and proved development of System-on-Chip).

Cyril Proch

PhD thesis, 2006

2004

Derivation of SystemC code from abstract system models.

Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch

Proceedings of the Forum on specification and Design Languages, 2004

2003

Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement .

Dominique Cansell, Dominique Méry, Cyril Proch

Proceedings of the Forum on specification and Design Languages, 2003