Travelled to:1 × France
1 × India
1 × Japan
1 × Portugal
1 × Singapore
1 × Spain
Collaborated with:A.Adjé X.Thirioux P.Roux C.Artho B.Combemale X.Crégut F.Vernadat V.Magron A.Dieumegard T.Kahsai A.Taillar
Talks about:properti (3) invari (3) model (3) quadrat (2) process (2) formal (2) verif (2) comparison (1) simplepdl (1) synthesi (1)
Person: Pierre-Loïc Garoche
DBLP: Garoche:Pierre=Lo=iuml=c
Contributed to:
2015
2015
2015
2014
20072007
2006Wrote 7 papers:
- SAC-2015-DieumegardGKTT #compilation #contract
- Compilation of synchronous observers as code contracts (AD, PLG, TK, AT, XT), pp. 1933–1939.
- SAS-2015-AdjeGM #generative #invariant #optimisation #polynomial #using
- Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization (AA, PLG, VM), pp. 235–251.
- VMCAI-2015-AdjeG #automation #invariant #linear #polynomial #source code #synthesis
- Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs (AA, PLG), pp. 99–116.
- FM-2014-RouxG #comparison #invariant #polynomial
- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison (PR, PLG), pp. 563–578.
- ICEIS-EIS-2007-CombemaleGCTV #case study #process #towards #verification
- Towards a Formal Verification of Process Model’s Properties SIMPLEPDL and TOCL Case Study (BC, PLG, XC, XT, FV), pp. 80–89.
- ICEIS-J-2007-CombemaleCGTV #approach #modelling #process #verification
- A Property-Driven Approach to Formal Verification of Process Models (BC, XC, PLG, XT, FV), pp. 286–300.
- ASE-2006-ArthoG #model checking
- Accurate Centralization for Applying Model Checking on Networked Applications (CA, PLG), pp. 177–188.