Access content directly

Nadjib Lazaar

41
Documents

Presentation

Nadjib Lazaar received his Master Sc. and PhD degrees, both in computer science from University of Rennes1, France, in 2008 and 2011 respectively. Following his PhD, he worked as an INRIA postdoctoral researcherat INRIA-Microsoft Research Joint Center Paris-Saclay till September 2012. In 2012/2013, he worked as post-doctoral researcher at the European ICON project FP7 FET-Open in Montpellier, France. He is currently atenured assistant professor at the University of Montpellier, and a co-head of the COCONUT team at LIRMMlab. His research interests are situated at the crossroads of Constraint Programming (CP), Data Mining (DM),Machine Learning (ML) and Software Testing (ST). In particular, He is interested in developing techniquesand tools for: Constraint Acquisition; Declarative Data Mining; Constraint-Based Software Testing; SoftwareVerification and Validation via Artificial Intelligence.

Publications

Image document

Une méthode d'apprentissage par optimisation multicritère pour le rangement de motifs en fouille de données

Nassim Belmecheri , Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni et al.
EGC 2022 - 22e Conférence Extraction et Gestion des Connaissances, Jan 2022, Blois, France
Conference papers lirmm-03687103v1
Image document

Parallel Constraint Acquisition

Nadjib Lazaar
AAAI 2021 - 35th Conference on Artificial Intelligence, Sep 2021, virtually, Canada. pp.3860-3867, ⟨10.1609/aaai.v35i5.16504⟩
Conference papers lirmm-03687351v1

Constraint Programming for Itemset Mining with Multiple Minimum Supports

Mohamed-Bachir Belaid , Nadjib Lazaar
ICTAI 2021 - 33rd IEEE International Conference on Tools with Artificial Intelligence, Nov 2021, Washington, DC, United States. pp.598-603, ⟨10.1109/ICTAI52525.2021.00095⟩
Conference papers lirmm-03520973v1

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

Mathieu Collet , Arnaud Gotlieb , Nadjib Lazaar , Mats Carlsson , Dusica Marijan et al.
CP 2020 - 26th International Conference on Principles and Practice of Constraint Programming, Sep 2020, Louvain-la-Neuve, Belgium. pp.707-723, ⟨10.1007/978-3-030-58475-7_41⟩
Conference papers lirmm-03687386v1
Image document

Deploying Smart Program Understanding on a Large Code Base

Carlo Ieva , Arnaud Gotlieb , Souhila Kaci , Nadjib Lazaar
AITest 2019 - 1st IEEE International Conference on Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.73-80, ⟨10.1109/AITest.2019.000-4⟩
Conference papers lirmm-02089733v1
Image document

A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy Process

Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni , Mehdi Maamar et al.
AITest 2019 - 1st IEEE International Conference on Artificial Intelligence Testing, Apr 2019, San Francisco, United States. pp.1-8, ⟨10.1109/AITest.2019.00-16⟩
Conference papers lirmm-02089746v1
Image document

Stress Testing of Single-Arm Robots Through Constraint-Based Generation of Continuous Trajectories

Mathieu Collet , Arnaud Gotlieb , Nadjib Lazaar , Morten Mossige
AITest 2019 - 1st IEEE International Conference on Artificial Intelligence Testing, Apr 2019, San francisco, United States. pp.121-128, ⟨10.1109/AITest.2019.00014⟩
Conference papers lirmm-02089742v1
Image document

Constraint Programming for Mining Borders of Frequent Itemsets

Mohamed-Bachir Belaid , Christian Bessière , Nadjib Lazaar
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1064-1070, ⟨10.24963/ijcai.2019/149⟩
Conference papers lirmm-02310629v1
Image document

Constraint Programming for Association Rules

Mohamed-Bachir Belaid , Christian Bessière , Nadjib Lazaar
SDM: SIAM International Conference on Data Mining, May 2019, Calgary, Canada. pp.127-135, ⟨10.1137/1.9781611975673.15⟩
Conference papers lirmm-02089719v1
Image document

Time-Bounded Query Generator for Constraint Acquisition

Hajar Ait Addi , Christian Bessière , Redouane Ezzahir , Nadjib Lazaar
CPAIOR: Integration of Constraint Programming, Artificial Intelligence, and Operations Research, Jun 2018, Delft, Netherlands. pp.1-17, ⟨10.1007/978-3-319-93031-2_1⟩
Conference papers lirmm-01897928v1
Image document

User's Constraints in Itemset Mining

Christian Bessière , Nadjib Lazaar , Mehdi Maamar
CP 2018 - 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.537-553, ⟨10.1007/978-3-319-98334-9_35⟩
Conference papers lirmm-01896872v1
Image document

Discovering Program Topoi Through Clustering

Carlo Ieva , Arnaud Gotlieb , Souhila Kaci , Nadjib Lazaar
AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Conference papers lirmm-01790874v1
Image document

Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermés

Mehdi Maamar , Christian Bessière , Patrice Boizumault , Nadjib Lazaar , Yahia Lebbah et al.
13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil sur Mer, France
Conference papers hal-02088910v1
Image document

