Nombre de documents

21

CV de Pierre-Loïc Garoche


Pré-publication, Document de travail7 documents

  • Victor Magron, Pierre-Loïc Garoche, Didier Henrion, Xavier Thirioux. Semidefinite Approximations of Reachable Sets for Discrete-time Polynomial Systems. Rapport LAAS n° 17059. 2017. <hal-01490897>
  • 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. 18p. 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>

HDR1 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>

Communication dans un congrès5 documents

  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen Verification Model Checking and Abstract Interpretation 2015 (VMCAI 2015), Jan 2015, Mumbai, India. Springer, 8931, pp.99-116, Verification, Model Checking, and Abstract Interpretation. <hal-01371514>
  • Assalé Adjé, Pierre-Loïc Garoche, Victor Magron. Property-based Polynomial Invariant Generation Using Sums-Of-Squares . Sandrine Blazy, Thomas Jensen. Static Analysis Symposium 2015 (2015), Sep 2015, Saint-Malo, France. Springer, 9291, pp.235-251, Proceedings of Static Analysis Symposium (SAS). <hal-01371508>
  • 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. University of York, pp.14-30, 2007. <hal-00159748v2>
  • 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. INSTICC. 9th International Conference on Enterprise Information Systems, Jun 2007, Funchal, Madeira, Portugal. INSTICC, pp.80-89, 2007. <hal-00160807>
  • Pierre-Loïc Garoche, Marc Pantel, Xavier Thirioux. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation. Roberto Gorrieri and Heike Wehrheim. May 2006, Springer, pp.78-92, 2006, LNCS 4037. <10.1007/11768869_8>. <hal-00116251>

Chapitre d'ouvrage3 documents

Article dans une revue4 documents

  • 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, <http://linkinghub.elsevier.com/retrieve/pii/S1477842415000937>. <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>

Thèse1 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>