Nadjib Lazaar - Homepage

Content on this page requires a newer version of Adobe Flash Player.

Get Adobe Flash player

Journals


 


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]

 

Book chapters


 

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).

 

 

International conferences


 

 

N. Lazaar.

Parallel Constraint Acquisition. AAAI'2021.[SlidesLive]

M. Collet, A. Gotlieb, N. Lazaar, M. Carlsson, D. Marijan and M. Morten.

RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots. CP'2020.

 B-M. Belaid, C. Bessiere and N. Lazaar.

Constraint Programming for Mining Borders of Frequent Itemsets. IJCAI'2019. [paper]

 

N. Aribi, N. Lazaar, Y. Lebbah, S. Loudni and M. Maamar.

A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy Process. AiTest'2019.

C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar.

Deploying Smart Program Understanding on a Large Code Base. AiTest'2019.

M. Collet, A. Gotlieb, N. Lazaar and M. Morten.

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories. AiTest'2019.

B-M. Belaid, C. Bessiere and N. Lazaar.

Constraint Programming for Association Rules. SDM'2019. [paper]

 

C. Bessiere, N. Lazaar and M. Maamar.

User's constraints in itemset mining. CP'2018.

 

H. Ait Addi, C. Bessiere, R. Ezzahir and N. Lazaar.

Time-bounded Query Generator for Constraint Acquisition. CPAIOR'2018.


C. Ieva, A. Gotlieb, S. Kaci and N. Lazaar.

Discovering Program Topoi through Clustering. AAAI'2018. [paper]


 N. Aribi, M. Maamar, N. Lazaar, Y. Lebbah and S. Loudni.

Multiple fault localization using constraint programming and pattern mining. ICTAI'2017. [paper]


N. Lazaar, Y. Lebbah, S. Loudni, M. Maamar, V. Lemiere, C. Bessiere and P. Boizumault.

A global constraint for closed itemset mining. CP'2016. [paper][slide]


 

R. Arcangioli, C. Bessiere and N. Lazaar.

Multiple Constraint Acquisition. IJCAI'2016. [paper]

 

A. Daoudi, Y. Mechqrane, C. Bessiere, N. Lazaar and  E. Bouyakhf.

Constraint Acquisition with Recommendation Queries. IJCAI'2016. [paper]

 

A. Daoudi, N. Lazaar, Y. Mechqrane, C. Bessiere and  E. Bouyakhf.

Detecting Types of Variables for Generalization in Constraint Acquisition. ICTAI'2015. [paper]

 

M. Maamar, N. Lazaar, S. Loudni, and Y. Lebbah.

Localisation de fautes à l’aide de la fouille de données sous contraintes. COSI'15. [paper]

 

C. Bessiere, R. Coletta and  N. Lazaar.

Solve a Constraint Problem Without Modeling It. ICTAI'2014. [paper][slides]

 

C. Bessiere, R. Coletta, A. Daoudi, N. Lazaar, Y. Mechqrane and E. Bouyakhf.

Boosting Constraint Acquisition via Generalization Queries. ECAI'2014. [paper][slides]

 

C. Bessiere, R. Coletta, E. Hebrard, G. Katsirelos, N. Lazaar, N. Narodytska, C.G. Quimper, and T. Walsh.

Constraint acquisition via partial queries. IJCAI'2013. [paper]

 

N. Lazaar, A. Gotlieb, and Y. Lebbah.

A framework for the automatic correction of constraint programs. ICST’2011. [paper][slides]

 

N. Lazaar, A. Gotlieb, and Y. Lebbah.

Fault localization in constraint programs. ICTAI ’2010. [paper][slide]

 

N. Lazaar, A. Gotlieb, and Y. Lebbah.

On testing constraint programs. CP’2010. [paper][slides]

National conferences


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]

 

 

 

Workshops


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]

 

 

Others


 

C. Bessiere, N. Lazaar, Y. Lebbah and M. Maamar.

User's constraints in Itemset Mining. CoRR abs/1801.00345 (). [link]


M. Maamar, N. Lazaar, S. Loudni, and Y. Lebbah.

A global constraint for closed itemset mining. CoRR abs/1604.04894 (). [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]

 

eXTReMe Tracker