Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis A Adjé, S Gaubert, E Goubault Logical methods in computer science 8, 2012 | 102 | 2012 |
Abstract interpretation meets convex optimization TM Gawlitza, H Seidl, A Adjé, S Gaubert, É Goubault Journal of Symbolic Computation 47 (12), 1416-1446, 2012 | 37 | 2012 |
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 | 29 | 2013 |
Automatic synthesis of piecewise linear quadratic invariants for programs A Adjé, PL Garoche Verification, Model Checking, and Abstract Interpretation: 16th …, 2015 | 25 | 2015 |
Property-based polynomial invariant generation using sums-of-squares optimization A Adjé, PL Garoche, V Magron Static Analysis: 22nd International Symposium, SAS 2015, Saint-Malo, France …, 2015 | 23 | 2015 |
Fast and efficient bit-level precision tuning A Adjé, D Ben Khalifa, M Martel Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 14 | 2021 |
Quadratic zonotopes: an extension of zonotopes to quadratic arithmetics A Adjé, PL Garoche, A Werey Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 14 | 2015 |
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 | 12 | 2008 |
POP: A tuning assistant for mixed-precision floating-point computations D Ben Khalifa, M Martel, A Adjé Formal Techniques for Safety-Critical Systems: 7th International Workshop …, 2020 | 11 | 2020 |
Policy iteration in finite templates domain A Adjé Electronic Notes in Theoretical Computer Science 317, 3-18, 2015 | 8 | 2015 |
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 | 7 | 2014 |
Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite A Adje Ecole Polytechnique X, 2011 | 4 | 2011 |
Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games SHQ Li, A Adjé, PL Garoche, B Açıkmeşe Automatica 130, 109685, 2021 | 3 | 2021 |
A sums-of-squares extension of policy iterations A Adjé, PL Garoche, V Magron Nonlinear Analysis: Hybrid Systems 25, 60-78, 2017 | 3 | 2017 |
Proving properties on PWA systems using copositive and semidefinite programming A Adjé Numerical Software Verification: 9th International Workshop, NSV 2016 …, 2017 | 3 | 2017 |
Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix A Adjé Journal of Optimization Theory and Applications 189 (1), 136-163, 2021 | 2 | 2021 |
Coupling policy iterations with piecewise quadratic lyapunov functions A Adjé Proceedings of the 20th International Conference on Hybrid Systems …, 2017 | 2 | 2017 |
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 | 2 | 2017 |
Set-based value operators for non-stationary Markovian environments SHQ Li, A Adjé, PL Garoche, B Açıkmeşe arXiv preprint arXiv:2207.07271, 2022 | 1 | 2022 |
Fixed points of the set-based bellman operator SHQ Li, A Adjé, PL Garoche, B Açıkmeşe arXiv preprint arXiv:2001.04535, 2020 | 1 | 2020 |