BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × France
1 × India
Collaborated with:
P.Garoche V.Magron S.Gaubert E.Goubault
Talks about:
invari (3) synthesi (1) properti (1) polynomi (1) piecewis (1) quadrat (1) program (1) generat (1) definit (1) automat (1)

Person: Assalé Adjé

DBLP DBLP: Adj=eacute=:Assal=eacute=

Contributed to:

SAS 20152015
VMCAI 20152015
ESOP 20102010

Wrote 3 papers:

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.
ESOP-2010-AdjeGG #invariant #policy #static analysis
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (AA, SG, EG), pp. 23–42.

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.