Pierre Wodey

According to our database, Pierre Wodey authored at least 3 papers between 1993 and 2003.

Collaborative distances:

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

2003

LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.

Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

1999

Linking Codesign and Verification by Means of E-LOTOS FDT.

Pierre Wodey, Fabrice Baray

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1993

Compilation de programmes VHDL en vue de l'évaluation de testabilité d'équipements digitaux. (Compilation of VHDL programs for analysing testability of asynchronous digital devices).

Pierre Wodey

PhD thesis, 1993