Laurent Arditi
According to our database1,
Laurent Arditi
authored at least 6 papers
between 1995 and 2004.
Collaborative distances:
Collaborative distances:
Timeline
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
0
1
2
3
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2004
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.
Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001
2000
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.
Proceedings of the Formal Methods in Computer-Aided Design, First International Conference, 1996
1995
Proceedings of the Proceedings EURO-DAC'95, 1995
Proceedings of the ECOOP'95, 1995