B. Caillaud
发表
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2007,
ArXiv.
Benoît Caillaud,
Albert Benveniste,
Mathias Malandain,
2020,
Annu. Rev. Control..
Alberto L. Sangiovanni-Vincentelli,
Kim G. Larsen,
Dejan Nickovic,
2018,
Found. Trends Electron. Des. Autom..
Dejan Nickovic,
Roberto Passerone,
Alberto Sangiovanni-Vincentelli,
2015
.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Benoît Caillaud,
2006,
EMSOFT '06.
A. Benveniste,
A. Sangiovanni-Vincentelli,
T. Henzinger,
2011
.
Bruno Arnaldi,
Benoît Caillaud,
Bernard Gibaud,
2019,
Nurse education today.
B. Caillaud,
Jean-Baptiste Raclet,
G. Verdier,
2014
.
A. Benveniste,
B. Caillaud,
Marc Pouzet,
2013
.
Timothy Bourke,
Marc Pouzet,
Albert Benveniste,
2013
.
B. Caillaud,
Axel Legay,
Benoît Delahaye,
2010,
FMOODS/FORTE.
Benoît Caillaud,
Albert Benveniste,
Benoît Delahaye,
2008
.
B. Caillaud,
J. Gerstmayr,
2022,
Sports Engineering.
B. Caillaud,
2021
.
B. Arnaldi,
B. Caillaud,
V. Gouranton,
2020,
The Visual Computer.
B. Caillaud,
Axel Legay,
Benoît Delahaye,
2012
.
A. Benveniste,
B. Caillaud,
R. Passerone,
2014,
2014 IEEE Conference on e-Learning, e-Management and e-Services (IC3e).
A. Benveniste,
B. Caillaud,
D. Potop-Butucaru,
2004,
Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..
Benoît Caillaud,
Jean-Baptiste Raclet,
B. Caillaud,
2012,
ICTAC.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Theor. Comput. Sci..
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2011,
Formal Methods Syst. Des..
Axel Legay,
Roberto Passerone,
Benoît Caillaud,
2011,
Fundam. Informaticae.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Axel Legay,
Andrzej Wasowski,
Kim Guldstrand Larsen,
2010
.
Axel Legay,
Roberto Passerone,
Benoît Caillaud,
2009,
EMSOFT '09.
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
A. Benveniste,
B. Caillaud,
R. Passerone,
2009
.
Albert Benveniste,
Mathias Malandain,
Benoit Caillaud,
2021,
ArXiv.
Benoît Caillaud,
Ayman Aljarbouh,
B. Caillaud,
2015,
ArXiv.
A. Benveniste,
R. Murray,
B. Caillaud,
2023,
ArXiv.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2009
.
Benoît Caillaud,
Albert Benveniste,
Jean-Baptiste Raclet,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Alexandre Yakovlev,
Benoît Caillaud,
Dumitru Potop-Butucaru,
2005,
FMGALS@MEMOCODE.
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2012,
J. Comput. Syst. Sci..
Benoît Caillaud,
Luca Bernardinello,
Lucia Pomello,
2003,
ICATPN.
B. Caillaud,
2003
.
Benoît Caillaud,
Dumitru Potop-Butucaru,
B. Caillaud,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Jacques Klein,
Loïc Hélouët,
Benoît Caillaud,
2005,
FMICS.
Benoît Caillaud,
Claude Jard,
Loïc Hélouët,
2022
.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Benoît Caillaud,
2004,
EMSOFT '04.
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2008,
FMCO.
Benoît Caillaud,
Philippe Darondeau,
Eric Badouel,
2007,
2006 8th International Workshop on Discrete Event Systems.
Bruno Arnaldi,
Benoît Caillaud,
Aurélien Lamercerie,
2020,
The Visual Computer.
Timothy Bourke,
Marc Pouzet,
Albert Benveniste,
2018,
Proceedings of the IEEE.
Benoît Caillaud,
Laurence Dinh,
Eric Badouel,
2007
.
Gabor Karsai,
Oscar Nierstrasz,
Julien DeAntoni,
2014,
Globalizing Domain-Specific Languages.
Benoît Caillaud,
Paul Caspi,
Claude Jard,
1997
.
A. Benveniste,
B. Caillaud,
Mathias Malandain,
2022,
Electronics.
A. Benveniste,
B. Caillaud,
Mathias Malandain,
2021,
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021.
A. Benveniste,
B. Caillaud,
Mathias Malandain,
2021,
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021.
Marc Pouzet,
Albert Benveniste,
Hilding Elmqvist,
2019,
Computing and Software Science.
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2014
.
A. Benveniste,
B. Caillaud,
Mathias Malandain,
2022,
Principles of Systems Design.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Albert Benveniste,
2008,
TECS.
A. Benveniste,
B. Caillaud,
Mathias Malandain,
2021,
Proceedings of 14th Modelica Conference 2021, Linköping, Sweden, September 20-24, 2021.
A. Benveniste,
B. Caillaud,
Mathias Malandain,
2022
.
Benoît Caillaud,
Joan Thibault,
Mathias Malandain,
2020,
HSCC.
Marc Pouzet,
Benoît Caillaud,
Albert Benveniste,
2017,
HSCC.
Benoît Caillaud,
Philippe Darondeau,
Eric Badouel,
2002,
Formal Aspects of Computing.
Dejan Nickovic,
Thomas A. Henzinger,
Roberto Passerone,
2015
.
Benoît Caillaud,
Albert Benveniste,
Jean-Pierre Talpin,
1998,
Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2009
.
Jean-Marc Jézéquel,
Benoît Caillaud,
Alain Le Guennec,
1999,
Ann. des Télécommunications.
B. Caillaud,
C. Jard,
L. Hélouët,
2002,
Mathematical Structures in Computer Science.
Loïc Hélouët,
Benoît Caillaud,
Claude Jard,
1998
.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Albert Benveniste,
2005,
EMSOFT.
Loïc Hélouët,
Benoît Caillaud,
Philippe Darondeau,
2000,
MOVEP.
Benoît Caillaud,
Albert Benveniste,
Paul Le Guernic,
1999,
CONCUR.