Assalé Adjé - RankMe

28 papers A 1B 4Journal 17Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Set-based value operators for non-stationary and uncertain Markov decision processes. Autom. Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
2022	J	`jnl`	Set-based value operators for non-stationary Markovian environments. CoRR Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
2021	J	`jnl`	Bounding fixed points of set-based Bellman operator and Nash equilibria of stochastic games. Autom. Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
2021	B	`conf`	Fast and Efficient Bit-Level Precision Tuning. SAS Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
2021	J	`jnl`	Fast and Efficient Bit-Level Precision Tuning. CoRR Assalé Adjé, Dorra Ben Khalifa, Matthieu Martel
2021	J	`jnl`	Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix. J. Optim. Theory Appl. Assalé Adjé
2020	J	`jnl`	Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games. CoRR Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
2020	J	`jnl`	Fixed Points of the Set-Based Bellman Operator. CoRR Sarah H. Q. Li, Assalé Adjé, Pierre-Loïc Garoche, Behçet Açikmese
2019	—	`conf`	POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations. FTSCS Dorra Ben Khalifa, Matthieu Martel, Assalé Adjé
2017	J	`jnl`	Automatic synthesis of k-inductive piecewise quadratic invariants for switched affine control programs. Comput. Lang. Syst. Struct. Assalé Adjé, Pierre-Loïc Garoche
2017	—	`conf`	Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions. HSCC Assalé Adjé
2016	—	`conf`	Proving Properties on PWA Systems Using Copositive and Semidefinite Programming. NSV@CAV Assalé Adjé
2015	J	`jnl`	A Sums-of-Squares Extension of Policy Iterations. CoRR Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
2015	B	`conf`	Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. VMCAI Assalé Adjé, Pierre-Loïc Garoche
2015	J	`jnl`	Coupling Policy Iteration with Piecewise Quadratic Lyapunov Functions to Overapproximate the Reachable Values Set of Piecewise Affine Discrete-Time Dynamical Systems. CoRR Assalé Adjé
2015	B	`conf`	Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. SAS Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
2015	J	`jnl`	Property-based Polynomial Invariant Generation using Sums-of-Squares Optimization. CoRR Assalé Adjé, Pierre-Loïc Garoche, Victor Magron
2015	B	`conf`	Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics. APLAS Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
2014	J	`jnl`	Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs. CoRR Assalé Adjé, Pierre-Loïc Garoche
2014	—	`conf`	Policy Iteration in Finite Templates Domain. NSV Assalé Adjé
2014	J	`jnl`	Polynomial Template Generation using Sum-of-Squares Programming. CoRR Assalé Adjé, Victor Magron
2014	J	`jnl`	Quadratic Zonotopes: An extension of Zonotopes to Quadratic Arithmetics. CoRR Assalé Adjé, Pierre-Loïc Garoche, Alexis Werey
2013	—	`conf`	Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
2012	J	`jnl`	Abstract interpretation meets convex optimization. J. Symb. Comput. Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
2012	J	`jnl`	Concrete Semantics of Programs with Non-Deterministic and Random Inputs CoRR Assalé Adjé, Jean Goubault-Larrecq
2012	J	`jnl`	Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis Log. Methods Comput. Sci. Assalé Adjé, Stéphane Gaubert, Eric Goubault
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é
2010	A	`conf`	Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP Assalé Adjé, Stéphane Gaubert, Eric Goubault