Pierre-Loïc Garoche

Identifiants chercheurs

IdHAL :

pierre-loic-garoche

ORCID :

0000-0002-0513-6076

IdRef :

127405690

arXiv :

garoche_p_1

Présentation

Homepage: www.garoche.net

Publications

Article dans une revue (21)

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation Christophe Garion,Lélio Brun,Pierre-Loïc Garoche,Xavier Thirioux Communications of the ACM, 2025, 69 (1), pp.93-101. ⟨10.1145/3747584⟩ Article dans une revue hal-05572157v1
Formal specification and SMT verification of quantized neural network for autonomous vehicles Wahiba Bachiri,Yassamine Seladji,Pierre-Loïc Garoche Science of Computer Programming, 2025, 245, pp.103316. ⟨10.1016/j.scico.2025.103316⟩ Article dans une revue hal-05564927v1
Set-based value operators for non-stationary and uncertain Markov decision processes Sarah H Q Li,Assalé Adjé,Pierre-Loïc Garoche,Behçet Açıkmeşe Automatica, 2025, 171, pp.111970. ⟨10.1016/j.automatica.2024.111970⟩ Article dans une revue hal-05554032v1
Automated Fixed-Point Precision Optimization for FPGA Synthesis Inès Winandy,Arnaud Dion,Florent Manni,Pierre-Loïc Garoche,Dorra Ben Khalifaet al. IEEE Open Journal of Circuits and Systems, 2025, 6, pp.192-204. ⟨10.1109/OJCAS.2025.3580744⟩ Article dans une revue hal-05564947v1
Formally proved specification of non-nested STL formulas as synchronous observers Céline Bellanger,Pierre-Loic Garoche,Matthieu Martel,Celia Picard Science of Computer Programming, 2025, 245, pp.103315. ⟨10.1016/j.scico.2025.103315⟩ Article dans une revue hal-05444099v1
Emergency Trajectory Structure for UAVs Maëva Ongale-Obeyi,Damien Goubinat,Daniel Delahaye,Pierre-Loïc Garoche Aerospace, 2024, 12, ⟨10.3390/aerospace12010021⟩ Article dans une revue hal-04865334v1
Autoencoder Neural Networks for LPV Embedding of Nonlinear Systems Arash Sadeghzadeh,Pierre-Loïc Garoche IFAC-PapersOnLine, 2023, 56 (2), pp.9062-9067. ⟨10.1016/j.ifacol.2023.10.137⟩ Article dans une revue hal-04635025v1
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation Lélio Brun,Christophe Garion,Pierre-Loïc Garoche,Xavier Thirioux ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (5), pp.151. ⟨10.1145/3609393⟩ Article dans une revue hal-04201875v1
Computation of invariant sets for discrete‐time uncertain systems Elias Khalife,Dany Abou Jaoude,Mazen Farhood,Pierre-Loïc Garoche International Journal of Robust and Nonlinear Control, 2023, 33 (14), pp.8452-8474. ⟨10.1002/rnc.6834⟩ Article dans une revue hal-04412034v1
Exact Computation of Maximal Invariant Sets for Safe Markov Chains—Lattice Theoretic Approach Dylan Janak,Pierre-Loïc Garoche,Behcet Ackmese IEEE Transactions on Automatic Control, 2022, 67 (12), pp.6980-6986. ⟨10.1109/TAC.2022.3211959⟩ Article dans une revue hal-04051117v1
Bounding Fixed Points of Set-based Bellman Operator and Nash Equilibria of Stochastic Games Sarah H Q Li,Assalé Adjé,Pierre-Loïc Garoche,Behçet Açikmeşe Automatica, 2021, 130, ⟨10.1016/j.automatica.2021.109685⟩ Article dans une revue hal-03187698v1
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint Paul Rousse,Pierre-Loïc Garoche,Didier Henrion European Journal of Control, 2021, 58, pp.152-167. ⟨10.1016/j.ejcon.2020.08.002⟩ Article dans une revue hal-02049158v2
From Lustre to Simulink: reverse compilation for verifying Embedded Systems Applications Hamza Bourbouh,Pierre-Loïc Garoche,Christophe Garion,Xavier Thirioux ACM Transactions on Cyber-Physical Systems, 2021, 5 (3), pp.1-20. ⟨10.1145/3461668⟩ Article dans une revue hal-03323076v1
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control Raphaël Cohen,Eric Féron,Pierre-Loïc Garoche Journal of Aerospace Information Systems, 2020, 17 (5), pp.257-270. ⟨10.2514/1.I010686⟩ Article dans une revue hal-02617432v1
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems Victor Magron,Pierre-Loïc Garoche,Didier Henrion,Xavier Thirioux SIAM Journal on Control and Optimization, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩ Article dans une revue hal-01490897v1
Formal Verification for Embedded Implementation of Convex Optimization Algorithms Raphael Cohen,Guillaume Davy,Eric Féron,Pierre-Loïc Garoche IFAC-PapersOnLine, 2017, 50 (1), pp.5867-5874. ⟨10.1016/j.ifacol.2017.08.1300⟩ Article dans une revue hal-01850596v1
Credible Autocoding of Convex Optimization Algorithms Timothy Wang,Romain Jobredeaux,Marc Pantel,Pierre-Loïc Garoche,Eric Féronet al. Optimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩ Article dans une revue hal-00961133v1
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs Assalé Adjé,Pierre-Loïc Garoche Computer Languages, Systems and Structures, 2015, ⟨10.1016/j.cl.2015.12.002⟩ Article dans une revue hal-01369946v1
Formal Verification of Critical Aerospace Software Virginie Wiels,Robert Delmas,David Doose,Pierre-Loïc Garoche,J. Cazinet al. Aerospace Lab, 2012, 4, p. 1-8 Article dans une revue hal-01184099v1
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification Benoit Combemale,Xavier Crégut,Pierre-Loïc Garoche,Xavier Thirioux Journal of Software, 2009, 4 (9), pp.943-958 Article dans une revue hal-00371553v1
A Property-Driven Approach to Formal Verification of Process Models Benoit Combemale,Xavier Crégut,Pierre-Loïc Garoche,Xavier Thirioux,François Vernadat Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩ Article dans une revue hal-00369884v1

