Keywords

Researcher identifiers

Social networks

    Export Publications

    Export the displayed publications:
    Number of documents

    28

    Home


    Journal articles6 documents

    • 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⟩
    • Benoît 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 (JSW), Academy Publisher, 2009, 4 (9), pp.943-958. ⟨hal-00371553⟩
    • 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. Lecture Notes in Business Information Processing, Enterprise Information Systems, 2008, 12, pp.286-300. ⟨10.1007/978-3-540-88710-2⟩. ⟨hal-00369884⟩

    Conference papers9 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⟩
    • 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⟩
    • 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 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⟩
    • 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⟩
    • 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. 9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. pp.80-89. ⟨hal-00160807⟩
    • Xavier Thirioux, Benoît 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, ...7 documents

    • Paul Rousse, Pierre-Loïc Garoche, Didier Henrion. Parabolic Set Simulation for Reachability Analysis of Linear Time Invariant Systems with Integral Quadratic Constraint. 2020. ⟨hal-02049158v2⟩
    • 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. Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs. 2015. ⟨hal-01155251v2⟩
    • 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, 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⟩