Benoît Caillaud
发表
Eric Badouel,
Philippe Darondeau,
Benoît Caillaud,
2011
.
Marc Pouzet,
Benoît Caillaud,
Albert Benveniste,
2017
.
Benoît Caillaud,
Claude Jard,
Loïc Hélouët,
2022
.
Anca Muscholl,
Benoît Caillaud,
2002,
Electron. Notes Theor. Comput. Sci..
Benoît Caillaud,
Dumitru Potop-Butucaru,
B. Caillaud,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Eric Badouel,
Albert Benveniste,
Sophie Pinchinat,
2011
.
Benoît Caillaud,
2014
.
Benoît Caillaud,
Joan Thibault,
Mathias Malandain,
2020
.
Benoît Caillaud,
Joan Thibault,
Mathias Malandain,
2020,
HSCC.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Albert Benveniste,
2005,
EMSOFT.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Albert Benveniste,
2008,
TECS.
Alexandre Yakovlev,
Benoît Caillaud,
Dumitru Potop-Butucaru,
2005,
FMGALS@MEMOCODE.
Benoît Caillaud,
B. Caillaud,
2011
.
Jean-Pierre Talpin,
Benoît Caillaud,
Dumitru Potop-Butucaru,
2005,
EMSOFT.
Marc Pouzet,
Albert Benveniste,
Hilding Elmqvist,
2019,
Computing and Software Science.
Albert Benveniste,
Benoît Caillaud,
Dumitru Potop-Butucaru,
2006,
Formal Methods Syst. Des..