Pierre-Loïc Garoche

According to our database, Pierre-Loïc Garoche authored at least 60 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation.

Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux

ACM Trans. Embed. Comput. Syst., October, 2023

Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers.

Céline Bellanger, Pierre-Loïc Garoche, Matthieu Martel, Célia Picard

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Code-Level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.

Elias Khalife, Pierre-Loïc Garoche, Mazen Farhood

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2022

Exact Computation of Maximal Invariant Sets for Safe Markov Chains - Lattice Theoretic Approach.

Dylan Janak, Pierre-Loïc Garoche, Behçet Açikmese

IEEE Trans. Autom. Control., 2022

Reducing Collision Risk in Multi-Agent Path Planning: Application to Air traffic Management.

Sarah H. Q. Li, Avi Mittal, Pierre-Loïc Garoche, Behçet Açikmese

CoRR, 2022

Set-based value operators for non-stationary Markovian environments.

Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese

CoRR, 2022

Successive Convexification for Optimal Control with Signal Temporal Logic Specifications.

Yuanqi Mao, Behçet Açikmese, Pierre-Loïc Garoche, Alexandre Chapoutot

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Reachability Analysis of Linear Parameter-Varying Systems with Neural Network Controllers.

Arash Sadeghzadeh, Pierre-Loïc Garoche

Proceedings of the IEEE Conference on Control Technology and Applications, 2022

Reachability Set Analysis of Closed-Loop Nonlinear Systems with Neural Network Controllers.

Arash Sadeghzadeh, Pierre-Loïc Garoche

Proceedings of the American Control Conference, 2022

2021

From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux

ACM Trans. Cyber Phys. Syst., 2021

Parabolic set simulation for reachability analysis of linear time-invariant systems with integral quadratic constraint.

Paul Rousse, Pierre-Loïc Garoche, Didier Henrion

Eur. J. Control, 2021

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çikmese

Autom., 2021

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.

Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel

Proceedings of the Software Verification - 13th International Conference, 2021

Parallel Accurate and Reproducible Summation.

Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel

Proceedings of the Intelligent Computing, 2021

Computing State Invariants Using Point-Wise Integral Quadratic Constraints and the S-procedure.

Dany Abou Jaoude, Pierre-Loïc Garoche, Mazen Farhood

Proceedings of the 2021 American Control Conference, 2021

2020

Verification and Validation of Convex Optimization Algorithms for Model Predictive Control.

Raphael Cohen, Eric Feron, Pierre-Loïc Garoche

J. Aerosp. Inf. Syst., May, 2020

Fixed Points of the Set-Based Bellman Operator.

Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese

CoRR, 2020

Bridging the Gap Between Requirements and Simulink Model Analysis.

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Proceedings of the Joint Proceedings of REFSQ-2020 Workshops, 2020

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loïc Garoche, Johann Schumann

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

A Continuation Method for computation of H∞ gains of Linear Continuous-Time Periodic Systems.

Paul Rousse, John Hauser, Pierre-Loïc Garoche

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems.

Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux

SIAM J. Control. Optim., 2019

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

Proceedings of the Cyber Physical Systems. Model-Based Design - 9th International Workshop, 2019

2018

Formal verification of an interior point algorithm instanciation.

Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion

CoRR, 2018

Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm.

Guillaume Davy, Eric Feron, Pierre-Loïc Garoche, Didier Henrion

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs.

Raphael Cohen, Eric Feron, Pierre-Loïc Garoche

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Foundations of Intelligent Additive Manufacturing.

Kévin Garanger, Eric Feron, Pierre-Loïc Garoche, Julian J. Rimoli, John D. Berrigan, Martha A. Grover, Kerianne Hobbs

CoRR, 2017

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs.

Assalé Adjé, Pierre-Loïc Garoche

Comput. Lang. Syst. Struct., 2017

Automated analysis of Stateflow models.

Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, Xavier Thirioux

