Benoît Caillaud
发表
Benoît Caillaud,
Laurence Dinh,
Eric Badouel,
2007
.
Benoît Caillaud,
Claude Jard,
Cyrille Bareau,
1993,
PARLE.
Benoît Caillaud,
Albert Benveniste,
Mathias Malandain,
2020,
Annu. Rev. Control..
Axel Legay,
Andrzej Wasowski,
Kim Guldstrand Larsen,
2010
.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Benoît Caillaud,
2003,
FMCO.
Jean-Marc Jézéquel,
Benoît Caillaud,
Albert Benveniste,
2000
.
Benoît Caillaud,
S. Laurie Ricker,
2009,
2009 European Control Conference (ECC).
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010
.
Dejan Nickovic,
Thomas A. Henzinger,
Roberto Passerone,
2015
.
Axel Legay,
Roberto Passerone,
Benoît Caillaud,
2011,
Fundam. Informaticae.
Benoît Caillaud,
Albert Benveniste,
2013
.
Dejan Nickovic,
Roberto Passerone,
Alberto Sangiovanni-Vincentelli,
2015
.
Axel Legay,
Roberto Passerone,
Benoît Caillaud,
2009,
EMSOFT '09.
Benoît Caillaud,
Benoît Delahaye,
2008,
ArXiv.
Benoît Caillaud,
2013
.
Alberto L. Sangiovanni-Vincentelli,
Kim G. Larsen,
Dejan Nickovic,
2018,
Found. Trends Electron. Des. Autom..
Benoît Caillaud,
1991,
FORTE.
Benoît Caillaud,
Walid Taha,
Yingfu Zeng,
2016,
2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES).
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2008,
FMCO.
Gabor Karsai,
Oscar Nierstrasz,
Julien DeAntoni,
2014,
Globalizing Domain-Specific Languages.
Benoît Caillaud,
Albert Benveniste,
2017,
Models, Algorithms, Logics and Tools.
Benoît Caillaud,
Albert Benveniste,
Benoît Delahaye,
2007
.
Compositional synthesis of latency-insensitive systems from multi-clocked synchronous specifications
Benoît Caillaud,
Jean-Pierre Talpin,
Dumitru Potop-Butucaru,
2005
.
Benoît Caillaud,
Ayman Aljarbouh,
B. Caillaud,
2015,
ArXiv.
Bruno Arnaldi,
Benoît Caillaud,
Bernard Gibaud,
2016,
MMVR.
Jean-Marc Jézéquel,
Benoît Caillaud,
Alain Le Guennec,
1999,
Ann. des Télécommunications.
Benoît Caillaud,
Albert Benveniste,
Jean-Baptiste Raclet,
2012,
2012 IEEE 51st IEEE Conference on Decision and Control (CDC).
Loïc Hélouët,
Benoît Caillaud,
Philippe Darondeau,
2000,
MOVEP.
Benoît Caillaud,
Philippe Darondeau,
Eric Badouel,
2007,
2006 8th International Workshop on Discrete Event Systems.
Bruno Arnaldi,
Benoît Caillaud,
Bernard Gibaud,
2016,
ICAT-EGVE.
Benoît Caillaud,
Ayman Aljarbouh,
2016
.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2011,
Formal Methods Syst. Des..
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2012,
J. Comput. Syst. Sci..
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Benoît Caillaud,
2006,
EMSOFT '06.
Benoît Caillaud,
Claude Jard,
Cyrille Bareau,
1995,
TAPSOFT.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2009
.
Benoît Caillaud,
Albert Benveniste,
Benoît Delahaye,
2008
.
Benoît Caillaud,
Albert Benveniste,
Paul Le Guernic,
1999,
CONCUR.
Timothy Bourke,
Benoît Caillaud,
Eric Badouel,
2011
.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2011,
Theor. Comput. Sci..
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2009,
2009 Ninth International Conference on Application of Concurrency to System Design.
Benoît Caillaud,
Albert Benveniste,
Dumitru Potop-Butucaru,
2004,
Proceedings. Fourth International Conference on Application of Concurrency to System Design, 2004. ACSD 2004..
Jacques Klein,
Loïc Hélouët,
Benoît Caillaud,
2005,
FMICS.
Benoît Caillaud,
Pierre Le Maigat,
2002
.
Bruno Arnaldi,
Benoît Caillaud,
Aurélien Lamercerie,
2020,
The Visual Computer.
Benoît Caillaud,
Jean-Baptiste Raclet,
B. Caillaud,
2012,
ICTAC.
Benoît Caillaud,
S. Laurie Ricker,
2007,
2007 46th IEEE Conference on Decision and Control.
Benoît Caillaud,
Albert Benveniste,
Jean-Pierre Talpin,
1998,
Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2014,
HSCC.
Benoît Caillaud,
Albert Benveniste,
Paul Le Guernic,
1999
.
Alberto L. Sangiovanni-Vincentelli,
Luca P. Carloni,
Benoît Caillaud,
2004,
EMSOFT '04.
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2011,
LCTES '11.
Luciano Lavagno,
Benoît Caillaud,
Philippe Darondeau,
2002,
Springer US.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Axel Legay,
Benoît Caillaud,
Benoît Delahaye,
2010,
2010 10th International Conference on Application of Concurrency to System Design.
Marc Pouzet,
Benoît Caillaud,
Albert Benveniste,
2017,
HSCC.
Benoît Caillaud,
S. Laurie Ricker,
2011,
Autom..
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2009
.
Roberto Passerone,
Benoît Caillaud,
Albert Benveniste,
2007,
ArXiv.
Benoît Caillaud,
Paul Caspi,
Claude Jard,
1997
.
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Marc Pouzet,
Benoît Caillaud,
Albert Benveniste,
2010,
49th IEEE Conference on Decision and Control (CDC).
Benoît Caillaud,
Philippe Darondeau,
Eric Badouel,
2002,
Formal Aspects of Computing.
Benoît Caillaud,
Luca Bernardinello,
Lucia Pomello,
2003,
ICATPN.
Benoît Caillaud,
Albert Benveniste,
Mathias Malandain,
2021
.
Benoît Caillaud,
Albert Benveniste,
Mathias Malandain,
2021
.
Bruno Arnaldi,
Benoît Caillaud,
Bernard Gibaud,
2019,
Nurse education today.
Benoît Caillaud,
Ayman Aljarbouh,
2015
.
Loïc Hélouët,
Benoît Caillaud,
Claude Jard,
1998
.
Timothy Bourke,
Marc Pouzet,
Benoît Caillaud,
2014
.