J. Bodeveix
发表
O. Koné,
J. Bodeveix,
R. Bouaziz,
2005
.
J. Talpin,
M. Pantel,
M. Filali,
2010
.
Mamoun Filali,
François Vernadat,
Pierre Dissaux,
2006
.
Mamoun Filali,
Jean-Paul Bodeveix,
Elie Fares,
2018,
2013 20th International Symposium on Temporal Representation and Reasoning.
M. Filali,
Zhibin Yang,
J. Bodeveix,
2019,
Frontiers of Computer Science.
Mamoun Filali,
Jean-Paul Bodeveix,
Shuanglong Kan,
2017,
MEMOCODE.
Mamoun Filali,
Brahim Hamid,
Jean-Paul Bodeveix,
2019,
2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS).
Mamoun Filali,
Silvano Dal-Zilio,
François Vernadat,
2009,
Ada-Europe.
Mamoun Filali,
Frédéric Lang,
Hubert Garavel,
2008
.
Nora Cuppens-Boulahia,
Frédéric Cuppens,
Jean-Paul Bodeveix,
2007,
FMSE '07.
Frits W. Vaandrager,
Mamoun Filali,
Jean-Paul Bodeveix,
2013,
FSEN.
Martin Strecker,
Mamoun Filali,
Jean-Paul Bodeveix,
2005,
FESCA@ETAPS.
Mamoun Filali,
Jean-Paul Bodeveix,
Arnaud Dieumegard,
2018,
FACS.
Mamoun Filali,
Jean-Paul Bodeveix,
Zhibin Yang,
2021,
Formal Aspects of Computing.
Mamoun Filali,
Jean-Paul Bodeveix,
Elie Fares,
2013,
ATVA.
J. Bodeveix,
Kai Hu,
Jian Zhu,
2022,
Wireless Communications and Mobile Computing.
Mamoun Filali,
Jean-Paul Bodeveix,
Zhibin Yang,
2015,
Sci. Comput. Program..
Mamoun Filali,
Jean-Paul Bodeveix,
Manuel Garnacho,
2013,
FORMATS.
Mamoun Filali,
Jean-Paul Bodeveix,
Abdeldjalil Boudjadar,
2012,
2012 19th International Symposium on Temporal Representation and Reasoning.
Mamoun Filali,
Jean-Paul Bodeveix,
Abdeldjalil Boudjadar,
2012,
SC@TOOLS.
Mamoun Filali,
Jean-Paul Bodeveix,
Abdeldjalil Boudjadar,
2011,
ATVA.
Mamoun Filali,
David Chemouil,
Julien Brunel,
2019,
FM.
Mamoun Filali,
Daniel Thomas,
J-F Rolland,
2008
.
Mamoun Filali,
Richard Banach,
Michael Poppleton,
2005
.
Jean-Paul Bodeveix,
David Chemouil,
Julien Brunel,
2021,
CAV.
Ricardo Bedin França,
Mamoun Filali Amine,
L. Becker,
2007
.
Mamoun Filali,
David Chemouil,
Jean-Paul Bodeveix,
2007,
JTRES.
Kai Hu,
Mamoun Filali,
Jean-Pierre Talpin,
2020,
ArXiv.
Mamoun Filali,
Silvano Dal-Zilio,
Didier Le Botlan,
2015,
ArXiv.
O. Koné,
J. Bodeveix,
R. Bouaziz,
2005
.
Mamoun Filali,
Jean-Paul Bodeveix,
M. Filali,
2000,
TACAS.
Mamoun Filali,
Jean-Paul Bodeveix,
M. Filali,
2000,
ICDCS Workshop on Distributed System Validation and Verification.
Mamoun Filali,
Jean-Paul Bodeveix,
M. Filali,
1999
.
Mamoun Filali,
Jean-Paul Bodeveix,
Elie Fares,
2013,
Acta Informatica.
Mamoun Filali,
Gérard Padiou,
Jean-Paul Bodeveix,
2003,
FMICS.
Mamoun Filali,
Jean-Paul Bodeveix,
Elie Fares,
2011,
WS-FM.
Mamoun Filali,
Jean-Paul Bodeveix,
Elie Fares,
2011,
BMMDS/EMMSAD.
Mamoun Filali,
Jean-Paul Bodeveix,
P. Roche,
1994,
TPHOLs.
Dianfu Ma,
Kai Hu,
Jean-Paul Bodeveix,
2014,
J. Syst. Softw..
Dianfu Ma,
Kai Hu,
Jean-Paul Bodeveix,
2011,
2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
Dianfu Ma,
Kai Hu,
Jean-Paul Bodeveix,
2010,
2010 IEEE International Conference on Progress in Informatics and Computing.
Yongwang Zhao,
Dianfu Ma,
Kai Hu,
2015
.
Dave Thomas,
Mamoun Filali,
Jean-Paul Bodeveix,
2007,
12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).
Radu Mateescu,
B. Berthomieu,
J. Bodeveix,
2006
.