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: Adj=eacute=:Assal=eacute=
Contributed to:
2015
2015
2010Wrote 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.