Julien Alexandre Dit Sandretto
发表
Julien Alexandre Dit Sandretto,
Milan Hladík,
2017,
Appl. Math. Comput..
Julien Alexandre Dit Sandretto,
2018,
ArXiv.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
2019,
IFSA/NAFIPS.
Gilles Trombettoni,
Julien Alexandre Dit Sandretto,
David Daney,
2014,
Math. Comput. Sci..
Julien Alexandre Dit Sandretto,
Olivier Mullier,
Olivier Mullier,
2019,
NUMTA.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2020,
Acta Cybern..
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Rémi Delmas,
2017
.
Julien Alexandre Dit Sandretto,
2018,
2018 Annual American Control Conference (ACC).
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
2016
.
Julien Alexandre Dit Sandretto,
Cyprien Nicolas,
2013,
ArXiv.
Luca Geretti,
Matthias Althoff,
Julien Alexandre Dit Sandretto,
2020,
ARCH.
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Alexandre Chapoutot,
2018,
Formal Methods Syst. Des..
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Alexandre Chapoutot,
2016,
2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR).
Julien Alexandre Dit Sandretto,
2017
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2016,
Optim. Methods Softw..
Gilles Trombettoni,
Julien Alexandre Dit Sandretto,
David Daney,
2013
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2017,
2017 First IEEE International Conference on Robotic Computing (IRC).
Julien Alexandre Dit Sandretto,
Pierre-Loïc Garoche,
Alexandre Chapoutot,
2019,
CyPhy/WESE.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Douglas Picciani de Suza,
2016,
MORSE '16.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Alexandre Chapoutot,
2016,
NSV@CAV.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Adrien Le Coënt,
2020,
IEEE International Conference on Software Engineering and Formal Methods.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Elliot Brendel,
2017
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2015,
SynCoP.
Julien Alexandre Dit Sandretto,
Jian Wan,
J. Wan,
2018,
RP.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Olivier Mullier,
2018,
Cyber-Physical Systems Security.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Elliot Brendel,
2018,
ADHS.
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Ludovic Chamoin,
2017,
RP.
Julien Alexandre Dit Sandretto,
2013
.
Julien Alexandre Dit Sandretto,
2019,
Acta Cybern..
Julien Alexandre Dit Sandretto,
Laurent Fribourg,
Mohamed Fnadi,
2021,
2021 American Control Conference (ACC).
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Adrien Le Coënt,
2021,
Software and Systems Modeling.
Julien Alexandre Dit Sandretto,
Bruno Hérissé,
Alexandre Chapoutot,
2021,
Acta Cybern..
Luca Geretti,
Matthias Althoff,
Christian Schilling,
2021,
ARCH@ADHS.
Julien Alexandre Dit Sandretto,
Mohamed Fnadi,
Mohamed Fnadi,
2021,
Algorithms.
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,
Alexandre Chapoutot,
Alexandre Chapoutot,
2015
.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
2016
.
Julien Alexandre Dit Sandretto,
D. Limón,
T. Alamo,
2019
.
Julien Alexandre Dit Sandretto,
X. Thirioux,
C. Garion,
2020
.
Julien Alexandre Dit Sandretto,
X. Thirioux,
C. Garion,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).
Julien Alexandre Dit Sandretto,
Julien Alexandre dit Sandretto,
Olivier Mullier,
2021,
Acta Cybern..
Sensitivity-based Heuristic for Guaranteed Global Optimization with Nonlinear Ordinary Differential Equations
pdf
Julien Alexandre Dit Sandretto,
Julien Alexandre dit Sandretto,
2019,
ArXiv.
Julien Alexandre Dit Sandretto,
E. Lucet,
Selma Kchir,
2022,
ICINCO.
Julien Alexandre Dit Sandretto,
Alexandre Chapoutot,
Etienne Bertin,
2021,
2021 60th IEEE Conference on Decision and Control (CDC).