Anissa Kheireddine

According to our database, Anissa Kheireddine authored at least 5 papers between 2021 and 2024.

Collaborative distances:

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

2024

Interpolation-Based Learning for Bounded Model Checking.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024

2023

Towards better heuristics for solving bounded model checking problems.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Constraints An Int. J., March, 2023

Contribution to SAT-based Bounded Model Checking. (Contribution à la vérification de modèles bornés basée sur la résolution SAT).

Anissa Kheireddine

PhD thesis, 2023

2022

Tuning SAT solvers for LTL Model Checking.

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Towards Better Heuristics for Solving Bounded Model Checking Problems (Short Paper).

Anissa Kheireddine, Etienne Renault, Souheib Baarir

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021