Proceedings of the LPAR-21, 2017

2016

Hierarchical State Machines as Modular Horn Clauses.

Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux

Proceedings of the Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, 2016

Formal Analysis of Robustness at Model and Code Level.

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Convex Optimization-based Static Analysis for Control Systems. (Analyse statique de contrôleurs à base d'optimisation convexe).

Pierre-Loïc Garoche

, 2016

2015

Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case.

Pierre Roux, Pierre-Loïc Garoche

Formal Methods Syst. Des., 2015

A Sums-of-Squares Extension of Policy Iterations.

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

CoRR, 2015

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs.

Assalé Adjé, Pierre-Loïc Garoche

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization.

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

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Compilation of synchronous observers as code contracts.

Arnaud Dieumegard, Pierre-Loïc Garoche, Temesghen Kahsai, Alice Taillar, Xavier Thirioux

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Closed loop analysis of control command software.

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics.

Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Credible Autocoding of Convex Optimization Algorithms.

Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Feron, Didier Henrion

CoRR, 2014

Synthesizing Modular Invariants for Synchronous Code.

Pierre-Loïc Garoche, Arie Gurfinkel, Temesghen Kahsai

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

Testing-Based Compiler Validation for Synchronous Languages.

Pierre-Loïc Garoche, Falk Howar, Temesghen Kahsai, Xavier Thirioux

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison.

Pierre Roux, Pierre-Loïc Garoche

Proceedings of the FM 2014: Formal Methods, 2014

2013

From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems.

Timothy Wang, Romain Jobredeaux, Heber Herencia-Zapana, Pierre-Loïc Garoche, Arnaud Dieumegard, Eric Feron, Marc Pantel

CoRR, 2013

Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers.

Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli

Proceedings of the NASA Formal Methods, 2013

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.

Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Integrating Policy Iterations in Abstract Interpreters.

Pierre Roux, Pierre-Loïc Garoche

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Invariant stream generators using automatic abstract transformers based on a decidable logic

Pierre-Loïc Garoche, Temesghen Kahsai, Cesare Tinelli

CoRR, 2012

Incremental Verification with Mode Variable Invariants in State Machines.

Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli, Mike Whalen

Proceedings of the NASA Formal Methods, 2012

PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL.

Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez, Pablo Ascariz

Proceedings of the NASA Formal Methods, 2012

A generic ellipsoid abstract domain for linear time invariant systems.

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2010

SMT-AI: an Abstract Interpreter as Oracle for k-induction.

Pierre Roux, Remi Delmas, Pierre-Loïc Garoche

Proceedings of the Tools for Automatic Program AnalysiS, 2010

2009

Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification.

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux

J. Softw., 2009

2008

Static Analysis of an Actor-based Process Calculus by Abstract Interpretation. (Analyse statique d'un calcul d'acteurs par interprétation abstraite).

Pierre-Loïc Garoche

PhD thesis, 2008

2007

Abstract Interpretation-based Static Safety for Actors.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

J. Softw., 2007

Towards a Formal Verification of Process Model's Properties SIMPLEPDL and TOCL Case Study.

Benoît Combemale, Pierre-Loïc Garoche, Xavier Crégut, Xavier Thirioux, François Vernadat

Proceedings of the ICEIS 2007, 2007

A Property-Driven Approach to Formal Verification of Process Models.

Benoît Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat

Proceedings of the Enterprise Information Systems, 9th International Conference, 2007

2006

Adaptive Geographically Bound Mobile Agents.

Kenji Tei, Christian Sommer, Yoshiaki Fukazawa, Shinichi Honiden, Pierre-Loïc Garoche

Proceedings of the Mobile Ad-hoc and Sensor Networks, Second International Conference, 2006

Accurate Centralization for Applying Model Checking on Networked Applications.

Cyrille Artho, Pierre-Loïc Garoche

Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation.

Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006