Laurent Arditi

According to our database, Laurent Arditi authored at least 6 papers between 1995 and 2004.

Collaborative distances:

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

2004

Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs.

Laurent Arditi, Gérard Berry, Michael Kishinevsky

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2001

Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.

Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

A semi-formal methodology for the functional validation of an industrial DSP system.

Laurent Arditi, Gaël Clavé

Proceedings of the IEEE International Symposium on Circuits and Systems, 2000

1996

BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions.

Laurent Arditi

Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996

1995

Towards verifying VHDL descriptions of processors.

Laurent Arditi, Hélène Collavizza

Proceedings of the Proceedings EURO-DAC'95, 1995

An Object-Oriented Framework for the Formal Verification of Processors.

Laurent Arditi, Hélène Collavizza

Proceedings of the ECOOP'95, 1995