Sylvie Putot
发表
Eric Goubault,
Antoine Miné,
Bibek Kabi,
2020,
VSTTE.
Eric Goubault,
Philippe Baufreton,
Sylvie Putot,
2007,
FMICS.
Eric Goubault,
Karim Tekkal,
Sylvie Putot,
2009,
CAV.
Matthieu Martel,
Sylvie Putot,
M. Martel,
2006
.
Eric Goubault,
Sylvie Putot,
2006,
SAS.
Eric Goubault,
Matthieu Martel,
Sylvie Putot,
2003,
Numerical Software with Result Verification.
Eric Goubault,
Sylvie Putot,
2017,
HSCC.
Eric Goubault,
Laurent Fribourg,
Sylvie Putot,
2016,
HSCC.
Sylvie Putot,
François Bidet,
Éric Goubault,
2018,
CICM Workshops.
Eric Goubault,
Sylvie Putot,
É. Goubault,
2013,
APLAS.
Eric Goubault,
Alexandru Costan,
Matthieu Martel,
2005,
CAV.
Eric Goubault,
Laurent Fribourg,
Sylvie Putot,
2015,
RP.
Sylvie Putot,
Eric Goubault,
2020,
IEEE Control Systems Letters.
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability
pdf
Ufuk Topcu,
Sylvie Putot,
Abraham P. Vinod,
2020,
ArXiv.
Eric Goubault,
Eva Darulova,
Sylvie Putot,
2018,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Eric Goubault,
Matthieu Martel,
Sylvie Putot,
2002,
ESOP.
Sriram Sankaranarayanan,
Eric Goubault,
Sylvie Putot,
2016,
TACAS.
Sylvie Putot,
2014,
Tech. Sci. Informatiques.
Eric Goubault,
Sylvie Putot,
É. Goubault,
2009,
Formal Methods Syst. Des..
Eric Goubault,
Romuald Rocher,
Daniel Ménard,
2012,
Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing.
Sriram Sankaranarayanan,
Eric Goubault,
Jacques-Henri Jourdan,
2014,
2014 American Control Conference.
Eric Goubault,
Karim Tekkal,
Jean Souyris,
2009,
FMICS.
Eric Goubault,
Sylvie Putot,
2007,
SAS.
Eric Goubault,
Michel Kieffer,
Sylvie Putot,
2013,
Reliab. Comput..
Sylvie Putot,
Franck Védrine,
Maxime Jacquemin,
2018,
SAS.
Eric Goubault,
Tristan Le Gall,
Sylvie Putot,
2012,
NSAD@SAS.
Eric Goubault,
Benjamin Martin,
Sylvie Putot,
2017,
FVAV@iFM.
Eric Goubault,
Sylvie Putot,
Lorenz Sahlmann,
2018,
CAV.
Eric Goubault,
Sylvie Putot,
Franck Védrine,
2012,
SAS.
Eric Goubault,
Laurent Fribourg,
Sylvie Putot,
2020
.
Eric Goubault,
Sylvie Putot,
Khalil Ghorbal,
2010,
CAV.
Eric Goubault,
Sylvie Putot,
É. Goubault,
2019,
HSCC.
Eric Goubault,
Xavier Allamigeon,
Sylvie Putot,
2015,
2015 International Conference on Embedded Software (EMSOFT).
Eric Goubault,
Michel Kieffer,
Sylvie Putot,
2014,
HSCC.
Eric Goubault,
Xavier Allamigeon,
Sylvie Putot,
2017,
ACM Trans. Embed. Comput. Syst..
Eric Goubault,
Sylvie Putot,
2008,
ArXiv.
Eric Goubault,
Patrick Cousot,
Antoine Miné,
2009
.
Ufuk Topcu,
Sylvie Putot,
Abraham P. Vinod,
2020,
2021 American Control Conference (ACC).
Jean Goubault-Larrecq,
Eric Goubault,
Sylvie Putot,
2011,
Computing.
Eric Goubault,
Xavier Allamigeon,
Sylvie Putot,
2016,
ACM Trans. Embed. Comput. Syst..
Eric Goubault,
Stefan Ratschan,
Georgios E. Fainekos,
2011,
Math. Comput. Sci..
Eric Goubault,
Sylvie Putot,
Khalil Ghorbal,
2009,
CAV.
Jean Goubault-Larrecq,
Eric Goubault,
Assalé Adjé,
2013,
VSTTE.
Sriram Sankaranarayanan,
Eric Goubault,
Sylvie Putot,
2020,
NeurIPS.
Eric Goubault,
Sylvie Putot,
É. Goubault,
2011,
VMCAI.
Ufuk Topcu,
Eric Goubault,
Sylvie Putot,
2021,
2021 American Control Conference (ACC).
Ufuk Topcu,
Eric Goubault,
Sylvie Putot,
2022,
2201.05715.
Sriram Sankaranarayanan,
Eric Goubault,
Sylvie Putot,
2021,
SAS.
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
pdf
Eric Goubault,
Sylvie Putot,
Nicola Bernini,
2021,
Eng. Appl. Artif. Intell..
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
pdf
Ufuk Topcu,
Eric Goubault,
Sylvie Putot,
2021,
ArXiv.
Eric Goubault,
François X. Sillion,
Sylvie Putot,
2021,
HSCC.
Eric Goubault,
Sylvie Putot,
Maria Luiza Costa Vianna,
2021,
ArXiv.
Eric Goubault,
Sylvie Putot,
Michel Kieer,
2011
.
Eric Goubault,
Tristan Le Gall,
Sylvie Putot,
2014
.