Accéder directement au contenu

Nadjib Lazaar

47
Documents

Présentation

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

Active disjunctive constraint acquisition

Grégoire Menguy , Sébastien Bardin , Arnaud Gotlieb , Nadjib Lazaar
KR 2023 - 20th International Conference on Principles of Knowledge Representation and Reasoning, Sep 2023, Rhodes, Greece. pp.512-520, ⟨10.24963/kr.2023/50⟩
Communication dans un congrès cea-04258912v1
Image document

Towards Trustworthy-AI-by-Design Methodology for Intelligent Radiology Systems

Clotilde Brayé , Jérémy Clech , Arnaud Gotlieb , Nadjib Lazaar , Patrick Malléa
Journée Santé et IA @PFIA_2023, Plate-Forme Intelligence Artificielle - PFIA, Jul 2023, Strasbourg, France
Communication dans un congrès lirmm-04160772v1
Image document

Analyse de Code Automatique: Revisiter l'Inférence de Préconditions via l'Acquisition de Contraintes

Grégoire Menguy , Sébastien Bardin , Nadjib Lazaar , Arnaud Gotlieb
JFPC 2023 - Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.81-82
Communication dans un congrès lirmm-04473797v1
Image document

Approche générique pour l'acquisition de contraintes qualitatives

Mohamed-Bachir Belaid , Nassim Belmecheri , Arnaud Gotlieb , Nadjib Lazaar , Helge Spieker
JFPC 2023 - Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.46-47
Communication dans un congrès lirmm-04473725v1
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
EGC 2022 - 22e Conférence Extraction et Gestion des Connaissances, Jan 2022, Blois, France
Communication dans un congrès lirmm-03687103v1
Image document

Automated program analysis: revisiting precondition inference through constraint acquisition

Grégoire Menguy , Sébastien Bardin , Nadjib Lazaar , Arnaud Gotlieb
IJCAI-ECAI 22 - 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence, Jul 2022, Vienne, Austria. pp.1873-1879, ⟨10.24963/ijcai.2022/260⟩
Communication dans un congrès cea-04258914v1
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⟩
Communication dans un congrès 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⟩
Communication dans un congrès lirmm-03520973v1

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

Mathieu Collet , Arnaud Gotlieb , Nadjib Lazaar , Mats Carlsson , Dusica Marijan
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⟩
Communication dans un congrès lirmm-03687386v1
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⟩
Communication dans un congrès lirmm-02089742v1
Image document

A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy Process

Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni , Mehdi Maamar
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⟩
Communication dans un congrès lirmm-02089746v1
Image document

Constraint Programming for Mining Borders of Frequent Itemsets

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

Constraint Programming for Association Rules

Mohamed-Bachir Belaid , Christian Bessiere , Nadjib Lazaar
SDM 2019 - 19th SIAM International Conference on Data Mining, May 2019, Calgary, AB, Canada. pp.127-135, ⟨10.1137/1.9781611975673.15⟩
Communication dans un congrès lirmm-02089719v1
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⟩
Communication dans un congrès lirmm-02089733v1
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
Communication dans un congrès lirmm-01790874v1
Image document

User's Constraints in Itemset Mining

Christian Bessiere , 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⟩
Communication dans un congrès lirmm-01896872v1
Image document

Time-Bounded Query Generator for Constraint Acquisition

Hajar Ait Addi , Christian Bessiere , 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⟩
Communication dans un congrès lirmm-01897928v1
Image document

Multiple Fault Localization Using Constraint Programming and Pattern Mining

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

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

Mehdi Maamar , Christian Bessiere , Patrice Boizumault , Nadjib Lazaar , Yahia Lebbah
13èmes Journées Francophones de Programmation par Contraintes (JFPC 2017), Jun 2017, Montreuil sur Mer, France
Communication dans un congrès hal-02088910v1
Image document

A Global Constraint for Closed Frequent Pattern Mining

Nadjib Lazaar , Yahia Lebbah , Samir Loudni , Mehdi Maamar , Valentin Lemière
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⟩
Communication dans un congrès lirmm-01374719v1
Image document

Multiple Constraint Aquisition

Robin Arcangioli , Christian Bessiere , Nadjib Lazaar
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.698-704
Communication dans un congrès lirmm-01374712v1
Image document

Constraint Acquisition Using Recommendation Queries


Abderrazak Daoudi , Younes Mechqrane , Christian Bessiere , Nadjib Lazaar , El Houssine Bouyakhf
IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York City, United States. pp.720-726
Communication dans un congrès lirmm-01374716v1
Image document

Detecting Types of Variables for Generalization in Constraint Acquisition

Abderrazak Daoudi , Nadjib Lazaar , Younes Mechqrane , Christian Bessiere , El Houssine Bouyakhf
ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2015, Vietri sul Mare, Italy. pp.413-420, ⟨10.1109/ICTAI.2015.69⟩
Communication dans un congrès lirmm-01276187v1
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
Communication dans un congrès lirmm-01276185v1
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
Communication dans un congrès lirmm-01276183v1
Image document

Acquisition de contraintes avec des requêtes partielles

Christian Bessiere , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar
10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Communication dans un congrès lirmm-01229549v1
Image document

Solve a Constraint Problem without Modeling It

Christian Bessiere , Remi Coletta , Nadjib Lazaar
ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2014, Limasso, Cyprus. pp.1-7, ⟨10.1109/ICTAI.2014.12⟩
Communication dans un congrès lirmm-01228368v1
Image document

Boosting Constraint Acquisition via Generalization Queries

Christian Bessiere , Remi Coletta , Abderrazak Daoudi , Nadjib Lazaar , Younes Mechqrane
ECAI: European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic. pp.099-104, ⟨10.3233/978-1-61499-419-0-99⟩
Communication dans un congrès lirmm-01067472v1
Image document

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

Christian Bessiere , Remi Coletta , Abderrazak Daoudi , Nadjib Lazaar , Younes Mechqrane
10èmes Journées Francophones de Programmation par Contraintes (JFPC 2014), Jun 2014, Angers, France
Communication dans un congrès lirmm-01229548v1
Image document

Constraint Acquisition via Partial Queries

Christian Bessiere , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar
IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481
Communication dans un congrès 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
Communication dans un congrès 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⟩
Communication dans un congrès hal-00807856v1
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
Communication dans un congrès hal-00699235v1
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
Communication dans un congrès hal-00699237v1
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
Communication dans un congrès hal-00387850v1
Image document

New Approaches to Constraint Acquisition

Christian Bessiere , Abderrazak Daoudi , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar
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⟩
Chapitre d'ouvrage hal-01606245v1