Optimisation et jeux appliqués à l'analyse statique de programmes par interprétation abstraite. (Opimisation and games applied to static analysis by abstract interpretation). - Assalé Adjé (2011)

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis - Assalé Adjé; Stéphane Gaubert; Eric Goubault (Log. Methods Comput. Sci., 2012)

Concrete Semantics of Programs with Non-Deterministic and Random Inputs - Assalé Adjé; Jean Goubault-Larrecq (CoRR, 2012)

Abstract interpretation meets convex optimization. - Thomas Martin Gawlitza; Helmut Seidl; Assalé Adjé; Stéphane Gaubert; Eric Goubault (J. Symb. Comput., 2012)

Static Analysis of Programs with Imprecise Probabilistic Inputs. - Assalé Adjé; Olivier Bouissou; Jean Goubault-Larrecq; Eric Goubault; Sylvie Putot (VSTTE, 2013)

Polynomial Template Generation using Sum-of-Squares Programming. - Assalé Adjé; Victor Magron (CoRR, 2014)

Policy Iteration in Finite Templates Domain. - Assalé Adjé (NSV, 2014)

Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. - Assalé Adjé; Pierre-Loïc Garoche; Alexis Werey (APLAS, 2015)

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. - Assalé Adjé; Pierre-Loïc Garoche; Victor Magron (SAS, 2015)

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. - Assalé Adjé; Pierre-Loïc Garoche (VMCAI, 2015)

Coupling Policy Iteration with Piecewise Quadratic Lyapunov Functions to Overapproximate the Reachable Values Set of Piecewise Affine Discrete-Time Dynamical Systems. - Assalé Adjé (CoRR, 2015)

A Sums-of-Squares Extension of Policy Iterations. - Assalé Adjé; Pierre-Loïc Garoche; Victor Magron (CoRR, 2015)

Proving Properties on PWA Systems Using Copositive and Semidefinite Programming. - Assalé Adjé (NSV@CAV, 2016)

Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions. - Assalé Adjé (HSCC, 2017)

Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. - Assalé Adjé; Pierre-Loïc Garoche (Comput. Lang. Syst. Struct., 2017)

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. - Dorra Ben Khalifa; Matthieu Martel; Assalé Adjé (FTSCS, 2019)

Fixed Points of the Set-Based Bellman Operator. - Sarah H. Q. Li; Assalé Adjé; Pierre-Loïc Garoche; Behçet Açikmese (CoRR, 2020)

Fast and Efficient Bit-Level Precision Tuning. - Assalé Adjé; Dorra Ben Khalifa; Matthieu Martel (SAS, 2021)

Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games. - Sarah H. Q. Li; Assalé Adjé; Pierre-Loïc Garoche; Behçet Açikmese (Autom., 2021)

Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix. - Assalé Adjé (J. Optim. Theory Appl., 2021)

Set-based value operators for non-stationary Markovian environments. - Sarah H. Q. Li; Assalé Adjé; Pierre-Loïc Garoche; Behçet Açikmese (CoRR, 2022)

Set-based value operators for non-stationary and uncertain Markov decision processes. - Sarah H. Q. Li; Assalé Adjé; Pierre-Loïc Garoche; Behçet Açikmese (Autom., 2025)