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.

Assalé Adjé, Pierre-Loïc Garoche, 2017, Comput. Lang. Syst. Struct..

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).

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.

Temesghen Kahsai, Falk Howar, Pierre-Loïc Garoche, 2014, NASA Formal Methods.

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.

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).

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..

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 .

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 .

Arie Gurfinkel, Temesghen Kahsai, Pierre-Loïc Garoche, 2014, HCVS.

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron, 2015, ArXiv.

Virginie Wiels, Pierre-Loïc Garoche, Jacques Cazin, 2012 .

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.

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).

Pierre-Loïc Garoche, Xavier Thirioux, Christophe Garion, 2021, ACM Trans. Cyber Phys. Syst..