| 2007 |
|---|
| 4 | EE | Christophe Alias,
Fabrice Baray,
Alain Darte:
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose.
LCTES 2007: 73-82 |
| 2003 |
|---|
| 3 | EE | Pierre Wodey,
Geoffrey Camarroque,
Fabrice Baray,
Richard Hersemeule,
Jean-Philippe Cousin:
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect.
MEMOCODE 2003: 204- |
| 2 | EE | Fabrice Baray,
Philippe Codognet,
Daniel Diaz,
Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions.
TACAS 2003: 569-584 |
| 1999 |
|---|
| 1 | EE | Pierre Wodey,
Fabrice Baray:
Linking Codesign and Verification by Means of E-LOTOS FDT.
EUROMICRO 1999: 1487-1491 |
