Cyril Proch

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2009
System-on-chip design by proof-based refinement.
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).
PhD thesis, 2006

2004
Derivation of SystemC code from abstract system models.
Proceedings of the Forum on specification and Design Languages, 2004

2003
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement .
Proceedings of the Forum on specification and Design Languages, 2003


  Loading...