Communication dans un congrès (27)

Formal Verification of Quantized Neural Network Wahiba Bachiri,Yassamine Seladji,Pierre-Loïc Garoche 2024 International Conference of the African Federation of Operational Research Societies (AFROS), Nov 2024, Tlemcen, Algeria. https://ieeexplore.ieee.org/document/11037165, ⟨10.1109/AFROS62115.2024.11037165⟩ Communication dans un congrès hal-05127878v1
PYXIS: A higly predictable toolchain for FPGA circuit production of advanced GNC algorithm Inès Winandy,Arnaud Dion,Pierre-Loïc Garoche,Florent Manni SMC-IT/SCC 2025, Jul 2025, Los Angeles, United States Communication dans un congrès hal-05080319v1
SCvxPyGen: Autocoding SCvx Algorithm Danil Berrah,Alexandre Chapoutot,Pierre-Loïc Garoche 2024 IEEE 63rd Conference on Decision and Control (CDC), Dec 2024, Milan, Italy. pp.5086-5093, ⟨10.1109/CDC56724.2024.10886875⟩ Communication dans un congrès hal-04992546v1
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers Céline Bellanger,Pierre-Loïc Garoche,Matthieu Martel,Célia Picard FMAS 2023 - 5th International Workshop on Formal Methods for Autonomous Systems, Nov 2023, Leiden, Netherlands. pp.188-204, ⟨10.4204/EPTCS.395.14⟩ Communication dans un congrès hal-04387928v1
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems Elias Khalife,Pierre-Loïc Garoche,Mazen Farhood Nasa Formal Methods, May 2023, Houston, TX, United States. pp.157-173, ⟨10.1007/978-3-031-33170-1_10⟩ Communication dans un congrès hal-04387907v1
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications Yuanqi Mao,Behcet Acikmese,Pierre-Loïc Garoche,Alexandre Chapoutot 25th ACM International Conference on Hybrid Systems: Computation and Control (HSCC '22), May 2022, Milan, Italy. ⟨10.1145/3501710.3519518⟩ Communication dans un congrès hal-03663984v1
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods Farah Benmouhoub,Pierre-Loïc Garoche,Matthieu Martel Numerical Software Verification, Jul 2021, Los Angeles, United States. pp.165-181, ⟨10.1007/978-3-030-95561-8_10⟩ Communication dans un congrès hal-03664170v1
Reachability Set Analysis of Closed-Loop Nonlinear Systems with Neural Network Controllers Arash Sadeghzadeh,Pierre-Loïc Garoche 2022 American Control Conference (ACC), Jun 2022, Atlanta, United States. pp.2289-2294, ⟨10.23919/ACC53348.2022.9867572⟩ Communication dans un congrès hal-03851617v1
Reachability Analysis of Linear Parameter-Varying Systems with Neural Network Controllers Arash Sadeghzadeh,Pierre-Loïc Garoche 2022 IEEE Conference on Control Technology and Applications (CCTA), Aug 2022, Trieste, France. pp.1372-1377, ⟨10.1109/CCTA49430.2022.9966104⟩ Communication dans un congrès hal-04412111v1
Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure Dany Abou Jaoude,Pierre-Loïc Garoche,Mazen Farhood American Control Conference 2021, May 2021, New Orleans, United States Communication dans un congrès hal-03187629v1
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained Anastasia Mavridou,Hamza Bourbouh,Dimitra Giannakopoulou,Thomas Pressburger,Mohammad Hejaseet al. IRE 2020 IEEE 28th International Requirements Engineering Conference, Aug 2020, Zurich, Switzerland. pp.300-310 / ISBN: 978-1-7281-7439-6, ⟨10.1109/RE48521.2020.00040⟩ Communication dans un congrès hal-02967437v1
Probabilistic swarms guidance within the Gama-platform Zahia Matta,Robin Barbier,Zakaria Ezzahed,Quentin Vaquier,Pierre-Loïc Garoche 1st conference GAMA Days 2021, Frédéric Amblard; Kevin Chapuis; Alexis Drogoul; Benoit Gaudou; Dominique Longin; Nicolas Verstaevel, Jun 2021, Toulouse (Online), France Communication dans un congrès hal-03521268v1
CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models Hamza Bourbouh,Pierre-Loïc Garoche,Thomas Loquen,Éric Noulard,Claire Pagetti 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France Communication dans un congrès hal-02441334v1
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems Paul Rousse,Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Pierre-Loïc Garoche 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, Oct 2019, New York, United States. pp.89-107, ⟨10.1007/978-3-030-41131-2_5⟩ Communication dans un congrès hal-03199339v1
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs Raphael Cohen,Eric Féron,Pierre-Loïc Garoche 57th IEEE Conference on Decision and Control, Dec 2018, Miami, United States Communication dans un congrès hal-01983383v1
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm Guillaume Davy,Eric Féron,Pierre-Loïc Garoche,Didier Henrion 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Nov 2018, Hawassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩ Communication dans un congrès hal-02384908v3
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code Guillaume Davy,Christophe Garion,Pierre-Loïc Garoche,Pierre Roux,Xavier Thirioux 2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, Germany. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩ Communication dans un congrès hal-02163873v1
Automated analysis of Stateflow models Hamza Bourbouh,Pierre-Loïc Garoche,Christophe Garion,Arie Gurfinkel,Temesghen Kahsaiet al. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161 Communication dans un congrès hal-02092930v1
Hierarchical State Machines as Modular Horn Clauses Pierre-Loïc Garoche,Temesghen Kahsai,Xavier Thirioux 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Apr 2016, Eindhoven, Netherlands. pp.15-28 Communication dans un congrès hal-02092915v1
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics Adjé Assalé,Pierre-Loïc Garoche,Alexis Werey 13th Asian Symposium on Programming Languages and Systems, Nov 2015, Pohang, South Korea. page 127-145 Communication dans un congrès hal-01709077v1
Closed loop analysis of control command software Pierre Roux,Romain Jobredeaux,Pierre-Loïc Garoche 18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015, Apr 2015, Seattle, United States. ⟨10.1145/2728606.2728623⟩ Communication dans un congrès hal-01521987v1
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs Assalé Adjé,Pierre-Loïc Garoche,Victor Magron Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116 Communication dans un congrès hal-01371514v1
Property-based Polynomial Invariant Generation Using Sums-Of-Squares Assalé Adjé,Pierre-Loïc Garoche,Victor Magron Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251 Communication dans un congrès hal-01371508v1
Testing-Based Compiler Validation for Synchronous Languages Pierre-Loïc Garoche,Folk Howar,Temesghen Kahsai,Xavier Thirioux 6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩ Communication dans un congrès hal-02092914v1
Towards a Formal Verification of Process Model's Properties - SimplePDL and TOCL Case Study Benoit Combemale,Pierre-Loïc Garoche,Xavier Crégut,Xavier Thirioux,François Vernadat 9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89 Communication dans un congrès hal-00160807v1
A Framework to Formalise the MDE Foundations Xavier Thirioux,Benoit Combemale,Xavier Crégut,Pierre-Loïc Garoche International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30 Communication dans un congrès hal-00159748v2
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation Pierre-Loïc Garoche,Marc Pantel,Xavier Thirioux IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩ Communication dans un congrès hal-00116251v1

Chapitre d'ouvrage (5)

Parallel Accurate and Reproducible Summation Farah Benmouhoub,Pierre-Loïc Garoche,Matthieu Martel Intelligent Computing, 283, Springer International Publishing, pp.363-382, 2022, Lecture Notes in Networks and Systems, ⟨10.1007/978-3-030-80119-9_21⟩ Chapitre d'ouvrage hal-04634824v1
Quadratic Zonotopes Assalé Adjé,Pierre-Loïc Garoche,Alexis Werey Feng Xinyu; Park Sungwoo. Programming Languages and Systems, 9458, Springer International Publishing, pp.127-145, 2015, ⟨10.1007/978-3-319-26529-2_8⟩ Chapitre d'ouvrage hal-01369969v1
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization Assalé Adjé,Pierre-Loïc Garoche,Victor Magron Blazy Sandrine; Jensen Thomas. Static Analysis, Springer Berlin Heidelberg, pp.235-251, 2015, 978-3-662-48287-2. ⟨10.1007/978-3-662-48288-9_14⟩ Chapitre d'ouvrage hal-01369974v1
From Design to Implementation: An Automated Credible Autocoding Chain for Control Systems Timothy Wang,Romain Jobredeaux,Heber Henrencia,Pierre-Loïc Garoche,Eric Feronet al. Féron, Eric. Advances in Control System Technology for Aerospace Applications, Springer-Verlag, pp.137--180, 2015, 978-3-662-47693-2. ⟨10.1007/978-3-662-47694-9_5⟩ Chapitre d'ouvrage hal-03155036v1
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs Assalé Adjé,Pierre-Loïc Garoche Verification, Model Checking, and Abstract Interpretation, 8931, , pp.99-116, 2015, 978-3-662-46081-8. ⟨10.1007/978-3-662-46081-8_6⟩ Chapitre d'ouvrage hal-01369963v1

Pré-publication, Document de travail (6)

Towards a Set-based Signal Temporal Logic Julien Alexandre Dit Sandretto,Alexandre Chapoutot,Pierre-Loïc Garoche 2020 Pré-publication, Document de travail hal-03084701v1
A Sums-of-Squares Extension of Policy Iterations Assalé Adjé,Pierre-Loïc Garoche,Victor Magron 2017 Pré-publication, Document de travail hal-01133405v2
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization Assalé Adjé,Pierre-Loïc Garoche,Victor Magron 2015 Pré-publication, Document de travail hal-01134816v1
Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs Assalé Adjé,Pierre-Loïc Garoche 2015 Pré-publication, Document de travail hal-01155251v2
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs Assalé Adjé,Pierre-Loïc Garoche 2014 Pré-publication, Document de travail hal-01064408v1
A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems Pierre Roux,Romain Jobredeaux,Pierre-Loïc Garoche,Eric Féron 2011 Pré-publication, Document de travail hal-00608673v2

Thèse (1)

Static Analysis of an Actor-based Process Calculus by Abstract Interpretation Pierre-Loïc Garoche Software Engineering [cs.SE]. Institut National Polytechnique de Toulouse - INPT, 2008. English. ⟨NNT : 2008INPT006H⟩ Thèse tel-00310923v1

HDR (1)

Convex Optimization-based Static Analysis for Control Systems Pierre-Loïc Garoche Computation and Language [cs.CL]. INPT; Université de toulouse, 2016 HDR tel-01371978v1