Dominique Borrione
发表
Julien Schmaltz,
Dominique Borrione,
2004,
ACL 2004.
Laurence Pierre,
Ashraf M. Salem,
Dominique Borrione,
1992,
IEEE Design & Test of Computers.
Dominique Borrione,
Philippe Georgelin,
Vanderlei Moraes Rodrigues,
2000
.
Julien Schmaltz,
Dominique Borrione,
2006,
Trustworthy Software.
Dominique Borrione,
Philippe Georgelin,
D. Borrione,
2001
.
Dominique Borrione,
Ayman M. Wahba,
A. Wahba,
1995,
CHARME.
Dominique Borrione,
Philippe Georgelin,
Vanderlei Moraes Rodrigues,
2000
.
Dominique Borrione,
Diana Toma,
Ghiath Al Sammane,
2004,
CASSIS.
Dominique Borrione,
C. Le Faou,
1970
.
Katell Morin-Allory,
Fatemeh Negin Javaheri,
Dominique Borrione,
2015,
IEEE Transactions on Very Large Scale Integration (VLSI) Systems.
Dominique Borrione,
Robert Piloty,
1993
.
Laurence Pierre,
Dominique Borrione,
J.-L. Paillet,
1988
.
Paolo Prinetto,
Fulvio Corno,
Dominique Borrione,
1994,
EURO-DAC '94.
Dominique Borrione,
N. Javaheri,
Katell Morin-Allory,
2014
.
Katell Morin-Allory,
Dominique Borrione,
2007
.
Laurence Pierre,
Julien Schmaltz,
Dominique Borrione,
2007,
First International Symposium on Networks-on-Chip (NOCS'07).
Dominique Borrione,
Diana Toma,
2005,
TPHOLs.
Dominique Borrione,
H. Bouamama,
R. Suescun,
1996
.
Dominique Borrione,
Robert Piloty,
Mario Barbacci,
1980,
IFIP Congress.
Dominique Borrione,
Katell Morin-Allory,
Mejid Kebaili,
2015,
2015 Forum on Specification and Design Languages (FDL).
Dominique Borrione,
Ayman M. Wahba,
A. Wahba,
1996,
J. Electron. Test..
Ashraf M. Salem,
Dominique Borrione,
2013,
FDL.
Laurence Pierre,
Dominique Borrione,
Julia Dushina,
2000,
IEEE Trans. Very Large Scale Integr. Syst..
Julien Schmaltz,
Dominique Borrione,
Diana Toma,
2003,
CHARME.
Katell Morin-Allory,
Dominique Borrione,
Guillaume Plassan,
2016,
2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC).
Dominique Borrione,
Hélène Collavizza,
C. Le Faou,
1991
.
Paolo Prinetto,
Dominique Borrione,
1989,
IFIP Congress.
Dominique Borrione,
Philippe Georgelin,
Vanderlei Moraes Rodrigues,
2001
.
Katell Morin-Allory,
Dominique Borrione,
Yann Oddos,
2012
.
Katell Morin-Allory,
Laurent Fesquet,
Dominique Borrione,
2007,
FDL.
Dominique Borrione,
Robert Piloty,
Mario Barbacci,
1983,
Lecture Notes in Computer Science.
Design and Verification of Digital Circuits in Mathematica: Symbolic simulation of VHDL descriptions
Dominique Borrione,
G. Al Sammane,
2003
.
Dominique Borrione,
Robert Piloty,
1982,
19th Design Automation Conference.
Dominique Borrione,
2012,
FDL 2012.
Katell Morin-Allory,
Dominique Borrione,
Eric Gascard,
2007,
J. Circuits Syst. Comput..
Ashraf Salem,
Dominique Borrione,
A. Salem,
1992
.
Dominique Borrione,
Paolo Camurati,
P. Prinetto,
1990
.
Katell Morin-Allory,
Dominique Borrione,
Yann Oddos,
2006,
2006 IFIP International Conference on Very Large Scale Integration.
Dominique Borrione,
Hélène Collavizza,
D. Borrione,
1991
.
Julien Schmaltz,
Dominique Borrione,
2003,
ACL 2003.
Mario R. Barbacci,
Dominique Borrione,
Robert Piloty,
1983
.
Katell Morin-Allory,
Dominique Borrione,
2006,
Proceedings of the Design Automation & Test in Europe Conference.
Dominique Borrione,
Menouer Boubekeur,
2003,
FDL.
Laurence Pierre,
Julien Schmaltz,
Dominique Borrione,
2009,
EURASIP J. Embed. Syst..
Dominique Borrione,
Joel Blasquez,
Andrea Fedeli,
2002,
Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition.
Dominique Borrione,
Robert Piloty,
1982,
DAC 1982.
Katell Morin-Allory,
Dominique Borrione,
Guillaume Plassan,
2016,
VLSI-SoC.
Laurence Pierre,
Ashraf Salem,
Dominique Borrione,
1992
.
Dominique Borrione,
N. Javaheri,
Katell Morin-Allory,
2015
.
Katell Morin-Allory,
Dominique Borrione,
Guillaume Plassan,
2019,
ACM Trans. Embed. Comput. Syst..
Julien Schmaltz,
Dominique Borrione,
2006,
ACL2 '06.
Dwight D. Hill,
Dominique Borrione,
Karl J. Lieberherr,
1992,
IEEE Des. Test Comput..
Dominique Borrione,
Philippe Georgelin,
Pierre Ostier,
2002,
ACL 2002.
Dominique Borrione,
Schmaltz Julien,
2003,
ACL 2003.
Dominique Borrione,
G. Al Sammane,
2003
.
Laurence Pierre,
Dominique Borrione,
Zeineb Bel Hadj Amor,
2014,
2014 22nd International Conference on Very Large Scale Integration (VLSI-SoC).
Dominique Borrione,
2011
.
Laurence Pierre,
Dominique Borrione,
Zeineb Bel Hadj Amor,
2014,
2014 10th Conference on Ph.D. Research in Microelectronics and Electronics (PRIME).
Wolfgang J. Paul,
Dominique Borrione,
W. Paul,
2005
.
Laurence Pierre,
Hans Eveking,
Dominique Borrione,
1993
.
Dominique Borrione,
David Déharbe,
D. Déharbe,
1995,
CHARME.
Katell Morin-Allory,
Dominique Borrione,
D. Borrione,
2005,
Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..
Dominique Borrione,
Hélène Collavizza,
J.-L. Paillet,
1989
.
Dominique Borrione,
2001
.
Dominique Borrione,
H. Bouamama,
F. Vestman,
1997,
CHARME.
Katell Morin-Allory,
Dominique Borrione,
Yann Oddos,
2007,
2007 IEEE Design and Diagnostics of Electronic Circuits and Systems.
Ashraf M. Salem,
Dominique Borrione,
Ayman M. Wahba,
2001,
ISCAS 2001. The 2001 IEEE International Symposium on Circuits and Systems (Cat. No.01CH37196).
Rolf Ernst,
Dominique Borrione,
1999
.
Dominique Borrione,
Robert Piloty,
Mario Barbacci,
1980,
AFIPS '80.
Laurence Pierre,
Julien Schmaltz,
Dominique Borrione,
2008,
SBCCI '08.
Dominique Borrione,
Ifip Wg,
1987
.
Dominique Borrione,
Ghiath Al Sammane,
Remy Chevallier,
2005,
ACM Great Lakes Symposium on VLSI.
Dominique Borrione,
1981
.
Katell Morin-Allory,
Dominique Borrione,
Guillaume Plassan,
2017,
MEMOCODE.
Julien Schmaltz,
Dominique Borrione,
D. Borrione,
2005,
TPHOLs.
Dominique Borrione,
R. Ernst,
R. Ernst,
1999
.
Dominique Borrione,
Ron Waxman,
1991
.
Ashraf M. Salem,
Dominique Borrione,
A. Salem,
1995,
Formal Methods Syst. Des..
Zeljko Zilic,
Katell Morin-Allory,
Dominique Borrione,
2008,
2008 IEEE International High Level Design Validation and Test Workshop.
Dominique Borrione,
Philippe Georgelin,
Vanderlei Moraes Rodrigues,
2000,
RITA.
Dominique Borrione,
David Déharbe,
Jorgiano Vidal,
2002,
IWLS.
Dominique Borrione,
Marc Renaudin,
Jean-Baptiste Rigaud,
2003,
36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.
Dominique Borrione,
Robert Piloty,
Mario Barbacci,
1980,
AFIPS National Computer Conference.
Wolfgang J. Paul,
Dominique Borrione,
2005,
CHARME.
Katell Morin-Allory,
Dominique Borrione,
Yann Oddos,
2008,
2008 6th ACM/IEEE International Conference on Formal Methods and Models for Co-Design.
Dominique Borrione,
Robert Piloty,
1992
.
Dominique Borrione,
1989
.
Dominique Borrione,
1976
.
Dominique Borrione,
A. A. Jerraya,
J. Dusina,
1998
.
Dominique Borrione,
Ayman M. Wahba,
A. Wahba,
1997,
Proceedings European Design and Test Conference. ED & TC 97.
Raimund Ubar,
Dominique Borrione,
1999
.
Fatemeh Negin Javaheri,
Dominique Borrione,
Katell Morin-Allory,
2017,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Katell Morin-Allory,
Dominique Borrione,
Yann Oddos,
2009,
VLSI-SoC.
Dominique Borrione,
Ayman M. Wahba,
1996,
Proceedings EURO-DAC '96. European Design Automation Conference with EURO-VHDL '96 and Exhibition.
Wolfgang J. Paul,
Dominique Borrione,
W. Paul,
2005
.
Dominique Borrione,
2010
.
Raimund Ubar,
Dominique Borrione,
R. Ubar,
1999,
VLSI.
Dominique Borrione,
Robert Piloty,
Mario Barbacci,
1980,
AFIPS '80.
Katell Morin-Allory,
Dominique Borrione,
2006,
FDL.
Julien Schmaltz,
Dominique Borrione,
2004,
FMCAD.
Dominique Borrione,
Emil Dumitrescu,
D. Borrione,
2003,
The 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications, 2003. Proceedings..
Laurence Pierre,
Julien Schmaltz,
Dominique Borrione,
2009
.
Zeljko Zilic,
Katell Morin-Allory,
Dominique Borrione,
2009,
GLSVLSI '09.
Zeljko Zilic,
Katell Morin-Allory,
Dominique Borrione,
2010,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Raimund Ubar,
Dominique Borrione,
1998
.
Dominique Borrione,
David Déharbe,
Ayman M. Wahba,
1996,
FMCAD.
Dominique Borrione,
Philippe Georgelin,
Vanderlei Moraes Rodrigues,
2000
.
Dominique Borrione,
David Déharbe,
1995
.
Julien Schmaltz,
Dominique Borrione,
Diana Toma,
2004,
Proceedings. SBCCI 2004. 17th Symposium on Integrated Circuits and Systems Design (IEEE Cat. No.04TH8784).
Dominique Borrione,
Marc Renaudin,
Laurent Mounier,
2003,
VLSI-SOC.
Julien Schmaltz,
Dominique Borrione,
D. Borrione,
2008,
Formal Aspects of Computing.
Laurence Pierre,
Ashraf Salem,
Dominique Borrione,
1992
.
Dominique Borrione,
Diana Toma,
2004
.