Skip to Main content

Export Publications

Export the displayed publications:

Keywords

Researcher identifiers

Social networks

Number of documents

35

Home


Homepage: www.garoche.net


Journal articles9 documents

  • Paul Rousse, Pierre-Loïc Garoche, Didier Henrion. Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. European Journal of Control, Elsevier, In press, ⟨10.1016/j.ejcon.2020.08.002⟩. ⟨hal-02049158v2⟩
  • Raphaël Cohen, Eric Féron, Pierre-Loïc Garoche. Verification and Validation of Convex Optimization Algorithms for Model Predictive Control. Journal of Aerospace Information Systems, American Institute of Aeronautics and Astronautics, 2020, 17 (5), pp.257-270. ⟨hal-02617432⟩
  • Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. SIAM Journal on Control and Optimization, Society for Industrial and Applied Mathematics, 2019, 57 (4), pp.2799-2820. ⟨10.1137/17M1121044⟩. ⟨hal-01490897⟩
  • Raphael Cohen, Guillaume Davy, Eric Féron, Pierre-Loïc Garoche. Formal Verification for Embedded Implementation of Convex Optimization Algorithms. IFAC-PapersOnLine, Elsevier, 2017, 50 (1), pp.5867-5874. ⟨10.1016/j.ifacol.2017.08.1300⟩. ⟨hal-01850596⟩
  • Timothy Wang, Romain Jobredeaux, Marc Pantel, Pierre-Loïc Garoche, Eric Féron, et al.. Credible Autocoding of Convex Optimization Algorithms. Optimization and Engineering, Springer Verlag, 2016, 17 (4), pp.781-812. ⟨hal-00961133⟩
  • Assalé Adjé, Pierre-Loïc Garoche. Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Computer Languages, Systems and Structures, Elsevier, 2015, ⟨10.1016/j.cl.2015.12.002⟩. ⟨hal-01369946⟩
  • V. Wiels, Robert Delmas, D Doose, Pierre-Loïc Garoche, J. Cazin, et al.. Formal Verification of Critical Aerospace Software. AerospaceLab, 2012, p. 1-8. ⟨hal-01184099⟩
  • Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux. Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification. Journal of Software, International Academy Publishing, 2009, 4 (9), pp.943-958. ⟨hal-00371553⟩
  • Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche, Xavier Thirioux, François Vernadat. A Property-Driven Approach to Formal Verification of Process Models. Lecture Notes in Business Information Processing, Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩. ⟨hal-00369884⟩

Conference papers14 documents

  • Hamza Bourbouh, Pierre-Loïc Garoche, Thomas Loquen, Éric Noulard, Claire Pagetti. CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models. 10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France. ⟨hal-02441334⟩
  • Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, et al.. The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained. 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⟩. ⟨hal-02967437⟩
  • Guillaume Davy, Eric Féron, 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. 22nd International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-22), Nov 2018, Awassa, Ethiopia. 17p., ⟨10.29007/qt5j⟩. ⟨hal-02384908v3⟩
  • Raphael Cohen, Eric Féron, Pierre-Loïc Garoche. Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs. 57th IEEE Conference on Decision and Control, Dec 2018, MIAMI, United States. ⟨hal-01983383⟩
  • Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux. Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. 2018 Forum on specification & Design Languages (FDL), Sep 2018, Munich, France. pp.5-16, ⟨10.1109/FDL.2018.8524044⟩. ⟨hal-02163873⟩
  • Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Arie Gurfinkel, Temesghen Kahsai, et al.. Automated analysis of Stateflow models. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), May 2017, Maun, Botswana. pp.144-161. ⟨hal-02092930⟩
  • Pierre-Loïc Garoche, Temesghen Kahsai, Xavier Thirioux. Hierarchical State Machines as Modular Horn Clauses. 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS 2016), Apr 2016, Eindhoven, Netherlands. pp.15-28. ⟨hal-02092915⟩
  • Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche. Closed loop analysis of control command software. 18th International Conference on Hybrid Systems: Computation and Control - HSCC 2015, Apr 2015, SEATTLE, United States. ⟨10.1145/2728606.2728623⟩. ⟨hal-01521987⟩
  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. pp.99-116. ⟨hal-01371514⟩
  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-Of-Squares . Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. pp.235-251. ⟨hal-01371508⟩
  • Pierre-Loïc Garoche, Folk Howar, Temesghen Kahsai, Xavier Thirioux. Testing-Based Compiler Validation for Synchronous Languages. 6th International Symposium on NASA Formal Methods (NFM 2014), Apr 2014, Houston, Texas, United States. pp.246-251, ⟨10.1007/978-3-319-06200-6_19⟩. ⟨hal-02092914⟩
  • Benoit 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. 9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89. ⟨hal-00160807⟩
  • Xavier Thirioux, Benoit Combemale, Xavier Crégut, Pierre-Loïc Garoche. A Framework to Formalise the MDE Foundations. International Workshop on Towers of Models (TOWERS 2007), Jun 2007, Zurich, Switzerland. pp.14-30. ⟨hal-00159748v2⟩
  • Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. May 2006, pp.78-92, ⟨10.1007/11768869_8⟩. ⟨hal-00116251⟩

Book sections4 documents

Preprints, Working Papers, ...6 documents

  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. A Sums-of-Squares Extension of Policy Iterations. 2017. ⟨hal-01448179⟩
  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. A Sums-of-Squares Extension of Policy Iterations. 2015. ⟨hal-01133405⟩
  • Assalé Adjé, Pierre-Loïc Garoche. Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs. 2015. ⟨hal-01155251v2⟩
  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. 2015. ⟨hal-01134816⟩
  • Assalé Adjé, Pierre-Loïc Garoche. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. 2014. ⟨hal-01064408⟩
  • Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Féron. A Generic Ellipsoid Abstract Domain for Linear Time Invariant Systems. 2011. ⟨hal-00608673v2⟩

Theses1 document

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

Habilitation à diriger des recherches1 document

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