Abstract Fixpoint Computations with Numerical Acceleration Methods. - Olivier Bouissou; Yassamine Seladji; Alexandre Chapoutot (NSAD@SAS, 2010)

Acceleration of the abstract fixpoint computation in numerical program analysis. - Olivier Bouissou; Yassamine Seladji; Alexandre Chapoutot (J. Symb. Comput., 2012)

Numerical Abstract Domain Using Support Functions. - Yassamine Seladji; Olivier Bouissou (NASA Formal Methods, 2013)

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. - Yassamine Seladji; Olivier Bouissou (VMCAI, 2013)

Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method. - Yassamine Seladji (NSV@CAV, 2016)

Finding Relevant Templates via the Principal Component Analysis. - Yassamine Seladji (VMCAI, 2017)

Polyhedron over-approximation for complexity reduction in static analysis. - Yassamine Seladji; Zheng Qu 001 (Int. J. Comput. Math. Comput. Syst. Theory, 2018)

Detection of Security Vulnerabilities Induced by Integer Errors. - Salim Yahia Kissi; Yassamine Seladji; Rabéa Ameur-Boulifa (ICSOFT, 2021)

Detection of leaks through exception mechanisms. - Salim Yahia Kissi; Yassamine Seladji; Rabéa Ameur-Boulifa (ICAASE, 2022)

Security Vulnerabilities Detection Through Assertion-Based Approach. - Salim Yahia Kissi; Rabéa Ameur-Boulifa; Yassamine Seladji (TASE, 2022)

Fixed-Point Code Synthesis For Neural Networks. - Hanane Benmaghnia; Matthieu Martel; Yassamine Seladji (CoRR, 2022)

Smart Widening for the Polyhedral Analysis. - Yassamine Seladji (ICSOFT, 2024)

Code Generation for Neural Networks Based on Fixed-point Arithmetic. - Hanane Benmaghnia; Matthieu Martel; Yassamine Seladji (ACM Trans. Embed. Comput. Syst., 2024)

Formal specification and SMT verification of quantized neural network for autonomous vehicles. - Wahiba Bachiri; Yassamine Seladji; Pierre-Loïc Garoche (Sci. Comput. Program., 2025)