N. Belmecheri, N. Aribi, N. Lazaar, Y. Lebbah and S. Loudni.
Boosting the Learning for Ranking Patterns. Algorithms 2023. [paper]
C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar.
Discovering Program Topoi via Hierarchical Agglomerative Clustering. IEEE Transactions on Reliability, 2018. [paper]
C. Bessiere, F. Koriche, N. Lazaar and B. O’Sullivan.
Constraint Acquisition. Artificial Intelligence Journal, 2017.[paper]
M. Maamar, N. Lazaar, S. Loudni, and Y. Lebbah.
Fault localization using itemset mining under constraints. Automated Software Engineering Journal, 2016. [link]
N. Lazaar, A. Gotlieb and Y. Lebbah.
A CP framework for testing CP. Constraints Journal, 2012. [paper]
C. Bessiere, A. Daoudi, E. Hebrard, G. Katsirelos, N. Lazaar, Y. Mechqrane, N. Narodytska, C.G. Quimper, and T. Walsh.
New Approaches to Constraint Acquisition. Data Mining and Constraint Programming 2016 (ICON book chapter).
G. Menguy, Sébastien Bardin, A. Gotlieb, N. Lazaar: Active Disjunctive Constraint Acquisition. KR 2023.
M-B. Belaid, N. Belmecheri, A. Gotlieb, N. Lazaar, H. Spieker: GEQCA: Generic Qualitative Constraint Acquisition. AAAI 2022. [paper]
G. Menguy, Sébastien Bardin, N. Lazaar, A. Gotlieb: Automated Program Analysis: Revisiting Precondition Inference through Constraint Acquisition. IJCAI-ECAI 2022. [paper]
N. Lazaar: Parallel Constraint Acquisition. AAAI 2021. [paper]
M-B. Belaid, N. Lazaar: Constraint Programming for Itemset Mining with Multiple Minimum Supports. ICTAI 2021. [paper]
M. Collet, A. Gotlieb, N. Lazaar, Mats Carlsson, Dusica Marijan, Morten Mossige: RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP 2020. [paper]
N. Aribi, N. Lazaar, Y. Lebbah, S. Loudni, M. Maamar: A Multiple Fault Localization Approach Based on Multicriteria Analytical Hierarchy Process. AITest 2019. [paper]
C. Ieva, A. Gotlieb, S. Kaci, N. Lazaar: Deploying Smart Program Understanding on a Large Code Base. AITest 2019. [paper]
M. Collet, A. Gotlieb, N. Lazaar, Morten Mossige: Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AITest 2019. [paper]
M-B. Belaid, C. Bessiere, N. Lazaar: Constraint Programming for Mining Borders of Frequent Itemsets. IJCAI 2019. [paper]
M-B. Belaid, C. Bessiere, N. Lazaar: Constraint Programming for Association Rules. SDM 2019. [paper]
C. Ieva, A. Gotlieb, S. Kaci, N. Lazaar: Discovering Program Topoi Through Clustering. AAAI 2018. [paper]
C. Bessiere, N. Lazaar, M. Maamar: User's Constraints in Itemset Mining. CP 2018. [paper]
H. Ait Addi, C. Bessiere, R. Ezzahir, N. Lazaar: Time-Bounded Query Generator for Constraint Acquisition. CPAIOR 2018. [paper]
N. Aribi, M. Maamar, N. Lazaar, Y. Lebbah, S. Loudni: Multiple Fault Localization Using Constraint Programming and Pattern Mining. ICTAI 2017. [paper]
N. Lazaar, Y. Lebbah, S. Loudni, M. Maamar, V. Lemière, C. Bessiere, P. Boizumault: A Global Constraint for Closed Frequent Pattern Mining. CP 2016. [paper]
Robin Arcangioli, C. Bessiere, N. Lazaar: Multiple Constraint Acquisition. IJCAI 2016. [paper]
A. Daoudi, Y. Mechqrane, C. Bessiere, N. Lazaar, E-H. Bouyakhf: Constraint Acquisition with Recommendation Queries. IJCAI 2016. [paper]
A. Daoudi, N. Lazaar, Y. Mechqrane, C. Bessiere, E-H. Bouyakhf: Detecting Types of Variables for Generalization in Constraint Acquisition. ICTAI 2015. [paper]
C. Bessiere, R. Coletta, A. Daoudi, N. Lazaar, Y. Mechqrane, E-H. Bouyakhf: Boosting Constraint Acquisition via Generalization Queries. ECAI 2014. [paper]
C. Bessiere, R. Coletta, N. Lazaar: Solve a Constraint Problem without Modeling It. ICTAI 2014. [paper]
C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, Claude-Guy Quimper, Toby Walsh: Constraint Acquisition via Partial Queries. IJCAI 2013. [paper]
A. Gotlieb, T. Denmat, N. Lazaar: Constraint-based reachability. Infinity 2012. [paper]
N. Lazaar, A. Gotlieb, Y. Lebbah: A Framework for the Automatic Correction of Constraint Programs. ICST 2011. [paper]
N. Lazaar, A. Gotlieb, Y. Lebbah: On Testing Constraint Programs. CP 2010. [paper]
N. Lazaar, A. Gotlieb, Y. Lebbah: Fault Localization in Constraint Programs. ICTAI 2010. [paper]
C. Braye, J. Clech, A. Gotlieb, N. Lazaar and P. Mallea.
Towards Trustworthy-AI-by-Design Methodology for Intelligent Radiology Systems. PFIA - IA & Santé 2023. [paper]
N. Belmecheri, N. Aribi, N. Lazaar, Y. Lebbah and S. Loudni.
Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données. EGC'2022.
M. Maamar, N. Lazaar,S. Loudni, and Y. Lebbah.
F-CPminer : Une approche pour la localisation de fautes basee sur l'extraction de motifs ensemblistes sous contraintes. JFPC'2016.
A. Daoudi, C. Bessiere, R. Coletta, N. Lazaar, Y. Mechqrane, E. Bouyakhf.
Acquisition de contraintes par requêtes de généralisation. JFPC'2014. [paper][slides]
C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, C.G. Quimper, and T. Walsh.
Acquisition de contraintes avec des requêtes partielles. JFPC'2014. [paper][slides]
N. Lazaar ,A. Gotlieb, Y. Lebbah.
cptest4choco : test et mise au point des modèles à contraintes. JFPC'13. [paper][slides]
N. Lazaar ,A. Gotlieb, Y. Lebbah.
Vers une Théorie du Test des programmes à contraintes. JFPC'09. [paper][slides]
R. Arcangioli, N. Lazaar.
Multiple Constraint Acquisition. IJCAI'2015. [paper]
N. Aribi, S. Kaci, N. Lazaar.
Towards an MDD-based representation of preferences. IJCAI workshop on Intelligent Personalization IP'15. [paper]
N. Lazaar, Y. Hamadi, S. Jabbour, and M. Sebag.
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach. Workshop on Bayesian Optimization & Decision Making, held within NIPS'2012. [paper][slides][poster]
N. Lazaar, N. Aribi, A. Gotlieb and Y. Lebbah.
DFA-based formulation for constraint negation. Workshop on Constraint Modelling and Reformulation (ModRef12), held within CP'2012. [paper][slides]
A. Gotlieb, T. Denmat and N. Lazaar.
Constraint-based reachability. Invited Tutorial in Mohamed Faouzi Atig and Ahmed Rezine: Proceedings 14th International Workshop on Verification of Infinite-State Systems (Infinity 2012). [paper]
N. Lazaar.
CPTEST: A framework for the automatic fault detection, localization and correction of constraint. Workshop on Constraints in Software Testing, Verification, and Analysis programs (CSTVA'11), held within ICST'11. [paper][slides]
N. Lazaar , A. Gotlieb, Y. Lebbah.
Toward Constraint-Based Local Search for Automatic Test Data Generation. ICSTW '08[paper] [poster]
C. Bessiere, N. Lazaar, Y. Lebbah and M. Maamar.
User's constraints in Itemset Mining. CoRR abs/1801.00345 (2018). [link]
M. Maamar, N. Lazaar, S. Loudni, and Y. Lebbah.
A global constraint for closed itemset mining. CoRR abs/1604.04894 (2016). [link]
N. Lazaar, Y. Hamadi, S. Jabbour, and M. Sebag.
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach. Hal-INRIA, inria-00733282, N° RR-8070 (2012). [paper]
C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, C.G. Quimper, and T. Walsh.
The complexity of learning constraint networks. Private note Comics, UNSW, 2012.
N. Lazaar ,N. Aribi, A. Gotlieb, Y. Lebbah.
Negation for free!!. Hal-INRIA, inria-00629657, N° RR-7749 (2011). [paper]
N. Lazaar, A. Gotlieb, Y. Lebbah.
On Testing Constraint Programs. Hal-INRIA, inria-00483410,N° RR-7291 (2010). [paper]
N. Lazaar ,A. Gotlieb, Y. Lebbah.
Toward Constraint-Based Local Search for Automatic Test Data Generation. ICSTW '08[paper] [poster]
