Benoît Boyer
发表
Jan Olaf Blech,
Thanh-Hung Nguyen,
Benoît Boyer,
2011,
ArXiv.
Benoît Boyer,
Thomas P. Jensen,
Thomas Genet,
2008,
IJCAR.
David Mentré,
Benoît Boyer,
Shun Hinatsu,
2019,
NBiS.
Axel Legay,
Benoît Boyer,
Alessandro Mignogna,
2013,
AiSoS.
Thomas Jensen,
Benoît Boyer,
Thomas Genet,
2008
.
Axel Legay,
Benoît Boyer,
Alexandre Arnold,
2013
.
Benoît Boyer,
2010
.
Axel Legay,
Sean Sedwards,
Kevin Corre,
2013,
QEST.
Axel Legay,
Benoît Boyer,
Marius Bozga,
2013,
2013 13th International Conference on Application of Concurrency to System Design.
Axel Legay,
Benoît Boyer,
Yohan Boichut,
2012,
ICFEM.
Jan Olaf Blech,
Benoît Boyer,
Thanh Hung Nguyen,
2017
.
Benoît Boyer,
Thomas Genet,
T. Genet,
2010,
RULE.
Jean-Pierre Talpin,
Benoît Boyer,
Simon Lunel,
2017,
2017 17th International Conference on Application of Concurrency to System Design (ACSD).
Axel Legay,
Louis-Marie Traonouez,
Benoît Boyer,
2014,
ISoLA.
Axel Legay,
Kevin Corre,
Louis-Marie Traonouez,
2014
.
Axel Legay,
Benoît Boyer,
Alexandre Arnold,
2013,
AiSoS.
Nobuhiro Kobayashi,
Koichi Shimizu,
Teruyoshi Yamaguchi,
2017,
2017 IEEE/ACM 5th International FME Workshop on Formal Methods in Software Engineering (FormaliSE).
Jean-Pierre Talpin,
Benoît Boyer,
Stéphane Kastenbaum,
2021,
ICTAC.