Fabrice Baray

According to our database, Fabrice Baray authored at least 4 papers between 1999 and 2007.

Collaborative distances:

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

2007

Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose.

Christophe Alias, Fabrice Baray, Alain Darte

Proceedings of the 2007 ACM SIGPLAN/SIGBED Conference on Languages, 2007

2003

Code-Based Test Generation for Validation of Functional Processor Descriptions.

Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 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