Nadjib Lazaar

53
Documents

Présentation

Publications

Publications

Toward Trustworthy Automated Driving through Qualitative Scene Understanding and Explanations

Nassim Belmecheri , Arnaud Gotlieb , Nadjib Lazaar , Helge Spieker
SAE International journal of Connected and Automated Vehicles, 2025, 8 (1), ⟨10.4271/12-08-01-0003⟩
Article dans une revue lirmm-04834895 v1

A Query-Based Constraint Acquisition Approach for Enhanced Precision in Program Precondition Inference

Grégoire Menguy , Sébastien Bardin , Arnaud Gotlieb , Nadjib Lazaar
Journal of Artificial Intelligence Research, 2025, 82, pp.901-936. ⟨10.1613/jair.1.16206⟩
Article dans une revue hal-04996488 v1
Image document

Query-driven Qualitative Constraint Acquisition

Mohamed-Bachir Belaid , Nassim Belmecheri , Arnaud Gotlieb , Nadjib Lazaar , Helge Spieker
Journal of Artificial Intelligence Research, 2024, 79, pp.241-271. ⟨10.1613/jair.1.14752⟩
Article dans une revue lirmm-04835853 v1
Image document

Boosting the Learning for Ranking Patterns

Nassim Belmecheri , Noureddine Aribi , Nadjib Lazaar , Yahia Lebbah , Samir Loudni
Algorithms, 2023, 16 (5), pp.218. ⟨10.3390/a16050218⟩
Article dans une revue hal-04130835 v1
Image document

Learning Constraints through Partial Queries

Christian Bessiere , Clement Carbonnel , Anton Dries , Emmanuel Hebrard , George Katsirelos et al.
Artificial Intelligence, 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩
Article dans une revue lirmm-04028358 v1
Image document

Discovering Program Topoi via Hierarchical Agglomerative Clustering

Carlo Ieva , Arnaud Gotlieb , Souhila Kaci , Nadjib Lazaar
IEEE Transactions on Reliability, 2018, 67 (3), pp.758-770. ⟨10.1109/TR.2018.2828135⟩
Article dans une revue lirmm-02088786 v1
Image document

Constraint Acquisition

Christian Bessiere , Frédéric Koriche , Nadjib Lazaar , Barry O'Sullivan
Artificial Intelligence, 2017, 244, pp.315-342. ⟨10.1016/j.artint.2015.08.001⟩
Article dans une revue lirmm-01276188 v1
Image document

Fault localization using itemset mining under constraints

Mehdi Maamar , Nadjib Lazaar , Samir Loudni , Yahia Lebbah
Automated Software Engineering, 2017, 24 (2), pp.341-368. ⟨10.1007/s10515-015-0189-z⟩
Article dans une revue lirmm-01276633 v1

Evaluating Human Trajectory Prediction with Metamorphic Testing

Helge Spieker , Nassim Belmecheri , Arnaud Gotlieb , Nadjib Lazaar
MET 2024 - 9th ACM International Workshop on Metamorphic Testing, Sep 2024, Vienna, Austria. pp.34-40, ⟨10.1145/3679006.3685071⟩
Communication dans un congrès lirmm-04825808 v1
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 - 18es Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.81-82
Communication dans un congrès lirmm-04473797 v1
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-04160772 v1
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-04258912 v1
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 - 18es Journées Francophones de Programmation par Contraintes@PFIA2023, Jul 2023, Strasbourg, France. pp.46-47
Communication dans un congrès lirmm-04473725 v1
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-03687103 v1
Image document

Automated program analysis: revisiting precondition inference through constraint acquisition

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

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-03520973 v1
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-03687351 v1

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⟩
Communication dans un congrès lirmm-03687386 v1
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-02089719 v1
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-02310629 v1
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-02089742 v1
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-02089746 v1
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-02089733 v1
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-03130609 v1
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-01790874 v1
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-01896872 v1
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-01897928 v1
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 et al.
JFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France
Communication dans un congrès hal-02088910 v1
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-01374716 v1
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-01276187 v1
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⟩
Communication dans un congrès lirmm-01374719 v1
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-01374712 v1
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-01276183 v1
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-01276185 v1
Image document

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

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

Boosting Constraint Acquisition via Generalization Queries

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

Acquisition de contraintes avec des requêtes partielles

Christian Bessiere , Remi Coletta , Emmanuel Hébrard , George Katsirelos , Nadjib Lazaar et al.
JFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France
Communication dans un congrès lirmm-01229549 v1
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-01228368 v1
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-00807856 v1
Image document

Constraint Acquisition via Partial Queries

Christian Bessiere , 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
Communication dans un congrès lirmm-00830325 v1
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-00870946 v1
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-00699235 v1
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-00699237 v1
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-00387850 v1
Image document

New Approaches to Constraint Acquisition

Christian Bessiere , 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⟩
Chapitre d'ouvrage hal-01606245 v1
Image document

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

Nadjib Lazaar , Youssef Hamadi , Said Jabbour , Michèle Sebag
[Research Report] RR-8070, INRIA. 2012, pp.18
Rapport (rapport de recherche) hal-00733282 v2
Image document

Negation for Free!

Nadjib Lazaar , Nourredine Aribi , Arnaud Gotlieb , Yahia Lebbah
[Research Report] RR-7749, INRIA. 2011, pp.16
Rapport (rapport de recherche) inria-00629657 v1
Image document

On Testing Constraint Programs

Nadjib Lazaar , Arnaud Gotlieb , Lebbah Yahia
[Research Report] RR-7291, INRIA. 2010
Rapport (rapport de recherche) inria-00483410 v1

Contraintes et Apprentissage

Nadjib Lazaar
Computer Science [cs]. Université de Montpellier (2022-..), 2022
HDR tel-04994367 v1