[1] Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs, A. Adjé et P. Garoche, Computer Languages, Systems and Structures, 47:44--61, 2017 .Test
[2] A Sums-Of-Squares Extension of Policy Iterations, A. Adjé, P. Garoche et V. Magron, Nonlinear Analysis : Hybrid Systems, 25:60--78, 2017 .Test
[3] Policy iteration in finite templates domain, A. Adjé, Electronic Notes in Theoretical Computer Science, 317:3--18, 2015 .Test
[4] Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs, A. Adjé, S. Gaubert et E. Goubault, Journal of Mathematical Analysis and Applications, 410(1):227--240, 2014 .
[5] Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis, A. Adjé, S. Gaubert et E. Goubault, Logical Methods in Computer Science, 8(1):--, 2012 .Test
[6] Abstract interpretation meets convex optimization, T. Gawlitza, H. Seidl, A. Adjé, S. Gaubert et E. Goubault, Journal of Symbolic Computation, 47(12):1416--1446, 2012 .Test
[7] required/, A. Adjé, 0 .
Conference
[1] Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions, A. Adjé, In the proceedings of HSCC'17, --, 2017 .Test
[2] Quadratic Zonotopes:An extension of Zonotopes to Quadratic Arithmetics, A. Adjé, P. Garoche et W. Alexis, In the proceedings of APLAS 2015, 127--145, 2015 .
[3] Polynomial Invariant Generation Using Sums-of-Squares Optimization, A. Adjé, P. Garoche et V. Magron, In the proceedings of SAS 2015, 235--251, 2015 .
[4] Automatic synthesis of piecewise linear quadratic invariants for programs, A. Adjé et P. Garoche, In the proceedings of VMCAI 2015, 99--116, 2015 .
[5] Static analysis of programs with imprecise probabilistic inputs, A. Adjé, B. Olivier, G. Jean, G. Eric et P. Sylvie, In the proceedings of VSTTE 2013, 22--47, 2013 .
[6] Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis, A. Adjé, S. Gaubert et E. Goubault, In the proceedings of ESOP 2010, 23--42, 2010 .
[7] Computing the smallest fixed point of nonexpansive mappings arising in game theory and static analysis of programs, A. Adjé, S. Gaubert et E. Goubault, In the proceedings of MTNS 2008, --, 2008 .
[8] required/, A. Adjé, In the proceedings of size=50/, --, 0 .
Workshop
[1] Proving Properties on PWA Systems Using Copositive and Semidefinite Programming, A. Adjé, In the proceedings of NSV 2016, 2016 .
[2] Policy iteration in finite templates domain, A. Adjé, In the proceedings of NSV 2014, 2014 .
Rapport
[1] Polynomial Template Generation using Sum-of-Squares Programming, A. Adjé et V. Magron, 2014 .Test
[2] Concrete semantics of programs with non-deterministic and random inputs, A. Adjé et J. Goubault-Larrecq, 2012 .Test
[3] Méthode d'itération sur les politiques et minimalité d'invariant en analyse statique de programme par interprétation abstraite, A. Adjé, 2007 .
These
[1] Optimisation et Jeux Appliqués à l'Analyse Statique de Programmes par Interprétation Abstraite, , 2011 .