Assalé Adjé

According to our database, Assalé Adjé authored at least 21 papers between 2011 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

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

2021

Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix.

Assalé Adjé

J. Optim. Theory Appl., 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

Fast and Efficient Bit-Level Precision Tuning.

Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel

Proceedings of the Static Analysis - 28th International Symposium, 2021

2020

Fixed Points of the Set-Based Bellman Operator.

Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese

CoRR, 2020

2019

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations.

Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé

Proceedings of the Formal Techniques for Safety-Critical Systems, 2019

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

Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions.

Assalé Adjé

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

Proving Properties on PWA Systems Using Copositive and Semidefinite Programming.

Assalé Adjé

Proceedings of the Numerical Software Verification - 9th International Workshop, 2016

2015

A Sums-of-Squares Extension of Policy Iterations.

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron

CoRR, 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

Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs.

Assalé Adjé, Pierre-Loïc Garoche

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization.

Assalé Adjé, Pierre-Loïc Garoche, Victor Magron

Proceedings of the Static Analysis - 22nd International Symposium, 2015

Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics.

Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015

2014

Policy Iteration in Finite Templates Domain.

Assalé Adjé

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2014

Polynomial Template Generation using Sum-of-Squares Programming.

Assalé Adjé, Victor Magron

CoRR, 2014

2013

Static Analysis of Programs with Imprecise Probabilistic Inputs.

Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

2012

Abstract interpretation meets convex optimization.

Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault

J. Symb. Comput., 2012

Concrete Semantics of Programs with Non-Deterministic and Random Inputs

Assalé Adjé, Jean Goubault-Larrecq

CoRR, 2012

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

2011

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é

PhD thesis, 2011