Laurent Arditi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1995–2004
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FMCAD | Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. | Laurent Arditi, Grard Berry, Michael Kishinevsky |
| 2001 | FM | Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. | Laurent Arditi, Hdi Boufaed, Arnaud Cavani, Vincent Stehl |
| 2000 | ISCAS | A semi-formal methodology for the functional validation of an industrial DSP system. | Laurent Arditi, Gal Clav |
| 1996 | FMCAD | BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions. | Laurent Arditi |
| 1995 | ECOOP | An Object-Oriented Framework for the Formal Verification of Processors. | Laurent Arditi, Hlne Collavizza |