|
Search the dblp DataBase
Fabrice Baray:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Pierre Wodey, Fabrice Baray
Linking Codesign and Verification by Means of E-LOTOS FDT. [Citation Graph (0, 0)][DBLP] EUROMICRO, 1999, pp:1487-1491 [Conf]
- Pierre Wodey, Geoffrey Camarroque, Fabrice Baray, Richard Hersemeule, Jean-Philippe Cousin
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2003, pp:204-0 [Conf]
- Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel
Code-Based Test Generation for Validation of Functional Processor Descriptions. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:569-584 [Conf]
- Christophe Alias, Fabrice Baray, Alain Darte
Bee+Cl@k: an implementation of lattice-based array contraction in the source-to-source translator rose. [Citation Graph (0, 0)][DBLP] LCTES, 2007, pp:73-82 [Conf]
Search in 0.001secs, Finished in 0.001secs
|