Nadjib Lazaar

Présentation

Publications

Article dans une revue (9)

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-04834895v1
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-04996488v1
Metamorphic Testing of multimodal Human Trajectory Prediction Helge Spieker,Nadjib Lazaar,Arnaud Gotlieb,Nassim Belmecheri Information and Software Technology, 2025, 188, pp.107890. ⟨10.1016/j.infsof.2025.107890⟩ Article dans une revue hal-05283836v1
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-04835853v1
Learning Constraints through Partial Queries Christian Bessiere,Clement Carbonnel,Anton Dries,Emmanuel Hebrard,George Katsireloset al. Artificial Intelligence (AIJ), 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩ Article dans une revue lirmm-04028358v1
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-04130835v1
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-02088786v1
Constraint Acquisition Christian Bessiere,Frédéric Koriche,Nadjib Lazaar,Barry O'Sullivan Artificial Intelligence (AIJ), 2017, 244, pp.315-342. ⟨10.1016/j.artint.2015.08.001⟩ Article dans une revue lirmm-01276188v1
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-01276633v1

Communication dans un congrès (36)

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-04825808v1
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
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
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-04473725v1
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-04473797v1
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
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-04258914v1
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 Marijanet 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-03687386v1
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
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
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
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
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
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
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
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
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
Closed-Pattern : Une contrainte globale pour l’extraction de motifs fréquents fermés Mehdi Maamar,Christian Bessiere,Patrice Boizumault,Nadjib Lazaar,Yahia Lebbahet al. JFPC 2017 - 13es Journées Francophones de Programmation par Contraintes, Jun 2017, Montreuil sur Mer, France Communication dans un congrès hal-02088910v1
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
A Global Constraint for Closed Frequent Pattern Mining Nadjib Lazaar,Yahia Lebbah,Samir Loudni,Mehdi Maamar,Valentin Lemièreet 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-01374719v1
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
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
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
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
Acquisition de contraintes avec des requêtes partielles Christian Bessiere,Remi Coletta,Emmanuel Hébrard,George Katsirelos,Nadjib Lazaaret al. JFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France Communication dans un congrès lirmm-01229549v1
Boosting Constraint Acquisition via Generalization Queries Christian Bessiere,Remi Coletta,Abderrazak Daoudi,Nadjib Lazaar,Younes Mechqraneet 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-01067472v1
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
Acquisition de contraintes par requêtes de généralisation Christian Bessiere,Remi Coletta,Abderrazak Daoudi,Nadjib Lazaar,Younes Mechqraneet al. JFPC 2014 - 10es Journées Francophones de Programmation par Contraintes, Jun 2014, Angers, France Communication dans un congrès lirmm-01229548v1
Constraint Acquisition via Partial Queries Christian Bessiere,Remi Coletta,Emmanuel Hébrard,George Katsirelos,Nadjib Lazaaret al. IJCAI: International Joint Conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.475-481 Communication dans un congrès lirmm-00830325v1
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
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
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
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
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

Chapitre d'ouvrage (1)

New Approaches to Constraint Acquisition Christian Bessiere,Abderrazak Daoudi,Emmanuel Hébrard,George Katsirelos,Nadjib Lazaaret 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-01606245v1

Pré-publication, Document de travail (1)

Partial Queries for Constraint Acquisition Christian Bessiere,Clement Carbonnel,Anton Dries,Emmanuel Hébrard,George Katsireloset al. 2020 Pré-publication, Document de travail hal-03088013v1

Rapport (3)

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-00733282v2
Negation for Free! Nadjib Lazaar,Nourredine Aribi,Arnaud Gotlieb,Yahia Lebbah [Research Report] RR-7749, INRIA. 2011, pp.16 Rapport (rapport de recherche) inria-00629657v1
On Testing Constraint Programs Nadjib Lazaar,Arnaud Gotlieb,Lebbah Yahia [Research Report] RR-7291, INRIA. 2010 Rapport (rapport de recherche) inria-00483410v1

HDR (1)

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

Logiciel (3)

Constraint Acquisition Plateform Nadjib Lazaar,Christian Bessiere,Dimosthenis C. Tsouros,Teddy Lee 2019, ⟨swh:1:dir:e7a9ce192bddc133725784f4944a28a5c711bc46;origin=https://hal.archives-ouvertes.fr/lirmm-02146634;visit=swh:1:snp:e67e8259ec8e378f30bbf800b553924f0dc46117;anchor=swh:1:rev:4e21d259ca3a22b46050a60c3ef14d5e45d30694;path=/⟩ Logiciel lirmm-02146634v1
AHP: A Multiple Fault Localization Approach based on Multicriteria Analytical Hierarchy Process Nadjib Lazaar,Yahia Lebbah,Noureddine Aribi,Samir Loudni,Mehdi Maamar 2019, ⟨swh:1:dir:41e22cc1f4f175b1435eb01238cff25f232468c6;origin=https://hal.archives-ouvertes.fr/lirmm-02149465;visit=swh:1:snp:99ffb54b9e9d64e9ebcec7d401081c8eb42a1237;anchor=swh:1:rev:9870e2f41abe0ea3333ca3a8e146d755f7ff4658;path=/⟩ Logiciel lirmm-02149465v1
F-CPminer: Fault localization using itemset mining under constraints Nadjib Lazaar,Yahia Lebbah,Mehdi Maamar,Noureddine Aribi,Samir Loudni 2019, ⟨swh:1:dir:2f4b0830559d041d4ad561d6a01615c4aa9b34f2;origin=https://hal.archives-ouvertes.fr/lirmm-02148304;visit=swh:1:snp:49dec3fd34c903ae2cf6879176e33994092442a2;anchor=swh:1:rev:2370a16d3052c21d41fe81acc604c800f3be8bb1;path=/⟩ Logiciel lirmm-02148304v1