Nadjib Lazaar

54
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-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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Learning Constraints through Partial Queries

Christian Bessiere , Clement Carbonnel , Anton Dries , Emmanuel Hebrard , George Katsirelos et al.

Artificial Intelligence (AIJ), 2023, 319, pp.103896. ⟨10.1016/j.artint.2023.103896⟩

Article dans une revue lirmm-04028358v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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-03687386v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-02088910v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-01374719v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-01229548v1
Deposit thumbnail

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-01067472v1
Deposit thumbnail

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-01229549v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-00830325v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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-01606245v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

On Testing Constraint Programs

Nadjib Lazaar , Arnaud Gotlieb , Lebbah Yahia

[Research Report] RR-7291, INRIA. 2010

Rapport (rapport de recherche) inria-00483410v1

Contraintes et Apprentissage

Nadjib Lazaar

Computer Science [cs]. Université de Montpellier (2022-..), 2022

HDR tel-04994367v1