Anissa Kheireddine
Orcid: 0000-0002-5958-4069
According to our database1,
Anissa Kheireddine
authored at least 5 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering, 2024
2023
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).
PhD thesis, 2023
2022
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021