Assalé ADJE
Assalé ADJE
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
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
Abstract interpretation meets convex optimization
TM Gawlitza, H Seidl, A Adjé, S Gaubert, É Goubault
Journal of Symbolic Computation 47 (12), 1416-1446, 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
Automatic synthesis of piecewise linear quadratic invariants for programs
A Adjé, PL Garoche
Verification, Model Checking, and Abstract Interpretation: 16th …, 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
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
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
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
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
Policy iteration in finite templates domain
A Adjé
Electronic Notes in Theoretical Computer Science 317, 3-18, 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
Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite
A Adje
Ecole Polytechnique X, 2011
A sums-of-squares extension of policy iterations
A Adjé, PL Garoche, V Magron
Nonlinear Analysis: Hybrid Systems 25, 60-78, 2017
Proving properties on PWA systems using copositive and semidefinite programming
A Adjé
Numerical Software Verification: 9th International Workshop, NSV 2016 …, 2017
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
Coupling policy iterations with piecewise quadratic lyapunov functions
A Adjé
Proceedings of the 20th International Conference on Hybrid Systems …, 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
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
Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix
A Adjé
Journal of Optimization Theory and Applications 189 (1), 136-163, 2021
Fixed points of the set-based bellman operator
SHQ Li, A Adjé, PL Garoche, B Açıkmeşe
arXiv preprint arXiv:2001.04535, 2020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20