Yassamine Seladji

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 7

Top Topics

Security Vulnerabilities

Top Venues

Publications

Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa
Detection of leaks through exception mechanisms. ICAASE (2022)
Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji
Security Vulnerabilities Detection Through Assertion-Based Approach. TASE (2022)
Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
Fixed-Point Code Synthesis For Neural Networks. CoRR (2022)
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa
Detection of Security Vulnerabilities Induced by Integer Errors. ICSOFT (2021)
Yassamine Seladji, Zheng Qu
Polyhedron over-approximation for complexity reduction in static analysis. Int. J. Comput. Math. Comput. Syst. Theory 3 (4) (2018)
Yassamine Seladji
Finding Relevant Templates via the Principal Component Analysis. VMCAI (2017)
Yassamine Seladji
Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method. NSV@CAV (2016)
Yassamine Seladji, Olivier Bouissou
Numerical Abstract Domain Using Support Functions. NASA Formal Methods (2013)
Yassamine Seladji, Olivier Bouissou
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools. VMCAI (2013)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Acceleration of the abstract fixpoint computation in numerical program analysis. J. Symb. Comput. 47 (12) (2012)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods CoRR (2010)
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
Abstract Fixpoint Computations with Numerical Acceleration Methods. Electron. Notes Theor. Comput. Sci. 267 (1) (2010)