Multiple Fault Localization Using Constraint Programming and Pattern Mining

Noureddine Aribi , Mehdi Maamar , Nadjib Lazaar , Yahia Lebbah , Samir Loudni et al.
IEEE 29th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2017, Boston, United States. pp.860-867, ⟨10.1109/ICTAI.2017.00134⟩
Conference papers lirmm-03130609v1
Image document

Multiple Constraint Aquisition

Robin Arcangioli , Christian Bessière , Nadjib Lazaar
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704
Conference papers lirmm-01374712v1
Image document

A Global Constraint for Closed Frequent Pattern Mining

Nadjib Lazaar , Yahia Lebbah , Samir Loudni , Mehdi Maamar , Valentin Lemière et al.
CP 2016 - 22nd International Conference on Principles and Practice of Constraint Programming, Sep 2016, Toulouse, France. pp.333-349, ⟨10.1007/978-3-319-44953-1_22⟩
Conference papers lirmm-01374719v1
Image document

Constraint Acquisition Using Recommendation Queries


Abderrazak Daoudi , Younes Mechqrane , Christian Bessière , Nadjib Lazaar , El Houssine Bouyakhf et al.
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.720-726
Conference papers lirmm-01374716v1
Image document

Localisation de fautes à l’aide de la fouille de données sous contraintes

Mehdi Maamar , Nadjib Lazaar , Samir Loudni , Yahia Lebbah
COSI: Colloque sur l'Optimisation et les Systèmes d'Information, Jun 2015, Oran, Algérie
Conference papers lirmm-01276185v1
Image document

Detecting Types of Variables for Generalization in Constraint Acquisition

Abderrazak Daoudi , Nadjib Lazaar , Younes Mechqrane , Christian Bessière , El Houssine Bouyakhf et al.
ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420, ⟨10.1109/ICTAI.2015.69⟩
Conference papers lirmm-01276187v1
Image document

Towards an MDD-based representation of preferences

Noureddine Aribi , Souhila Kaci , Nadjib Lazaar
CPCR+ITWP@IJCAI, Jul 2015, Buenos Aires, Argentina. pp.34-34
Conference papers lirmm-01276183v1
Image document

Solve a Constraint Problem without Modeling It

Christian Bessière , Remi Coletta , Nadjib Lazaar
ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7, ⟨10.1109/ICTAI.2014.12⟩
Conference papers lirmm-01228368v1
Image document

Acquisition de contraintes avec des requêtes partielles

Christian Bessière , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.
10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Conference papers lirmm-01229549v1
Image document

Boosting Constraint Acquisition via Generalization Queries

Christian Bessière , Remi Coletta , Abderrazak Daoudi , Nadjib Lazaar , Younes Mechqrane et al.
ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104, ⟨10.3233/978-1-61499-419-0-99⟩
Conference papers lirmm-01067472v1
Image document

Acquisition de contraintes par requêtes de généralisation

Christian Bessière , Remi Coletta , Abderrazak Daoudi , Nadjib Lazaar , Younes Mechqrane et al.
10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Conference papers lirmm-01229548v1
Image document

Constraint Acquisition via Partial Queries

Christian Bessière , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Conference papers lirmm-00830325v1
Image document

Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach

Nadjib Lazaar , Said Jabbour , Youssef Hamadi , Michèle Sebag
NIPS 2012 - Workshop on Bayesian Optimization & Decision Making, Dec 2012, Lake Tahoe, United States
Conference papers hal-00870946v1
Image document

Constraint-based reachability

Arnaud Gotlieb , Tristan Denmat , Nadjib Lazaar
Infinity workshop 2012, Aug 2012, Paris, France. ⟨10.4204/EPTCS.107.4⟩
Conference papers hal-00807856v1
Image document

On Testing Constraint Programs

Nadjib Lazaar , Arnaud Gotlieb , Yahia Lebbah
16th Int. Conf. on Principles and Practices of Constraint Programming (CP'2010), Sep 2010, St Andrews, Scotland, United Kingdom
Conference papers hal-00699237v1
Image document

Fault Localization in Constraint Programs

Nadjib Lazaar , Arnaud Gotlieb , Yahia Lebbah
22th Int. Conf. on Tools with Artificial Intelligence (ICTAI'2010), 2010, Arras, France
Conference papers hal-00699235v1
Image document

Vers une Théorie du Test des programmes à contraintes

Nadjib Lazaar , Arnaud Gotlieb , Yahia Lebbah
Cinquièmes Journées Francophones de Programmation par Contraintes, Orléans, juin 2009, Jun 2009, France. pp.65-75
Conference papers hal-00387850v1
Image document

New Approaches to Constraint Acquisition

Christian Bessière , Abderrazak Daoudi , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.
Data Mining and Constraint Programming, 10101 (Chapter 3), Springer International Publishing AG, pp.51-76, 2016, Lecture Notes in Computer Science, 978-3-319-50136-9. ⟨10.1007/978-3-319-50137-6_3⟩
Book sections hal-01606245v1