Pierre-Loïc Garoche

ORCID

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 36

Top Venues

National Polytechnic Institute of Toulouse, France (PHD)

Education History

National Polytechnic Institute of Toulouse, France

PHD

Publications

Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard
Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers. CoRR (2023)
Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood
Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems. NFM (2023)
Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot
Successive Convexification for Optimal Control with Signal Temporal Logic Specifications. HSCC (2022)
Arash Sadeghzadeh, Pierre-Loïc Garoche
Reachability Set Analysis of Closed-Loop Nonlinear Systems with Neural Network Controllers. ACC (2022)
Dylan Janak, Pierre-Loïc Garoche, Behçet Açikmese
Exact Computation of Maximal Invariant Sets for Safe Markov Chains - Lattice Theoretic Approach. IEEE Trans. Autom. Control. 67 (12) (2022)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Set-based value operators for non-stationary Markovian environments. CoRR (2022)
Sarah H. Q. Li, Avi Mittal, Pierre-Loïc Garoche, Behçet Açikmese
Reducing Collision Risk in Multi-Agent Path Planning: Application to Air traffic Management. CoRR (2022)
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. CoRR (2022)
Arash Sadeghzadeh, Pierre-Loïc Garoche
Reachability Analysis of Linear Parameter-Varying Systems with Neural Network Controllers. CCTA (2022)
Dany Abou Jaoude, Pierre-Loïc Garoche, Mazen Farhood
Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure. ACC (2021)
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
Parallel Accurate and Reproducible Summation. SAI (1) (2021)
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint. Eur. J. Control 58 (2021)
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods. VSTTE (2021)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games. Autom. 130 (2021)
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. ACM Trans. Cyber Phys. Syst. 5 (3) (2021)
Raphaël Cohen, Eric Feron, Pierre-Loïc Garoche
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. CoRR (2020)
Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. RE (2020)
Raphael Cohen, Eric Feron, Pierre-Loïc Garoche
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. J. Aerosp. Inf. Syst. 17 (5) (2020)
Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann
Bridging the Gap Between Requirements and Simulink Model Analysis. REFSQ Workshops (2020)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Fixed Points of the Set-Based Bellman Operator. CoRR (2020)
Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games. CoRR (2020)
Paul Rousse, John Hauser, Pierre-Loïc Garoche
A Continuation Method for computation of H∞ gains of Linear Continuous-Time Periodic Systems. CDC (2020)
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. ECC (2019)
Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. CyPhy/WESE (2019)
Paul Rousse, Pierre-Loïc Garoche, Didier Henrion
Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. CoRR (2019)
Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux
Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM J. Control. Optim. 57 (4) (2019)
Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. FDL (2018)
Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
Formal verification of an interior point algorithm instanciation. CoRR (2018)
Raphael Cohen, Eric Feron, Pierre-Loïc Garoche
Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs. CDC (2018)
Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion
Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. LPAR (2018)
Assalé Adjé, Pierre-Loïc Garoche
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Comput. Lang. Syst. Struct. 47 (2017)
Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs
Foundations of Intelligent Additive Manufacturing. CoRR (2017)
Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux
Automated analysis of Stateflow models. LPAR (2017)
Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
Formal Analysis of Robustness at Model and Code Level. HSCC (2016)
Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux
Hierarchical State Machines as Modular Horn Clauses. HCVS@ETAPS (2016)
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. APLAS (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. SAS (2015)
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche
Closed loop analysis of control command software. HSCC (2015)
Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux
Compilation of synchronous observers as code contracts. SAC (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. CoRR (2015)
Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
A Sums-of-Squares Extension of Policy Iterations. CoRR (2015)
Pierre Roux, Pierre-Loïc Garoche
Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. Formal Methods Syst. Des. 46 (2) (2015)
Assalé Adjé, Pierre-Loïc Garoche
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. VMCAI (2015)
Pierre Roux, Pierre-Loïc Garoche
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. FM (2014)
Assalé Adjé, Pierre-Loïc Garoche
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. CoRR (2014)
Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion
Credible Autocoding of Convex Optimization Algorithms. CoRR (2014)
Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux
Testing-Based Compiler Validation for Synchronous Languages. NASA Formal Methods (2014)
Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics. CoRR (2014)
Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai
Synthesizing Modular Invariants for Synchronous Code. HCVS (2014)
Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. FMICS (2013)
Pierre Roux, Pierre-Loïc Garoche
Integrating Policy Iterations in Abstract Interpreters. ATVA (2013)
Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers. NASA Formal Methods (2013)
Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel
From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems. CoRR (2013)
Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli
Invariant stream generators using automatic abstract transformers based on a decidable logic CoRR (2012)
Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen
Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods (2012)
Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. NASA Formal Methods (2012)
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron
A generic ellipsoid abstract domain for linear time invariant systems. HSCC (2012)
Pierre Roux, Remi Delmas, Pierre-Loïc Garoche
SMT-AI: an Abstract Interpreter as Oracle for k-induction. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification. J. Softw. 4 (9) (2009)
Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat
Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study. ICEIS (3) (2007)
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Abstract Interpretation-based Static Safety for Actors. J. Softw. 2 (3) (2007)
Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat
A Property-Driven Approach to Formal Verification of Process Models. ICEIS (Selected Papers) (2007)
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. FMOODS (2006)
Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche
Adaptive Geographically Bound Mobile Agents. MSN (2006)
Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux
Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation CoRR (2006)
Cyrille Artho, Pierre-Loïc Garoche
Accurate Centralization for Applying Model Checking on Networked Applications. ASE (2006)

Pierre-Loïc Garoche.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pierre-Loïc Garoche