Catherine Bayol

According to our database, Catherine Bayol authored at least 3 papers between 1994 and 1995.

Collaborative distances:

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

1995

Une approche structurelle et comportementale de modélisation pour la vérification de composants VLSI. (A structural and Behavioral Modeling Approach for the Verification of VLSI Components).

Catherine Bayol

PhD thesis, 1995

1994

System-Level Modeling and Verification: a Comprehensive Design Methodology.

Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

A process algebra interpretation of a verification oriented overlanguage of VHDL.

Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto

Proceedings of the Proceedings EURO-DAC'94, 1994