Bernard Berthomieu
发表
Mamoun Filali,
Silvano Dal-Zilio,
Didier Le Botlan,
2015,
ArXiv.
Bernard Berthomieu,
Eric Jenn,
Pierre-Alain Bourdil,
2014,
2014 IEEE International Symposium on Software Reliability Engineering Workshops.
Silvano Dal-Zilio,
François Vernadat,
Bernard Berthomieu,
2015,
SAC.
Silvano Dal-Zilio,
Didier Le Botlan,
Bernard Berthomieu,
2019,
International Journal on Software Tools for Technology Transfer.
Benoît Combemale,
Xavier Crégut,
François Vernadat,
2008,
ECMDA-FA.
Fabrice Kordon,
Gianfranco Ciardo,
Jirí Srba,
2019,
TACAS.
Didier Lime,
Olivier H. Roux,
François Vernadat,
2007,
Discret. Event Dyn. Syst..
Andrew M. Wallace,
Robert J. Stewart,
Greg Michaelson,
2019,
J. Syst. Archit..
Mamoun Filali,
Frédéric Lang,
Hubert Garavel,
2008
.
Mamoun Filali,
Silvano Dal-Zilio,
François Vernadat,
2009,
Ada-Europe.
Silvano Dal-Zilio,
François Vernadat,
Lukasz Fronc,
2014,
FORMATS.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2010
.
Bernard Berthomieu,
1997
.
François Vernadat,
Bernard Berthomieu,
Florent Peres,
2011,
Discret. Event Dyn. Syst..
Andrew M. Wallace,
Greg J. Michaelson,
Robert J. Stewart,
2019,
SAC.
Bernard Berthomieu,
B. Berthomieu,
2008
.
Silvano Dal-Zilio,
Didier Le Botlan,
Bernard Berthomieu,
2018,
SPIN.
François Vernadat,
Bernard Berthomieu,
Florent Peres,
2008,
2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
Silvano Dal-Zilio,
Mohammed Foughali,
Félix Ingrand,
2016,
ICFEM.
François Vernadat,
Bernard Berthomieu,
F. Vernadat,
2003,
TACAS.
Silvano Dal-Zilio,
Didier Le Botlan,
Bernard Berthomieu,
2015,
ArXiv.
Thierry Le Sergent,
Bernard Berthomieu,
B. Berthomieu,
1994,
CONPAR.
François Vernadat,
Bernard Berthomieu,
Silvano Dal Zilio,
2009
.
Thierry Le Sergent,
Bernard Berthomieu,
1992,
IWMM.
François Vernadat,
Bernard Berthomieu,
Florent Peres,
2010
.
François Vernadat,
Bernard Berthomieu,
F. Vernadat,
2007,
Handbook of Real-Time and Embedded Systems.
Bernard Berthomieu,
Pierre Azéma,
Paul Decitre,
1980,
IFIP Congress.
Silvano Dal-Zilio,
Bernard Berthomieu,
Rodrigo T. Saad,
2011,
2011 10th International Symposium on Parallel and Distributed Computing.
Bernard Berthomieu,
B. Berthomieu,
1995,
PSLS.
Thierry Le Sergent,
Bernard Berthomieu,
1994,
ESOP.
Bernard Berthomieu,
B. Berthomieu,
1981
.
Mamoun Filali,
Pierre Michel,
François Vernadat,
2002
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2013
.
Marc Boyer,
Michel Diaz,
Bernard Berthomieu,
2010
.
Silvano Dal-Zilio,
Mohammed Foughali,
Félix Ingrand,
2018,
2018 IEEE/ACM 6th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Frédéric Lang,
Hubert Garavel,
François Vernadat,
2008,
ERCIM News.
Marc Pantel,
Ning Ge,
Bernard Berthomieu,
2016
.
Fabrice Kordon,
Marco Beccuti,
Jirí Srba,
2018,
Trans. Petri Nets Other Model. Concurr..
François Vernadat,
Bernard Berthomieu,
Florent Peres,
2009
.
Bernard Berthomieu,
Miguel Menasche,
B. Berthomieu,
1983,
IFIP Congress.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2011
.
François Vernadat,
Bernard Berthomieu,
Silvano Dal Zilio,
2009
.
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo Saad,
2010
.
Mamoun Filali,
Gérard Padiou,
Jean-Paul Bodeveix,
2003,
FMICS.
François Vernadat,
Bernard Berthomieu,
Pierre-Olivier Ribet,
2002,
FORTE.
Silvano Dal-Zilio,
Lukasz Fronc,
Bernard Berthomieu,
2014,
ABZ.
Silvano Dal-Zilio,
Didier Le Botlan,
Bernard Berthomieu,
2020,
ArXiv.
Mamoun Filali,
Jean-Paul Bodeveix,
François Vernadat,
2010
.
Problèmes d'Accessibilité et Espaces d'États Abstraits des Réseaux de Petri Temporels à Chronomètres
Didier Lime,
François Vernadat,
Bernard Berthomieu,
2005
.
François Vernadat,
Bernard Berthomieu,
F. Vernadat,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
Bernard Berthomieu,
Silvano Dal Zilio,
Rodrigo T. Saad,
2010,
2010 Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology.
François Vernadat,
Bernard Berthomieu,
Florent Peres,
2006,
FORMATS.
Silvano Dal-Zilio,
Bernard Berthomieu,
Rodrigo T. Saad,
2012,
ATVA.
Bernard Berthomieu,
Miguel Menasche,
1983,
Protocol Specification, Testing, and Verification.
François Vernadat,
Bernard Berthomieu,
Florent Peres,
2007,
ATVA.
Silvano Dal-Zilio,
François Vernadat,
Bernard Berthomieu,
2016,
Sci. Comput. Program..
Jean-Michel Ayache,
Bernard Berthomieu,
Pierre Azéma,
1978,
ICSE '78.
Silvano Dal-Zilio,
Didier Le Botlan,
Bernard Berthomieu,
2020,
ArXiv.
Silvano Dal-Zilio,
Bernard Berthomieu,
B. Berthomieu,
2015,
TTCS.
Silvano Dal-Zilio,
Bernard Berthomieu,
Nicolas Amat,
2021,
Fundam. Informaticae.
Bernard Berthomieu,
Camille le Moniès de Sagazan,
2007
.
Mamoun Filali,
Jean-Paul Bodeveix,
Frédéric Lang,
2009
.
Xavier Crégut,
Benoit Combemale,
Jean-Marie Farines,
2011
.