2021-2023 Publications

• 2023
  • A. Kheireddine : “Contribution à la vérification de modèles bornés basée sur la résolution SAT”, thesis, phd defence 12/19/2023, supervision Baarir, Souheib, co-supervision : Renault, Etienne (EPITA) (2023)
  • A. Kheireddine, E. Renault, S. Baarir : “Towards Better Heuristics for Solving Bounded Model Checking Problems”, Constraints, vol. 28, pp. 45-66, (Springer Verlag) (2023)
• 2022
  • A. Kheireddine, E. Renault, S. Baarir : “Tuning SAT Solvers for LTL Model Checking”, 2022 29^th Asia-Pacific Software Engineering Conference (APSEC), virtual event, Japan, pp. 259-268, (IEEE), (ISBN: 978-1-6654-5537-4) (2022)
• 2021
  • A. Kheireddine, E. Renault, S. Baarir : “Towards Better Heuristics for Solving Bounded Model Checking Problems”, 27^th International Conference on Principles and Practice of Constraint Programming (CP 2021), vol. 210, Leibniz International Proceedings in Informatics (LIPIcs), Montpellier (Virtual Conference), France, pp. 7:1-7:11, (Schloss Dagstuhl − Leibniz-Zentrum für Informatik), (ISBN: 978-3-95977-211-2) (2021)