Assalé Adjé
Ma photo

Thèmes de recherche

Publications

Publications dans des revues internationales à comité de lecture

  1. Quadratic Maximization of Reachable Values of Stable Discrete-Time Affine Systems, A. Adjé. To appear in Optimization.
  2. Set-based Value Operators for Non-Stationary and Uncertain Markov Decision Processes, S. H. Q. Li, A. Adjé, P.L. Garoche, B. Açikmeşe. Automatica, 171, 111970, (2025).
  3. Bounding Fixed Points of Set-Based Bellman Operator and Nash Equilibria of Stochastic Games, S. H. Q. Li, A. Adjé, P. L. Garoche, B. Açikmeşe. Automatica, 130, 109685, (2021).
  4. Quadratic Maximization of Reachable Values of Affine Systems with Diagonalizable Matrix, A. Adjé, Journal of Optimization Theory and Applications 189 (1), 136-163, (2021).
  5. Policy Iterations Without Selection Property, A. Adjé, Kalpa Publications in Computing 8, 1-10, (2018).
  6. A Sums-of-Squares Extension of Policy Iterations, A. Adjé, P. L. Garoche, V. Magron, Nonlinear Analysis: Hybrid Systems 25, 60-78, (2017).
  7. Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs. A. Adjé, P. L. Garoche. Computer Language, Systems & Structures 47, 44-61, (2017).
  8. Policy Iteration in Finite Templates Domain, A. Adjé Electronic Notes in Theoretical Computer Science, Novembre 2015, 317 3—18, (2016).
  9. Computing the Smallest Fixed Point of Order-Preserving Nonexpansive Mappings Arising in Positive Stochastic Games and Static Analysis of Programs, A. Adjé, S. Gaubert et E. Goubault, Journal of Mathematical Analysis and Applications, 410(1) 227 – 240, (2014).
  10. Coupling Policy Iteration with Semi-Definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis, A. Adjé, S. Gaubert et E. Goubault, Logical Methods in Computer Science, 8(1), (2012).
  11. Abstract Interpretation Meets Convex Optimization, A. Adjé, T. Gawlitza, H. Seidl, S. Gaubert et E. Goubault, Journal of Symbolic Computation, 47(12), 1416 – 1446, (2012).

Conférences internationales avec comité de lecture et actes

  1. Fast and Efficient Bit-Level Precision Tuning. A. Adjé, D. Ben Khalifa, M. Martel. Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA 13, (2021).
  2. 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).
  3. Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions A. Adjé Proceedings of the 20th International Conference on Hybrid Systems, (2017).
  4. Proving Properties on PWA Systems using Copositive and Semidefinite Programming A. Adjé Numerical Software Verification: 9th International Workshop, NSV (2016).
  5. Quadratic Zonotopes : an Extension of Zonotopes to Quadratic Arithmetics, A. Adjé, P.-L. Garoche et A. Werey. Asian Symposium: Programming Languages And Systems (APLAS2015), Lecture Notes in Computer Science 9458, Springer, pp 127—145,(2015).
  6. Property-based Polynomial Invariant Generation Using Sums-of-Squares Optimization. A. Adjé, P.-L. Garoche et V. Magron. Static Analysis Symposium (SAS15), Lecture Notes in Computer Science 9291, Springer, pp 235—251, (2015).
  7. Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs, A. Adjé et P.-L. Garoche.Verification, Model Checking Abstract Interpretation (VMCAI2015), Lecture Notes in Computer Science 8931, Springer, pp 99—116, (2015).
  8. Static Analysis of Programs with Imprecise Probabilistic Inputs, A. Adjé, O. Bouissou, E. Goubault, J. Goubault-Larrecq et S. Putot, Verified Software: Theories, Tools and Experiments (VSTTE2013), Mai 2013, Lecture Notes in Computer Science 8164, Springer, pp 22—47, (2013).
  9. Coupling Policy Iteration with Semi-Definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis, A. Adjé, S. Gaubert et Eric Goubault, European Symposium on Programming (ESOP2010), Lecture Notes in Computer Science 6012, Springer, pp 23—42, (2010).
  10. Computing the Smallest Fixed Point of Nonexpansive Mappings Arising in Game Theory and Static Analysis of Programs, A. Adjé, S. Gaubert et E. Goubault, 18th International symposium on Mathematical Theory of Networks and Systems (MTNS2008), proceedings on CDROM, Blacksburg, Virginia, Juillet 2008.