KHEIREDDINE Anissa
PhD graduated (ATER, Sorbonne Université)
Team : MoVe
Arrival date : 10/07/2019
Tel: +33 1 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine
Team : MoVe
Arrival date : 10/07/2019
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 231
4 place Jussieu
75252 PARIS CEDEX 05
FRANCE
Tel: +33 1 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine
Supervision : Souheib BAARIR
Co-supervision : RENAULT Etienne (EPITA)
Parallélisation et optimisation du Bounded model-checking
2021-2023 Publications
-
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 29th 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”, 27th 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)