Anissa Kheireddine
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ENASE | Interpolation-Based Learning for Bounded Model Checking. | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2022 | APSEC | Tuning SAT solvers for LTL Model Checking. | Anissa Kheireddine, Etienne Renault, Souheib Baarir |
| 2021 | CP | Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper). | Anissa Kheireddine, Etienne Renault, Souheib Baarir |