P. Garoche
发表
Michael Dierkes,
Pierre Roux,
Pierre-Loïc Garoche,
2013,
FMICS.
Behçet Açikmese,
Assalé Adjé,
Pierre-Loïc Garoche,
2020,
ArXiv.
John Hauser,
Paul Rousse,
Pierre-Loïc Garoche,
2020,
2020 59th IEEE Conference on Decision and Control (CDC).
Temesghen Kahsai,
Arnaud Dieumegard,
Pierre-Loïc Garoche,
2015,
SAC.
P. Garoche,
K. Bechgaard,
R. Brusetti,
1983
.
P. Garoche,
M. Gros,
S. Marnieros,
1998,
astro-ph/9801199.
Pierre Roux,
Pierre-Loïc Garoche,
Rémi Delmas,
2010,
Electron. Notes Theor. Comput. Sci..
R. Delmas,
P. Garoche,
P. Roux,
2010
.
P. Garoche,
Y. Calvayrac,
K. Wang,
1990
.
Pierre-Loïc Garoche,
P. Garoche,
2019,
Formal Verification of Control System Software.
Behçet Açikmese,
P. Garoche,
Sarah H. Q. Li,
2022,
ArXiv.
Pierre-Loïc Garoche,
P. Garoche,
2019,
Formal Verification of Control System Software.
Behçet Açikmese,
P. Garoche,
Sarah H. Q. Li,
2022,
ArXiv.
P. Garoche,
S. Marnieros,
L. Dumoulin,
2000,
astro-ph/0004308.
P. Garoche,
A. Benoit,
M. Gros,
2000,
astro-ph/0002462.
P. Garoche,
R. Gambino,
1985
.
P. Garoche,
M. Gros,
S. Marnieros,
2001
.
P. Garoche,
A. Moradpour,
F. Pesty,
1985
.
P. Garoche,
F. Pesty,
2005,
cond-mat/0603413.
P. Garoche,
F. Pesty,
2005
.
P. Garoche,
F. Pesty,
2003
.
P. Garoche,
A. Chelnokov,
J. Lourtioz,
2000
.
P. Garoche,
2008
.
P. Garoche,
P. Roux,
2015,
Formal Methods in System Design.
E. Feron,
D. Henrion,
P. Garoche,
2016,
Optimization and Engineering.
P. Garoche,
K. Bechgaard,
D. Jérome,
1982
.
P. Garoche,
A. Sadeghzadeh,
2022,
2022 IEEE Conference on Control Technology and Applications (CCTA).
Behçet Açikmese,
Assalé Adjé,
Pierre-Loïc Garoche,
2020,
Autom..
P. Garoche,
P. Manuel,
P. Molinié,
1976
.
P. Garoche,
Sunsheng Yi,
W. Kuan,
1982
.
P. Garoche,
Y. Calvayrac,
K. Wang,
1993
.
P. Garoche,
K. Bechgaard,
R. Brusetti,
1982
.
G. Faini,
P. Garoche,
F. Pesty,
1988
.
P. Garoche,
M. Héritier,
F. Tsobnang,
1993
.
P. Garoche,
F. Pesty,
1990
.
P. Garoche,
M. Héritier,
F. Pesty,
1989
.
P. Garoche,
K. Wang,
C. Degand,
1993
.
P. Garoche,
K. Bechgaard,
R. Brusetti,
1983
.
P. Garoche,
C. Noguera,
G. Collin,
1987
.
Behçet Açikmese,
P. Garoche,
Sarah H. Q. Li,
2020,
ArXiv.
Pierre Roux,
Pierre-Loïc Garoche,
Xavier Thirioux,
2018,
2018 Forum on Specification & Design Languages (FDL).
Temesghen Kahsai,
Pierre-Loïc Garoche,
Xavier Thirioux,
2016,
HCVS@ETAPS.
Arie Gurfinkel,
Temesghen Kahsai,
Pierre-Loïc Garoche,
2014,
HCVS.
Eric Feron,
Marc Pantel,
Arnaud Dieumegard,
2013,
ArXiv.
P. Garoche,
Y. Calvayrac,
W. Cheng,
1982
.
P. Garoche,
G. Creuzet,
I. Campbell,
1982
.
A. Fert,
P. Garoche,
B. Boucher,
1980
.
P. Garoche,
W. L. Johnson,
1981
.
P. Garoche,
Y. Calvayrac,
J. Veyssié,
1980
.
P. Garoche,
J. Veyssié,
1981
.
J. Bigot,
P. Garoche,
1983
.
P. Garoche,
M. Héritier,
F. Tsobnang,
1991
.
P. Garoche,
P. Donnadieu,
K. Wang,
1994
.
P. Garoche,
A. Malozemoff,
1984
.
G. Blaise,
P. Garoche,
G. Blaise,
2009
.
P. Garoche,
S. Dorel,
F. Pesty,
2000
.
Johann Schumann,
Pierre-Loic Garoche,
Anastasia Mavridou,
2020,
2020 IEEE 28th International Requirements Engineering Conference (RE).
Pierre Roux,
Pierre-Loïc Garoche,
Romain Jobredeaux,
2015,
HSCC.
Assalé Adjé,
Pierre-Loïc Garoche,
Alexis Werey,
2014,
APLAS.
P. Garoche,
Wang Zu-Lun,
Cheng Wu,
1982
.
P. Garoche,
J. Rebouillat,
A. Liénard,
1979
.
P. Garoche,
L. Dumoulin,
K. Wang,
2000
.
P. Garoche,
L. Dumoulin,
K. Wang,
1998
.
P. Garoche,
P. Donnadieu,
K. Wang,
2000
.
Eric Feron,
Pierre Roux,
Pierre-Loïc Garoche,
2016,
HSCC.
P. Garoche,
P. Manuel,
P. Molinié,
1978
.
P. Garoche,
F. Pesty,
2003
.
P. Garoche,
B. Coqblin,
K. Wang,
1990
.
P. Garoche,
F. Pesty,
1986
.
P. Garoche,
J. Durand,
J. Veyssié,
1980
.
P. Garoche,
J. Cooper,
S. Tomić,
1986
.
A. Fert,
P. Garoche,
B. Boucher,
1980
.
Timothy Wang,
Eric Feron,
Marc Pantel,
2014,
Optimization and Engineering.
Alexei Chelnokov,
J.-M. Lourtioz,
S. Rowson,
2000
.
Eric Feron,
Pierre-Loïc Garoche,
Heber Herencia-Zapana,
2012,
NASA Formal Methods.
P. Garoche,
J. Torré,
K. Wang,
1993
.
Kon-Well Wang,
P. Garoche,
L. Dumoulin,
1993
.
Behçet Açikmese,
P. Garoche,
Y. Mao,
2022,
HSCC.
Didier Henrion,
Pierre-Loïc Garoche,
Paul Rousse,
2020,
Eur. J. Control.
Didier Henrion,
Pierre-Loïc Garoche,
Paul Rousse,
2019,
2019 18th European Control Conference (ECC).
Raúl A. Santelices,
William G. J. Halfond,
Michael L. Collard,
2009,
2022 IEEE PES/IAS PowerAfrica.
Eric Feron,
Martha A. Grover,
Kerianne Hobbs,
2017,
ArXiv.
Didier Henrion,
Victor Magron,
Pierre-Loic Garoche,
2017,
SIAM J. Control. Optim..
P. Garoche,
K. Wang,
F. Pesty,
1988
.
Raphael Cohen,
Eric F'eron,
Pierre-Loic Garoche,
2020,
Journal of Aerospace Information Systems.
Pierre-Loïc Garoche,
P. Garoche,
2008
.
M. Martel,
P. Garoche,
Farah Benmouhoub,
2022,
Verified Software: Theories, Tools, Experiments.
Matthieu Martel,
Farah Benmouhoub,
Pierre-Loic Garoche,
2021,
SAI.
M. Farhood,
P. Garoche,
Dany Abou Jaoude,
2023,
International Journal of Robust and Nonlinear Control.
P. Garoche,
Sarah H. Q. Li,
Assal'e Adj'e,
2022,
2207.07271.
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2013,
ATVA.
Pierre Roux,
Pierre-Loïc Garoche,
P. Garoche,
2015,
Formal Methods Syst. Des..
Benoît Combemale,
Xavier Crégut,
Pierre-Loïc Garoche,
2007,
ICEIS.
P. Garoche,
X. Thirioux,
C. Garion,
2021,
ACM Trans. Cyber Phys. Syst..
P. Garoche,
X. Crégut,
X. Thirioux,
2009,
J. Softw..