Follow
Assalé ADJE
Assalé ADJE
Verified email at univ-perp.fr - Homepage
Title
Cited by
Cited by
Year
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
A Adjé, S Gaubert, E Goubault
European Symposium on Programming, 23-42, 2010
672010
Abstract interpretation meets convex optimization
TM Gawlitza, H Seidl, A Adjé, S Gaubert, É Goubault
Journal of Symbolic Computation 47 (12), 1416-1446, 2012
392012
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
E Goubault, S Gaubert, A Adjé
Logical methods in computer science 8, 2012
362012
Static analysis of programs with imprecise probabilistic inputs
A Adje, O Bouissou, J Goubault-Larrecq, E Goubault, S Putot
Working Conference on Verified Software: Theories, Tools, and Experiments, 22-47, 2013
242013
Automatic synthesis of piecewise linear quadratic invariants for programs
A Adjé, PL Garoche
International Workshop on Verification, Model Checking, and Abstract …, 2015
232015
Property-based polynomial invariant generation using sums-of-squares optimization
A Adjé, PL Garoche, V Magron
International Static Analysis Symposium, 235-251, 2015
162015
Quadratic zonotopes
A Adjé, PL Garoche, A Werey
Asian Symposium on Programming Languages and Systems, 127-145, 2015
142015
Computing the smallest fixed point of nonexpansive mappings arising in game theory and static analysis of programs
A Adjé, S Gaubert, E Goubault
arXiv preprint arXiv:0806.1160, 2008
122008
Policy iteration in finite templates domain
A Adjé
Electronic Notes in Theoretical Computer Science 317, 3-18, 2015
82015
POP: A tuning assistant for mixed-precision floating-point computations
D Ben Khalifa, M Martel, A Adjé
International Workshop on Formal Techniques for Safety-Critical Systems, 77-94, 2019
72019
Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs
A Adjé, S Gaubert, E Goubault
Journal of Mathematical Analysis and Applications 410 (1), 227-240, 2014
62014
Fast and efficient bit-level precision tuning
A Adjé, D Ben Khalifa, M Martel
International Static Analysis Symposium, 1-24, 2021
52021
Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite
A Adje
Ecole Polytechnique X, 2011
52011
A sums-of-squares extension of policy iterations
A Adjé, PL Garoche, V Magron
Nonlinear Analysis: Hybrid Systems 25, 60-78, 2017
32017
Proving properties on PWA systems using copositive and semidefinite programming
A Adjé
International Workshop on Numerical Software Verification, 15-30, 2016
32016
Coupling policy iterations with piecewise quadratic lyapunov functions
A Adjé
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
22017
Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs
A Adjé, PL Garoche
Computer Languages, Systems & Structures 47, 44-61, 2017
22017
Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix
A Adjé
Journal of Optimization Theory and Applications 189 (1), 136-163, 2021
12021
Fixed points of the set-based bellman operator
SHQ Li, A Adjé, PL Garoche, B Açıkmeşe
arXiv preprint arXiv:2001.04535, 2020
12020
Polynomial template generation using sum-of-squares programming
A Adjé, V Magron
arXiv preprint arXiv:1409.3941, 2014
12014
The system can't perform the operation now. Try again later.
Articles 1–20