Bernard Boigelot
发表
Bernard Boigelot,
Louis Latour,
2001,
CIAA.
Benoît Mercatoris,
Bernard Boigelot,
Sruthi Moorthy Krishna Moorthy Parvathi,
2014
.
Bernard Boigelot,
Bernard Boigelot,
2003,
Theor. Comput. Sci..
Pierre Wolper,
Patrice Godefroid,
Bernard Boigelot,
1997
.
Bernard Boigelot,
Stéphane Lens,
2016,
ArXiv.
Damien Ernst,
Bernard Boigelot,
Raphaël Fonteneau,
2012,
SIAM J. Control. Optim..
Frédéric Herbreteau,
Bernard Boigelot,
2006,
CAV.
Pierre Wolper,
Axel Legay,
Bernard Boigelot,
2004,
TACAS.
Pierre Wolper,
Patrice Godefroid,
Bernard Boigelot,
1997,
SAS.
Bernard Boigelot,
Jean-François Degbomont,
2009,
LATA.
Pierre Wolper,
Sébastien Jodogne,
Bernard Boigelot,
2001,
IJCAR.
Bernard Boigelot,
Louis Latour,
Bernard Boigelot,
2001,
Theor. Comput. Sci..
Bernard Boigelot,
Julien Brusten,
2007,
ICALP.
Patrice Godefroid,
Bernard Boigelot,
Bernard Boigelot,
1996,
FME.
Bernard Boigelot,
Julien Brusten,
2007
.
Patrice Godefroid,
Bernard Boigelot,
Bernard Boigelot,
1996,
CAV.
Pierre Wolper,
Bernard Boigelot,
Stéphane Rassart,
1998,
ICALP.
Pierre Wolper,
Bernard Boigelot,
Bernard Boigelot,
1994,
CAV.
Bernard Boigelot,
2005,
VISSAS.
Patrice Godefroid,
Bernard Boigelot,
Bernard Boigelot,
1999,
Formal Methods Syst. Des..
Véronique Bruyère,
Bernard Boigelot,
Julien Brusten,
2008,
ICALP.
Pierre Wolper,
Bernard Boigelot,
Bernard Boigelot,
2000,
TACAS.
Bernard Boigelot,
Julien Brusten,
2009,
Theor. Comput. Sci..
Bernard Boigelot,
Jean-François Degbomont,
Julien Brusten,
2010,
INFINITY.
Bernard Boigelot,
Jean-François Focant,
Laurent Leduc,
2020
.
Véronique Bruyère,
Bernard Boigelot,
Julien Brusten,
2008,
ICALP.
Bernard Boigelot,
Stéphane Rassart,
Louis Bronne,
1997,
CAV.
Pierre Wolper,
Sébastien Jodogne,
Bernard Boigelot,
2003,
ArXiv.
Damien Ernst,
Bernard Boigelot,
Raphaël Fonteneau,
2014,
53rd IEEE Conference on Decision and Control.
Pierre Wolper,
Bernard Boigelot,
Bernard Boigelot,
2002,
ICLP.
Sébastien Jodogne,
Frédéric Herbreteau,
Bernard Boigelot,
2003,
CAV.
Patrice Godefroid,
Bernard Boigelot,
Bernard Boigelot,
1997,
TACAS.
Pierre Wolper,
Axel Legay,
Bernard Boigelot,
2003
.
Pierre Wolper,
Axel Legay,
Bernard Boigelot,
2003,
CAV.
Pierre Wolper,
Bernard Boigelot,
Bernard Boigelot,
1995,
SAS.
Frédéric Herbreteau,
Bernard Boigelot,
Isabelle Mainz,
2014,
ATVA.
Bernard Boigelot,
Jérôme Leroux,
Julien Brusten,
2009,
CADE.
Bernard Boigelot,
Jean-François Degbomont,
Julien Brusten,
2012,
LATA.
Pierre Wolper,
Sébastien Jodogne,
Bernard Boigelot,
2005,
TOCL.
Bernard Boigelot,
Stéphane Lens,
2015,
ArXiv.
Bernard Boigelot,
Isabelle Mainz,
Bernard Boigelot,
2018,
ATVA.
Bernard Boigelot,
Stéphane Lens,
Bernard Boigelot,
2014
.
Pierre Wolper,
Bernard Boigelot,
Bernard Boigelot,
1998,
CAV.
Benoît Mercatoris,
Bernard Boigelot,
Sruthi Moorthy Krishna Moorthy Parvathi,
2014
.
Frédéric Herbreteau,
Bernard Boigelot,
2006
.
Bernard Boigelot,
Bernard Boigelot,
2012,
International Journal on Software Tools for Technology Transfer.
Bernard Boigelot,
2021
.
Damien Ernst,
Bernard Boigelot,
Raphaël Fonteneau,
2012
.
Benoît Mercatoris,
Bernard Boigelot,
Sruthi Moorthy Krishna Moorthy Parvathi,
2015
.
Damien Ernst,
Bernard Boigelot,
Raphaël Fonteneau,
2011
.