Boutheina Chetali
发表
Julien Botella,
Bruno Legeard,
Frédéric Dadeau,
2012
.
June Andronick,
Christine Paulin-Mohring,
Boutheina Chetali,
2005,
FM.
Quang Huy Nguyen,
Boutheina Chetali,
Q. Nguyen,
2009,
International Journal on Software Tools for Technology Transfer.
Quang Huy Nguyen,
Boutheina Chetali,
2006,
CARDIS.
Pierre Lescanne,
Boutheina Chetali,
P. Lescanne,
1992,
Larch.
Olivier Ly,
June Andronick,
Boutheina Chetali,
2003,
TPHOLs.
Pierre Lescanne,
Boutheina Chetali,
1995,
FORTE.
Boutheina Chetali,
1995
.
Louis Goubin,
David Vigilant,
Boutheina Chetali,
2013,
Journal of Cryptographic Engineering.
Boutheina Chetali,
2009,
TAP@TOOLS.
Quang-Huy Nguyen,
Boutheina Chetali,
2006
.
Fabio Massacci,
Olga Gadyatskaya,
Quang Huy Nguyen,
2013,
J. Inf. Secur. Appl..
Barbara Heyd,
Boutheina Chetali,
1997,
TPHOLs.
Julien Botella,
Bruno Legeard,
Lydie du Bousquet,
2013
.
Boutheina Chetali,
1998,
IEEE Trans. Software Eng..
Quang Huy Nguyen,
Boutheina Chetali,
2008,
FM.
Fabrice Bouquet,
Bruno Legeard,
Jacques Julliand,
2010,
IAS 2010.
Mohamed Ben Ahmed,
Moncef Tagina,
Boutheina Chetali,
2006,
2006 Canadian Conference on Electrical and Computer Engineering.
Boutheina Chetali,
1995
.
Louis Goubin,
David Vigilant,
Boutheina Chetali,
2012
.