KHEIREDDINE Anissa
Doctorante (ATER, Sorbonne Université)
Équipe : MoVe
Date d'arrivée : 07/10/2019
Tel: 01 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine
Équipe : MoVe
Date d'arrivée : 07/10/2019
- Sorbonne Université - LIP6
Boîte courrier 169
Couloir 25-26, Étage 2, Bureau 231
4 place Jussieu
75252 PARIS CEDEX 05
Tel: 01 44 27 51 28, Anissa.Kheireddine (at) nulllip6.fr
https://lip6.fr/Anissa.Kheireddine
Direction de recherche : Souheib BAARIR
Co-encadrement : RENAULT Etienne (EPITA)
Parallélisation et optimisation du Bounded model-checking
Publications 2021-2023
-
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)