Yassamine Seladji

According to our database, Yassamine Seladji authored at least 13 papers between 2010 and 2024.

Collaborative distances:

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

2024

Code Generation for Neural Networks Based on Fixed-point Arithmetic.

Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji

ACM Trans. Embed. Comput. Syst., September, 2024

Smart Widening for the Polyhedral Analysis.

Yassamine Seladji

Proceedings of the 19th International Conference on Software Technologies, 2024

2022

Fixed-Point Code Synthesis For Neural Networks.

Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji

CoRR, 2022

Security Vulnerabilities Detection Through Assertion-Based Approach.

Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji

Proceedings of the Theoretical Aspects of Software Engineering, 2022

Detection of leaks through exception mechanisms.

Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa

Proceedings of the International Conference on Advanced Aspects of Software Engineering, 2022

2021

Detection of Security Vulnerabilities Induced by Integer Errors.

Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa

Proceedings of the 16th International Conference on Software Technologies, 2021

2018

Polyhedron over-approximation for complexity reduction in static analysis.

Yassamine Seladji, Zheng Qu

Int. J. Comput. Math. Comput. Syst. Theory, 2018

2017

Finding Relevant Templates via the Principal Component Analysis.

Yassamine Seladji

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

2016

Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method.

Yassamine Seladji

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

2013

Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.

Yassamine Seladji, Olivier Bouissou

Proceedings of the Verification, 2013

Numerical Abstract Domain Using Support Functions.

Yassamine Seladji, Olivier Bouissou

Proceedings of the NASA Formal Methods, 2013

2012

Acceleration of the abstract fixpoint computation in numerical program analysis.

Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

J. Symb. Comput., 2012

2010

Abstract Fixpoint Computations with Numerical Acceleration Methods.

Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010