PhD student at LRE and LIP6, MoVe team.

Contact: anissa.kheireddine[at]lip6.fr

Tools

• Tune clause databases: BSaLTic.
• BMC-based Decomposition: BMC-D.
• Programmatic SAT for BMC: CDCL[BMC].

Papers & Journals

• (CP21) Kheireddine, Anissa and Renault, Etienne and Baarir, Souheib. Towards Better Heuristics for Solving Bounded Model Checking Problems. 27th International Conference on Principles and Practice of Constraint Programming (CP 2021),doi
• (CONSTRAINT) Kheireddine, A., Renault, E. & Baarir, S. Towards better heuristics for solving bounded model checking problems. Constraints 28, 45–66 (2023). https://doi.org/10.1007/s10601-022-09339-8
• (APSEC22) Kheireddine, Anissa and Renault, Etienne and Baarir, Souheib. Tuning SAT solvers for LTL Model Checking, 29th Asia-Pacific Software Engineering Conference, APSEC 2022, Virtual Event, Japan, December 6-9, 2022, 10.1109/APSEC57359.2022.00038

Teaching

• Initiation à la programmation python LU1IN011 (niveau Licence 1), Sorbonne Université.
• Programamtion C LU1IN002 (niveau Licence 1), Sorbonne Université.
• Complexité des algorithmes CPXA (niveau Licence 3), EPITA.
• Théorie des langages rationnels THLR (niveau Licence 2), EPITA.
• Structures de données LU2IN006 (niveau Licence 2), Sorbonne Université.
• Programmation concurrente LU3IN001 (niveau Licence 3), Sorbonne Université.