Alexandre Chapoutot
发表
M. Althoff,
Chen,
Xin,
2019
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
2016
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
2016
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
2016
.
Julien Alexandre Dit Sandretto,
X. Thirioux,
C. Garion,
2020
.
O. Bouissou,
Alexandre Chapoutot,
Yassamine Seladji,
2010
.
Julien Alexandre Dit Sandretto,
X. Thirioux,
C. Garion,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2016,
Optim. Methods Softw..
Julien Alexandre Dit Sandretto,
Bruno Hérissé,
Alexandre Chapoutot,
2021,
Acta Cybern..
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2015,
SynCoP.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Alexandre Chapoutot,
2015
.
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Ludovic Chamoin,
2017,
RP.
Matthieu Martel,
Alexandre Chapoutot,
M. Martel,
2009,
2009 International Conference on Embedded Software and Systems.
Samuel Mimram,
Alexandre Chapoutot,
Olivier Bouissou,
2012,
2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP).
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Adrien Le Coënt,
2020,
IEEE International Conference on Software Engineering and Formal Methods.
Alexandre Chapoutot,
Olivier Bouissou,
Adel Djoudi,
2013,
NASA Formal Methods.
Alexandre Chapoutot,
Olivier Mullier,
Julien Alexandre Dit Sandretto,
2021,
Acta Cybern..
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2018,
Cyber-Physical Systems Security.
Behçet Açikmese,
P. Garoche,
Y. Mao,
2022,
HSCC.
Alexandre Chapoutot,
Olivier Bouissou,
Samuel Mimram,
2014
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Adrien Le Coënt,
2021,
Software and Systems Modeling.
Sylvie Boldo,
Florian Faissole,
Alexandre Chapoutot,
2020,
IEEE Transactions on Computers.
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Alexandre Chapoutot,
2018,
Formal Methods Syst. Des..
L. Fribourg,
Alexandre Chapoutot,
Julien Alexandre dit Sandretto,
2017,
Formal Methods in System Design.
Sylvie Boldo,
Florian Faissole,
Alexandre Chapoutot,
2017,
2017 IEEE 24th Symposium on Computer Arithmetic (ARITH).
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Alexandre Chapoutot,
2016,
NSV@CAV.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Douglas Picciani de Suza,
2016,
MORSE '16.
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Alexandre Chapoutot,
2016,
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).
Samuel Mimram,
Alexandre Chapoutot,
Olivier Bouissou,
2013,
ArXiv.
Alexandre Chapoutot,
Olivier Bouissou,
O. Bouissou,
2012,
LCTES '12.
Alexandre Chapoutot,
2013
.
Marcia Kilchenman O'Malley,
Robert Cartwright,
Cherif Salama,
2010,
ICCPS '10.
Laurent-Stéphane Didier,
Alexandre Chapoutot,
Fanny Villers,
2012,
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing.
Matthieu Martel,
Nasrine Damouche,
Alexandre Chapoutot,
2015,
LOPSTR.
Michel Kieffer,
Alexandre Chapoutot,
Olivier Bouissou,
2015,
Autom..
Alexandre Chapoutot,
Alexandre Chapoutot,
2010,
SAS.
Matthieu Martel,
Nasrine Damouche,
Alexandre Chapoutot,
2017,
International Journal on Software Tools for Technology Transfer.
Michel Kieffer,
Alexandre Chapoutot,
Olivier Bouissou,
2014,
53rd IEEE Conference on Decision and Control.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Etienne Bertin,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
David Filliat,
Adina M. Panchea,
Alexandre Chapoutot,
2017,
2017 IEEE 56th Annual Conference on Decision and Control (CDC).