BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Garoche:Pierre=Lo=iuml=c

Contributed to:

SAC 20152015
SAS 20152015
VMCAI 20152015
FM 20142014
ICEIS EIS 20072007
Post-ICEIS 20072007
ASE 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.