Yassamine Seladji

15 papers B 2C 2Misc 1Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Formal specification and SMT verification of quantized neural network for autonomous vehicles.
Sci. Comput. Program.
Wahiba Bachiri, Yassamine Seladji, Pierre-Loïc Garoche
2024 J jnl
Code Generation for Neural Networks Based on Fixed-point Arithmetic.
ACM Trans. Embed. Comput. Syst.
Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
2024 C conf
Smart Widening for the Polyhedral Analysis.
ICSOFT
Yassamine Seladji
2022 — conf
Detection of leaks through exception mechanisms.
ICAASE
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa
2022 J jnl
Fixed-Point Code Synthesis For Neural Networks.
CoRR
Hanane Benmaghnia, Matthieu Martel, Yassamine Seladji
2022 Misc conf
Security Vulnerabilities Detection Through Assertion-Based Approach.
TASE
Salim Yahia Kissi, Rabéa Ameur-Boulifa, Yassamine Seladji
2021 C conf
Detection of Security Vulnerabilities Induced by Integer Errors.
ICSOFT
Salim Yahia Kissi, Yassamine Seladji, Rabéa Ameur-Boulifa
2018 J jnl
Polyhedron over-approximation for complexity reduction in static analysis.
Int. J. Comput. Math. Comput. Syst. Theory
Yassamine Seladji, Zheng Qu
2017 B conf
Finding Relevant Templates via the Principal Component Analysis.
VMCAI
Yassamine Seladji
2016 — conf
Reduce the Complexity of the Polyhedron Minimization Using the Max Plus Pruning Method.
NSV@CAV
Yassamine Seladji
2013 B conf
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.
VMCAI
Yassamine Seladji, Olivier Bouissou
2013 — conf
Numerical Abstract Domain Using Support Functions.
NASA Formal Methods
Yassamine Seladji, Olivier Bouissou
2012 J jnl
Acceleration of the abstract fixpoint computation in numerical program analysis.
J. Symb. Comput.
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2010 J jnl
Abstract Fixpoint Computations with Numerical Acceleration Methods
CoRR
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2010 — conf
Abstract Fixpoint Computations with Numerical Acceleration Methods.
NSAD@SAS
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot