Pierre-Loïc Garoche
发表
Assalé Adjé,
Pierre-Loïc Garoche,
2015,
VMCAI.
Benoît Combemale,
Xavier Crégut,
Pierre-Loïc Garoche,
2007,
ICEIS.
Assalé Adjé,
Pierre-Loïc Garoche,
Victor Magron,
2015,
SAS.
Kenji Tei,
Shinichi Honiden,
Yoshiaki Fukazawa,
2006,
MSN.
Pierre-Loïc Garoche,
P. Garoche,
2019,
Formal Verification of Control System Software.
Pierre-Loïc Garoche,
P. Garoche,
2008
.
Assalé Adjé,
Pierre-Loïc Garoche,
2017,
Comput. Lang. Syst. Struct..
Pierre-Loïc Garoche,
2019
.
Eric Feron,
Pierre Roux,
Pierre-Loïc Garoche,
2012,
HSCC '12.
Eric Feron,
Pierre Roux,
Pierre-Loïc Garoche,
2016,
HSCC.
Pierre Roux,
Pierre-Loïc Garoche,
Xavier Thirioux,
2018,
2018 Forum on Specification & Design Languages (FDL).
Pierre Roux,
Pierre-Loïc Garoche,
2014,
FM.
Didier Henrion,
Pierre-Loïc Garoche,
Paul Rousse,
2019,
2019 18th European Control Conference (ECC).
Assalé Adjé,
Pierre-Loïc Garoche,
Alexis Werey,
2014,
APLAS.
Pierre-Loïc Garoche,
2019
.
Temesghen Kahsai,
Falk Howar,
Pierre-Loïc Garoche,
2014,
NASA Formal Methods.
Eric Feron,
Didier Henrion,
Pierre-Loïc Garoche,
2018,
LPAR.
Eric Feron,
Pierre-Loïc Garoche,
Raphael Cohen,
2017
.
Eric Feron,
Marc Pantel,
Arnaud Dieumegard,
2013,
ArXiv.
Pierre-Loïc Garoche,
2019
.
Eric Feron,
Martha A. Grover,
Kerianne Hobbs,
2017,
ArXiv.
Behçet Açikmese,
Assalé Adjé,
Pierre-Loïc Garoche,
2020,
ArXiv.
Eric Feron,
Pierre-Loïc Garoche,
Guillaume Davy,
2017
.
Marc Pantel,
Pierre-Loïc Garoche,
Xavier Thirioux,
2006,
FMOODS.
Johann Schumann,
Pierre-Loïc Garoche,
Anastasia Mavridou,
2020,
REFSQ Workshops.
Michael Dierkes,
Pierre Roux,
Pierre-Loïc Garoche,
2013,
FMICS.
Temesghen Kahsai,
Pierre-Loïc Garoche,
Xavier Thirioux,
2016,
HCVS@ETAPS.
Cesare Tinelli,
Temesghen Kahsai,
Pierre-Loïc Garoche,
2013,
NASA Formal Methods.
Eric Feron,
Pierre-Loïc Garoche,
Heber Herencia-Zapana,
2012,
NASA Formal Methods.
Xavier Crégut,
Benoit Combemale,
Pierre-Loïc Garoche,
2007
.
Cyrille Artho,
Pierre-Loïc Garoche,
2006,
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).
Pierre-Loïc Garoche,
2019
.
Cesare Tinelli,
Temesghen Kahsai,
Pierre-Loïc Garoche,
2012,
NASA Formal Methods.
Marc Pantel,
Pierre-Loïc Garoche,
Xavier Thirioux,
2007,
J. Softw..
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2015,
Formal Methods Syst. Des..
Claire Pagetti,
Pierre-Loïc Garoche,
Thomas Loquen,
2020
.
Cesare Tinelli,
Temesghen Kahsai,
Pierre-Loïc Garoche,
2012,
ArXiv.
Timothy Wang,
Eric Feron,
Marc Pantel,
2014,
Optimization and Engineering.
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2013,
ATVA.
Benoît Combemale,
Xavier Crégut,
Pierre-Loïc Garoche,
2007,
ICEIS.
Eric Feron,
Didier Henrion,
Pierre-Loïc Garoche,
2018,
ArXiv.
Eric Feron,
Pierre-Loïc Garoche,
Raphael Cohen,
2018,
2018 IEEE Conference on Decision and Control (CDC).
Pierre-Loïc Garoche,
Pierre Roux,
Adrien Champion,
2011
.
Pierre-Loïc Garoche,
2019
.
Julien Alexandre Dit Sandretto,
Pierre-Loïc Garoche,
Alexandre Chapoutot,
2019,
CyPhy/WESE.
Temesghen Kahsai,
Arnaud Dieumegard,
Pierre-Loïc Garoche,
2015,
SAC.
Xavier Crégut,
Benoit Combemale,
Pierre-Loïc Garoche,
2008
.
Michael Dierkes,
Pierre-Loïc Garoche,
Pierre Roux,
2013
.
Arie Gurfinkel,
Temesghen Kahsai,
Pierre-Loïc Garoche,
2014,
HCVS.
Assalé Adjé,
Pierre-Loïc Garoche,
Victor Magron,
2015,
ArXiv.
Pierre-Loïc Garoche,
2019
.
Virginie Wiels,
Pierre-Loïc Garoche,
Jacques Cazin,
2012
.
Pierre-Loïc Garoche,
2010
.
Pierre Roux,
Pierre-Loïc Garoche,
Rémi Delmas,
2010,
Electron. Notes Theor. Comput. Sci..
Pierre Roux,
Pierre-Loïc Garoche,
Romain Jobredeaux,
2015,
HSCC.
Arie Gurfinkel,
Temesghen Kahsai,
Pierre-Loïc Garoche,
2017,
LPAR.
Pierre-Loïc Garoche,
P. Garoche,
2019,
Formal Verification of Control System Software.
Pierre-Loïc Garoche,
2016
.
Benoît Combemale,
Xavier Crégut,
Pierre-Loïc Garoche,
2009,
J. Softw..
Behçet Açikmese,
Assalé Adjé,
Pierre-Loïc Garoche,
2020,
Autom..
Mazen Farhood,
Pierre-Loïc Garoche,
Dany Abou Jaoude,
2021,
2021 American Control Conference (ACC).
Didier Henrion,
Pierre-Loïc Garoche,
Paul Rousse,
2020,
Eur. J. Control.
Pierre-Loïc Garoche,
Xavier Thirioux,
Christophe Garion,
2021,
ACM Trans. Cyber Phys. Syst..
Pierre-Loïc Garoche,
Xavier Thirioux,
2006
.