O. Coudert
发表
Olivier Coudert,
O. Coudert,
1996,
DAC '96.
Olivier Coudert,
David R. O'Hallaron,
Randal E. Bryant,
1998,
FMCAD.
O. Coudert,
Tsutomu Sasao,
2001
.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1989,
Automatic Verification Methods for Finite State Systems.
O. Coudert,
2011
.
O. Coudert,
2022
.
Tiziano Villa,
Olivier Coudert,
O. Coudert,
2001,
ICCAD 2001.
O. Coudert,
1996,
33rd Design Automation Conference Proceedings, 1996.
O. Coudert,
1997,
Proceedings of the 34th Design Automation Conference.
O. Coudert,
2011
.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
International Conference on Computer Aided Verification.
Olivier Coudert,
O. Coudert,
2002,
ISQED.
Olivier Coudert,
O. Coudert,
1997,
IEEE Trans. Very Large Scale Integr. Syst..
O. Coudert,
R. Haddad,
S. Manne,
1996,
33rd Design Automation Conference Proceedings, 1996.
Olivier Coudert,
O. Coudert,
2007
.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1995,
32nd Design Automation Conference.
Olivier Coudert,
O. Coudert,
1994,
Integr..
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
CAV.
Olivier Coudert,
O. Coudert,
1997,
Proceedings European Design and Test Conference. ED & TC 97.
Olivier Coudert,
Jean Christophe Madre,
Jean-Paul Billon,
1989,
1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
O. Coudert,
G. Granet,
J. Chandezon,
1997
.
Olivier Coudert,
Christian Berthet,
Jean Christophe Madre,
1990,
Proceedings., 1990 IEEE International Conference on Computer Design: VLSI in Computers and Processors.
Olivier Coudert,
O. Coudert,
1995,
SODA '95.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1991,
IJCAI.
Olivier Coudert,
Jean Christophe Madre,
H. Touati,
2011
.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1990,
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.
Olivier Coudert,
J. C. Madre,
O. Coudert,
1994
.
Olivier Coudert,
J. C. Madre,
O. Coudert,
1993,
Annual Reliability and Maintainability Symposium 1993 Proceedings.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1993
.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1995,
Formal Methods Syst. Des..
Olivier Coudert,
O. Coudert,
1996,
Proceedings ED&TC European Design and Test Conference.
Olivier Coudert,
Jean Christophe Madre,
O. Coudert,
1992,
[1992] Proceedings 29th ACM/IEEE Design Automation Conference.
Jason Cong,
Olivier Coudert,
Sharad Malik,
2000,
IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
Olivier Coudert,
O. Coudert,
2010,
Design Automation Conference.